Les dejo una mas teórica. Sea ABC un triangulo, recto B. Sea Ω la circunferencia de centro A, y radio AB. Es trivial que BC es tangente a Ω. => BC²=Pot(C, Ω)= AC²-AB² => AB²+BC²=AC². Por si no se entendió explico los detalles, eso de Pot(C, Ω) se lee, potencia de C respecto a Ω, y esa cosa es igual a AC²-AB² por fórmula, la cual se enuncia de la siguiente manera. Sea C, una circunferencia de centro O y radio "r", dado un punto exterior P, se cumple que la potencia de P, respecto a C, es igual al cuadrado da la longitudad desde P al centro de C(que es O) menos el cuadrado del radio de dicha circunferencia. Es decir, Pot(P, C)=OP²-r². Y por si se lo preguntan, pues si, dicha fórmula es independiente de Pitágoras.