|
|
证明：设A,B为一组对应点，C,D为不动点，$(AC;BD)=(f(A)f(C);f(B)f(D))=(BC;AD)$
\[(BC;AD)=\frac1{(CB;AD)}=\frac1{1-(CA,BD)},(AC;BD)=\frac1{1-\frac1{(AC;BD)}}\Rightarrow(AC;BD)=2\Rightarrow (AB,CD)=-1\]
调和专题性质4：M是AB中点,$MC\cdot MD=MB^2\Leftrightarrow$与l在B相切的圆与过CD的圆的根轴过M.
我们站在对合的角度来看，四边形生成的调和做了什么？E和F都是对合不动点
|
|
