Homologia que transforma um quadrilátero num quadrado

A homologia plana que transforma um quadrilátero ABCD (de que os lados opostos se intersetam em pontos próprios) num quadrado A'B'C'D' já está apontada nas entradas anteriores (já que o quadrado é paralelogramo, retângulo e com as diagonais perpendiculares). Como queremos que A'B'C'D' seja um paralelogramo ou que A'B'.C'D' e A'D'.B'C' sejam pontos impróprios, a reta limite da homologia terá de passar pelos correspondentes pontos próprios AB.CD (L₁) e AD.BC (L₂), dando OL₁
a direção comum de A'B' e de C'D' e OL₂ a direção comum de A'D' e de B'C'.
Para A'B'C'D' ser um quadrado é preciso que

1. OL₁ e OL₂ sejam perpendiculares (o que é satisfeito sse O for um ponto da circunferência de diâmetro L₁L₂),
2. OL₃ e OL₄ sejam perpendiculares (o que é satisfeito sse O for um ponto da circunferência de diâmetro L₃L₄)

Por favor habilite Java para uma construção interativa (com Cinderella).