Inna nazwa:
twierdzenie Snelliusa
Definicja:
Dla kąta płaskiego to półprosta o początku w wierzchołku kąta, dzielącą go na dwa kąty przystające.
Własności:
Definicja:
Liczbami Fermata nazywamy liczby postaci $2^{2^n}+1$, gdzie n jest liczbą całkowitą nieujemną.
Przez $F_n$ oznacza się n-tą liczbę Fermata.