El teorema establece que si las diagonales de un cuadrilátero se cortan en ángulo recto, entonces la suma de los cuadrados de dos lados opuestos es igual a la suma de los cuadrados de los otros dos. La demostración se basa en el teorema de Pitágoras y las propiedades de los triángulos semejantes. Al trazar las diagonales y formar cuatro triángulos, se puede demostrar que esta relación se cumple.