forum.zadania.info

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?

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