Teorema de Pitágoras. Comprobación numérica