dimostrare che i triangoli PCM e PAM sono congruenti (geometria elementare)
AM=CM perchè in un triangolo rettangolo la mediana relativa all'ipotenusa è metà dell'ipotenusa stessa. La tesi si deduce dall'applicazione del 1^ criterio di congruenza dei triangoli, Q.E.D.
AMB è isoscele perche l'angolo in B (abm) è congruente con l'angolo in M (pmc).
L'angolo in A (mab) è congruente con (mba): (mab) alterno interno con angolo tra retta per PM e retta per AM, il quale congruente con (pmc) per ipotesi e con (mba).
Se AMB è isoscele allora AM=MB, MB=CM per ipotesi e dunque...PM in comune, un altro lato congruente, un angolo congruente => PCM congruente con PAM.