En la escena vemos que c²=M+N y M=b²±b·p_b(a), análogamente N= a²+a·p_a(b), por tanto 

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

El enlace clic nos demuestra que b· p_b(a)=a·p_a(b)

Por lo que se concluye el T. de Pitágoras generalizado:

Para ampliar pulsa aquí