Una condición de perpendicularidad de segmentos

Dos segmentos AB y CD son perpendiculares si y solo si la suma de los cuadrados de los lados opuestos del cuadrilátero ACBD, posiblemente convexo o cruzado, son iguales: AB CD AC² + BD² = AD² + BC²
Demostración de Gianni De Rico en OMA Foros También puede verse con el teorema de Pitágoras y el lugar geométrico de los puntos cuya diferencia de cuadrados de distancias a dos dados es constante (una recta perpendicular). Pueden desplazarse los puntos A, B, C y D.