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)=\dfrac{x-3}{x+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:" $\mathbb{R}\cup\{\infty\}$ ye genişletilince 1-1 eşleme oluyor).
Şimdi özdeşlik fonsiyonuna $\mathbb{I}$ dersek ($\forall x\in\mathbb{R}$ için $\mathbb{I}(x)=x$), $g\circ g\circ g=\mathbb{I}$ olur.
Denklemimiz:
$f\circ g+f\circ g^{-1}=\mathbb{I}$ (ve $g^{-1}=g\circ g$ olduğu için) eşdeğer olarak, $f\circ g+f\circ g\circ g=\mathbb{I}$ şekline gelir.
Sağdan $g$ ile bileşke alarak, $f\circ g\circ g+f=g$ elde ederiz.
Tekrar sağdan $g$ ile bileşke alarak, $f+f\circ g=g\circ g$ elde ederiz.
Şimdi elimizde aşağıdaki lineer denklem sistemi var:
$0\cdot f+1\cdot f\circ g+1\cdot f\circ g\circ g=\mathbb{I}$
$1\cdot f+0\cdot f\circ g+1\cdot f\circ g\circ g=g$
$1\cdot f+1\cdot f\circ g+0\cdot f\circ g\circ g=g\circ g$
Bu, üç fonksiyon ($f,f\circ g,f\circ g\circ g$) bilinmeyenli (homojen olmayan) lineer denklem sistemini Cramer in kuralı ile çözebiliriz.
$f=\dfrac{\left|\begin{array}0\mathbb{I}&1&1\\g&0&1\\g\circ g&1&0\end{array}\right|}{\left|\begin{array} 00&1&1\\1&0&1\\1&1&0\end{array}\right|}=\dfrac{g+g\circ g-\mathbb{I}}{2}$ bulunur.
Bu da, $f(x)=\dfrac{x^3+7x}{2-2x^2}$ olması demektir.