Vì L và M đối xứng qua đường thẳng xy. Nên đường thẳng xy là trung trực của ML
I ∈ xt => IM = IL
Nên IM + IN = IL + IN
+ Nếu I là giao điểm của NL và xy thì IL + IN = LN
+ Nếu I không là giao điểm của NL và xy thì ba điểm I, N, L không thẳng hàng
=> IL + IN > LN
Vậy với mọi vị trí của I trên xy thì IL + IN ≥ LN
Vì L và M đối xứng qua đường thẳng xy. Nên đường thẳng xy là trung trực của ML
I ∈ xt => IM = IL
Nên IM + IN = IL + IN
+ Nếu I là giao điểm của NL và xy thì IL + IN = LN
+ Nếu I không là giao điểm của NL và xy thì ba điểm I, N, L không thẳng hàng
=> IL + IN > LN
Vậy với mọi vị trí của I trên xy thì IL + IN ≥ LN