Na escena vemos que c²=M+N e M=b²±b·p_b(a), analogamente N= a²+a·p_a(b), daquela que 

c²=a²+b²±b·p_a(b)±a·p_b(a)

O enlace clic demóstranos que b· p_b(a)=a·p_a(b)

Polo que se conclúe o T. de Pitágoras xeneralizado:

Para ampliar pulsa aquí