OkkesDulgerci nin çözümünün (sorunun, benim gördüğüm çözümü de benzer idi) mantığı (ve belki azıcık Lisans düzeyi çözümü) şöyle:
(Bu çözüm nedeniyle soruya Lisans kategorisi seçtim, aslında Orta Öğretim düzeyi çözülebiliyor)
Oradaki gibi g(x)=x−3x+1 dersek, sorunun püf noktası, g(g(g(x)))=x olması, yani g fonksiyonunun, bileşke işlemi altında derecesinin 3 olması
(Burada, g nin −1 de tanımsız olması ve 1 değerini almıyor olması hiç önemli değil, "projektif doğru:" R∪{∞} ye genişletilince 1-1 eşleme oluyor).
Şimdi özdeşlik fonsiyonuna I dersek (∀x∈R için I(x)=x), g∘g∘g=I olur.
Denklemimiz:
f∘g+f∘g−1=I (ve g−1=g∘g olduğu için) eşdeğer olarak, f∘g+f∘g∘g=I şekline gelir.
Sağdan g ile bileşke alarak, f∘g∘g+f=g elde ederiz.
Tekrar sağdan g ile bileşke alarak, f+f∘g=g∘g elde ederiz.
Şimdi elimizde aşağıdaki lineer denklem sistemi var:
0⋅f+1⋅f∘g+1⋅f∘g∘g=I
1⋅f+0⋅f∘g+1⋅f∘g∘g=g
1⋅f+1⋅f∘g+0⋅f∘g∘g=g∘g
Bu, üç fonksiyon (f,f∘g,f∘g∘g) bilinmeyenli (homojen olmayan) lineer denklem sistemini Cramer in kuralı ile çözebiliriz.
f=|I11g01g∘g10||011101110|=g+g∘g−I2 bulunur.
Bu da, f(x)=x3+7x2−2x2 olması demektir.