Dowieść, że ośmiokąt, którego wszystkie boki są równe, a wszystkie długości boków są liczbami wymiernymi, ma środek symetrii.
Według znanego twierdzenia suma miar kątów zewnętrznych wielokąta wynosi
. Wobec tego w ośmiokącie
o równych kątach każdy kąt zewnętrzny równa się
.
Weźmy pod uwagę trzy kolejne boki ośmiokąta, np.
,
i
. Przedłużenia boków
i
tworzą odpowiednio z półprostymi
i
kąty równe
, więc przecinają się w pewnym punkcie
pod kątem prostym (rys. 15).
To samo zachodzi dla innych trójek kolejnych boków ośmiokąta. Boki przeciwległe
i
ośmiokąta leżą zatem na przeciwległych bokach
i
prostokąta
, gdzie
,
,
oznaczają odpowiednio punkty przecięcia prostych
i
,
i
oraz
i
.
Zakładając, że długości boków ośmiokąta są wymierne, wywnioskujemy stąd, że
.
Dla krótkości wprowadzimy oznaczenia
![]() |
Obliczamy
![]() |
![]() |
Ponieważ
, więc na mocy powyższych równości
![]() |
a stąd
![]() |
Ponieważ liczby
i
są wymierne, a liczba
jest niewymierna, więc powyższa równość może zachodzić tylko wtedy, gdy obie jej strony są równe zeru. Zatem
, tj.
![]() |
Czworokąt
ma dwa boki równe i równoległe jest więc równoległobokiem. Jego przekątne
i
mają wspólny środek
.
Tak samo stwierdzamy, że czworokąty
i
są równoległobokami, wobec czego środek
przekątnej
jest także środkiem przekątnej
i środkiem przekątnej
.
Dany ośmiokąt ma więc środek symetrii
, c.n.d.