Do trong lời giải của mọi người đều đã chứng minh P là tâm của AIDL nên em ko chứng minh lại:
Đoạn còn lại là một hướng chứng minh khác cho đoạn sau của Nguyen Dinh Hoang
geogebra-export.png 109.71K
64 Số lần tải
Gọi J' đối xứng với J qua O, A' đối xứng với A qua O => AJ'A'J là hình bình hành
=>AJ' = A'J và A'J'// AJ => AI // A'J' (1) .
Gọi IJ cắt (O) tại U khác A thì U là trung điểm IJ, mà $A'U \perp IJ$ => A'I = A'J => AJ'= IA' (2)
Từ (1) và (2) => AIA'J' là hình thang cân. Mà P là trung trực AI => P là trung trực A'J'.
Lấy P' đối xứng P qua O => P' là trung trực AJ, mà P' là trung trực AL=> P' là trung trực LM =>$P'M \perp LJ, mà P'M // ON => LJ \perp ON$
- canhhoang30011999, quanghung86, ecchi123 và 4 người khác yêu thích