∡BMC=∡DAM=y (ipoteza)
∡DMA=x= 90-∡y=∡MAB, alterne interne
∡BMC=90-x=y=∡ABM ⇒ x+y=90°=∡AMB
in tr. dreptunghic AMB,MP este mediana ⇒MP=AP=PB ⇒ tr.BPM este isoscel, ∡PMB=∡PBM=∡y ⇒ MB bisectoarea unghiului PMC
mediana din varful unghiului drept al unui tr. dreptunghic este egala cu 1/2 din ipotenuza