(Böyle bir fonksiyonun varlığı kabul edilirse, y=f(x) olmak üzere)
xy3−y2+y−1=0 olur. x=y2−y+1y3 olarak çözüldüğüne göre
f−1(x)=x2−x+1x3 olmalıdır. Buradan f−1(1)=1 bulunur. (bu zaten bulunmuştu)
Böyle bir fonksiyonun varlığını şöyle gösterebiliriz:
g(x)=x2−x+1x3 olsun. g′(x)=−x2−2x+3x4=−(x−1)2+2x4 olur
Bu fonksiyonun (1 i içeren) (0,+∞) aralığındaki türevi negatif olduğu için, bu aralıkta g birebirdir. lim ve \displaystyle\lim_{x\to+\infty}g(x)=0 olduğu için g nin görüntü kümesi (0,+\infty) dir.
Öyleyse g nin (0,+\infty) aralığında tanımlı bir ters fonksiyonu vardır. O da aranan f fonksiyonu olacaktır.
(Ek: 3. derece denklemi çözerek de f yi bulabiliriz ama o formülden birebir olduğu aralığı bulmanın kolay olacağını sanmıyorum)