İspatı buradaki linkte mevcut olan şu teoremi hatırlayalım.
Teorem: Bir fonksiyonun sağ tersinin olması için gerek ve yeter koşul o fonksiyonun örten olmasıdır.
Bu teoreme dayanarak şunu söyleyebiliriz. f(x)=sinx
kuralı ile verilen
f:R→[−1,1]
fonksiyonu örten olduğundan
f fonksiyonunun sağ tersi vardır.
g(x)=arcsinx
kuralı ile verilen
g:[−1,1]→R
fonksiyonunu ele alalım.
Df∘g=DI[−1,1]
ve
Tf∘g=TI[−1,1]
(yani
f∘g fonksiyonu ile
I[−1,1] fonksiyonunun tanım ve hedef kümeleri aynı
) olduğundan
f∘g=I[−1,1]
önermesi doğru ise g fonksiyonu f fonksiyonunun bir sağ tersi olur. Bunun için
x∈[−1,1]⇒(f∘g)(x)=I[−1,1](x)
olduğunu göstermemiz gerekir.
x∈[−1,1]⇒(f∘g)(x)=f(g(x))=sin(arcsinx)?=x=I[−1,1](x)
olduğundan
f∘g=I[−1,1]
olur. O halde
g fonksiyonu
f fonksiyonunun bir sağ tersidir.
Tüm bu yukarıda yapılanları göz önünde bulundurduğumuzda her n∈N için gn(x)=(2n+1)π−arcsinx
kuralı ile verilen
gn:[−1,1]→R
fonksiyonu
f fonksiyonunun bir sağ tersi olacaktır. Sonuç olarak
f fonksiyonunun değil
5 tane sonsuz çoklukta sağ tersini bulmuş oluruz.