Dowód twierdzenia o biegunowej

[lubieplacki23]

Twierdzenie 1.10
Dlaczego \(\displaystyle{ \left( Y, X; L, P \right)=\left( Z, T; K, P\right)}\) i dlaczego \(\displaystyle{ \left( T, Z; K, P\right)=\left( Y, X; L, P \right) \Rightarrow}\) punkty K i L leżą na biegunowej punktu P? (Twierdzenie 1.9 podaje tylko zależność w drugą stronę.)

[SlotaWoj]

\(\displaystyle{ \left(Y,X;L,P\right)=\left(Z,T;K,P\right)}\) z twierdzenia 1.7.
Wydaje mi się, że twierdzenie 1.9 jest źle sformułowane i powinno być \(\displaystyle{ \Leftrightarrow}\).

[lubieplacki23]

Ok, dzięki.