I triangoli ABC e APC sono rettangoli ( angolo A^ = P^/2 ).
Per il Teorema di Pitagora
AB^2 + AC^2 = BC^2 ( E1 )
AP^2 + AC^2 = CP^2 ( E2 )
e quindi
AP^2 + BC^2 =
= AP^2 + (AC^2 + AB^2) [ E1 ] =
= (AP^2 + AC^2) + AB^2 ( proprietà associativa ) =
= AB^2 + CP^2 [ E2 ]