如何用几何证明

hbghlyj

直线上射影变换f分解为对合i与j之积，全部i的不动点偶与全部j的不动点偶构成一个对合g，g与f的不动点偶（如果存在）重合
$i(x)=\dfrac{a_1 x+b_1}{c_1 x-a_1},j(x)=\dfrac{a_2 x+b_2}{c_2 x-a_2},i(j(x))=\dfrac{x \left(-a_1 a_2-b_1 c_2\right)+a_2 b_1-a_1 b_2}{x \left(a_1 c_2-a_2 c_1\right)-a_1 a_2-b_2 c_1}$

hbghlyj

顶旧帖。