用调和点列的方法较为容易 但方法的掌握不在高中的要求内
下面采用简单的定理来证明 比较麻烦
首先,设圆内接四边形为四边形ABCD,AB与DC交于点P,AD与BC交于点Q,过点Q做圆O的两条切线,切点分别为点E和点F.
再设AC与BD交于点R,下面来证明一个更强的结论:P、F、R、E共线.
设OQ交EF于L,PR交AQ于M,EF交AQ于点M',连结OF、OE、AL、OA、OD,并延长AL到S.
由Menelaus定理,
AB/BP×PC/CD×DQ/QA=1-------------------------------------------------------------------------------1
由Ceva定理,
AB/BP×PC/CD×DM/MA=1-------------------------------------------------------------------------------2
由1、2,
DM/MA=DQ/QA --------------------------------------------------------------------------------*
另一方面,
由射影定理,
QE^2=QL×QO----------------------------------------------------------------------------------------------3
由切割线定理,
QE^2=QD×QA----------------------------------------------------------------------------------------------4
由3,4,
QL*QO=QD*QA
所以O,L,D,A四点共圆