예: AE는 정사각형 ABCD에서 BAC의 동점선이고, AE는 BD, BC는 F, E, AC, BD는 O에서 각각 교차한다. 구증: OF=12CE.

예: AE는 정사각형 ABCD에서 BAC의 동점선이고, AE는 BD, BC는 F, E, AC, BD는 O에서 각각 교차한다. 구증: OF=12CE.

증명: AE 중간점 P를 취하여 OP를 연결하고, 점 O는 AC 중간점, OP는 ACE의 중위선, OP=12CE, OP∙AD, OPF=∙EAD=∙EAC+∙CAD=∙EAC+ 45°, OFP=∙ABD+∙BAE=∙BAE+ 45°, EAC=∙BAE, ▷OPF=∙OFP.∙OP=OF.∙OF=12CE.