Lema 1. Si los triángulos rectángulos isósceles ZMX e YMW tienen ángulos rectos en M, entonces YX y ZW son perpendiculares y congruentes.

 

Finney, R. L. (1.970): Dynamic proofs of euclidean theorems. En Mathematics Magazine, (Sep-Oct. pp177-185), p. 178 
Revista Mathematics Magazine