如何证明candy定理

设O是圆C中弦AB上任意一点，过O任做两弦CD，EF，连CF，ED，它们分别交AB于G，H，则有（OA*OB）/（OG*OH）=（OB-OA）/（OH-OG）。证明：记△CGO，△EOH，△GOF和△ODH的面积为A1，A2，A3和A4，记OB=m，OA=n，OH=p。OG=q，OE=a，OF=b，OC=c，OD=d，CG=x，Gf=y，EH=v和HD=z，因为∠C=∠E，∠F=∠D等，有A1/A2=（cx）/（av），A3/A4=（by）/（dz），A1/A4=（cq）/（dp），A3/A2=（bq）/（ap）从而有（A1A3）/（A2A4）=（bcxy）/（advz）=（bcqq）（adpp）因此可得出q^2/p^2=(xy)/(vz)=(AG*GB)(AH*HB)=[(n-q)(m+q)]/[(n+p)(m-p)]=[mn-q（m-n）-q^2]/[mn-p(m-n)-p^2]化简后得mn(p-q)=pq(m-n)