CE, CF와 A접선의 교점을 각각 X, Y라 하자. 그럼 CY⊥AF니 ∠XYF(=∠AYF)=∠FAC=∠FEC니 (X, Y, E, F) 공원점. 이제 △CXY에서 직선 BCP로 Menelaus 적용 시 (CB/BX)*(XP/PY)*(YD/DC)=1. 이때 BX/BC=BX/AD=XA/AY, CD/DY=AB/DY=XA/AY. 따라서 XP/PY=(XA/AY)^2
익명(220.93)2021-07-11 16:51
답글
. 근데 XP=AX+AP, PY=AP-AY니 식 정리하면 1/AP=1/AY-1/AX. 이는 PX*PY=PA^2과 동치고, 따라서 P는 □XYEF 외접원과 O에 대한 방멱이 같다. 따라서 둘의 근축인 EF 위. 따라서 P, E, F 일직선.
07.11 17:00
CE, CF와 A접선의 교점을 각각 X, Y라 하자. 그럼 CY⊥AF니 ∠XYF(=∠AYF)=∠FAC=∠FEC니 (X, Y, E, F) 공원점. 이제 △CXY에서 직선 BCP로 Menelaus 적용 시 (CB/BX)*(XP/PY)*(YD/DC)=1. 이때 BX/BC=BX/AD=XA/AY, CD/DY=AB/DY=XA/AY. 따라서 XP/PY=(XA/AY)^2
. 근데 XP=AX+AP, PY=AP-AY니 식 정리하면 1/AP=1/AY-1/AX. 이는 PX*PY=PA^2과 동치고, 따라서 P는 □XYEF 외접원과 O에 대한 방멱이 같다. 따라서 둘의 근축인 EF 위. 따라서 P, E, F 일직선. 07.11 17:00