El cuadrado de la longitud de un cateto es igual al producto de su proyección ortogonal sobre la hipotenusa por la longitud de ésta.