1. Construct Points and Define Angles:
- Let AL be the internal bisector of △ABC with L∈BC.
- Choose point K on segment AL.
- Point P lies on the same side with respect to line BC as point A such that ∠BPL=∠CKL and ∠CPL=∠BKL.
- Let M be the midpoint of segment KP.
- Let D be the foot of the perpendicular from K to BC.
2. Construct Similar Triangles:
- Construct points E and F such that △EBL∼△KLC and △FCL∼△KLB.
- Note that P is the second intersection of (EBL) and (FCL).
- Let Q=(EBLP)∩AB and R=(FCLP)∩AC.
- Let N be the reflection of L over D.
3. Apply Miquel Theorem:
- Observe that P lies on (AQR) by Miquel theorem.
4. Prove Collinearity of Points:
- Claim: E,K,P,F are collinear.
- Proof:
- Collinearity of P,E, and F comes from the angle chase:
∡EPL=∡EBL=∡KLC=∡FCL=∡FPL
- Collinearity of K,E, and F comes from the similarity:
EBKL=BLLC=KLFC
This implies collinearity along with KL∥BE∥CF (a well-known lemma).
5. Prove Similarity of Triangles:
- Claim: △ARK∼△ALB.
- Proof:
- K lies on (AQRP) as ∡KPR=∡FPR=∡CFR=∡KAR.
- Since ∡ARL=∡CRL=∡CPL=∡LKB=∡AKB and ∡BAK=∡LAR, we conclude that △ABK∼△ALR.
- Therefore, A is the center of spiral similarity sending BK to LR, and hence A is also the center of spiral similarity sending BL to KR.
6. Angle Bisector and Similarity:
- ∡APK=∡ARK=∡ALB=∡FCL=∡FPL=∡KPL⟹KP bisects ∠APL.
- Thus,
PLAP=KLAK=KNAK
- Additionally, ∡AKN=∡LKN=2∡ALB=2∡APK=∡APL, hence △AKN∼△APL.
7. Final Similarity and Angle Calculation:
- By the gliding principle, as M,D are the midpoints of KP,NL respectively, △AKN∼△APL∼△AMD.
- Finally,
∡AMD=∡APL=2∡ALB=∡ACB+∡ABC
Therefore, we have proven that ∠AMD=180∘−∣∠ABC−∠ACB∣.
■