Geometria analityczna

[qustosh2137]

https://zadania.info/d345/6554210, cześć bardzo proszę o wytłumaczenia skąd wiemy, że prosta O1O2 jest prostopadła do prostej k. Dlaczego możemy założyć coś takiego?

[Tulio]

Wiemy to bezpośrednio ze sposobu konstruowania prostej prostopadłej do danej przechodzącej przez dany punkt. A dowód tutaj