IPOTEZA ABC triunghi, AD bisectoatre, D∈BC
[AM]≡[MD], M∈AD
MP⊥AD, MP∩AC={P}
CONCLUZIE: PD||AB
DEMO: mas ∡BAD=mas∡DAP (AD bisectoare, din ipoteza) (1)
P∈mediatoareAD(ipopteza)⇒[PA]≡[PD]⇒ΔPADisoscel⇒
⇒mas∡DAP=mas∡PDA (2)
din(1) si(2)⇒mas∡DAP=mas∡PDA dar PD , AB drepte, AD secanta,
iar ∡DAP si ∡PDA alterne interne(3)
din (2) si (3)∡DAP si ∡PDA alterne interne congruente⇒PD||AB Q.E.D.