EI와 원 Γ의 E가 아닌 교점을 H라 할 때, HD가 G를 지남을 보이면 충분. 일단 AD와 BC의 교점을 X라 하면 ∠BAX=∠XBD=∠A/2이니 DB^2=DA*DX. 이때 DB=DI니 DI^2=DA*DX. 이제 HD와 AF의 교점을 J라 하면 ∠DHE=∠DAE=∠DAF니 ∠JHI=∠JAI. 따라서 (A, I, J, H) 공원점.
익명(220.93)2021-08-10 02:42
답글
그럼 ∠AJI=∠AHI=∠ABE=∠B+∠CBE=∠B+∠CAE=∠B+∠BAF=∠AFC니 JI//FC. 따라서 HD와 BC의 교점을 Y라 하면 XY//IJ니 DY/DJ=DX/DI=DI/DA. 따라서 AJ//IY, 결국 □JIYF는 평행사변형. 따라서 HD(=JY)는 IF의 중점 G를 지난다.
EI와 원 Γ의 E가 아닌 교점을 H라 할 때, HD가 G를 지남을 보이면 충분. 일단 AD와 BC의 교점을 X라 하면 ∠BAX=∠XBD=∠A/2이니 DB^2=DA*DX. 이때 DB=DI니 DI^2=DA*DX. 이제 HD와 AF의 교점을 J라 하면 ∠DHE=∠DAE=∠DAF니 ∠JHI=∠JAI. 따라서 (A, I, J, H) 공원점.
그럼 ∠AJI=∠AHI=∠ABE=∠B+∠CBE=∠B+∠CAE=∠B+∠BAF=∠AFC니 JI//FC. 따라서 HD와 BC의 교점을 Y라 하면 XY//IJ니 DY/DJ=DX/DI=DI/DA. 따라서 AJ//IY, 결국 □JIYF는 평행사변형. 따라서 HD(=JY)는 IF의 중점 G를 지난다.