BC, EF의 교점을 R, R에서 그은 w의 또다른 접점을 X라 하자. 그럼 R은 A의 w에 대한 polar(BC) 위니 A도 R의 w에 대한 polar(DX) 위. 따라서 A, D, X 일직선. 이제 AEF 외접원과 AD의 교점을 Y, 외접원 중심을 O라 하면 OY⊥YA, OY⊥YD. 따라서 Y는 DX의 중점.
익명(220.93)2021-07-23 05:07
답글
따라서 PD*QD=AD*YD=2*MD*YD=MD*DX. 즉 (M, P, X, Q) 공원점, 원 MPQ는 X 지남. 이제 RX와 원 MPQ의 다른 교점을 X'이라 하면 RX*RX'=RP*RQ=RE*RF=RD^2=RX^2. 따라서 RX=RX', X=X'이니 w와 원 MPQ는 X에서 접함.
출처는 imo 17SL G4 입니다 - dc App
https://gall.dcinside.com/m/geometry/995
BC, EF의 교점을 R, R에서 그은 w의 또다른 접점을 X라 하자. 그럼 R은 A의 w에 대한 polar(BC) 위니 A도 R의 w에 대한 polar(DX) 위. 따라서 A, D, X 일직선. 이제 AEF 외접원과 AD의 교점을 Y, 외접원 중심을 O라 하면 OY⊥YA, OY⊥YD. 따라서 Y는 DX의 중점.
따라서 PD*QD=AD*YD=2*MD*YD=MD*DX. 즉 (M, P, X, Q) 공원점, 원 MPQ는 X 지남. 이제 RX와 원 MPQ의 다른 교점을 X'이라 하면 RX*RX'=RP*RQ=RE*RF=RD^2=RX^2. 따라서 RX=RX', X=X'이니 w와 원 MPQ는 X에서 접함.
저랑 풀이가 똑같으시군요 ㅎㅎ - dc App