Udowodnić twierdzenie:
Jeżeli
![]() |
![]() |
Mnożymy równości (1) i (2) stronami; stosując znane wzory otrzymujemy:
![]() |
Podnosimy (1) i (2) stronami do kwadratu i odejmujemy:
![]() |
Mnożymy (1) i (2) odpowiednio przez
i
i odejmujemy:
![]() |
analogicznie otrzymujemy równości
![]() |
Stąd
![]() |
Mnożymy (1) i (2) odpowiednio przez
i
i dodajemy:
![]() |
analogicznie
![]() |
Rozwiązując układ tych trzech równań otrzymujemy
![]() |
Z (7) i (8) wynika, że
, czyli
, gdzie
jest liczbą całkowitą.
Zatem
![]() |
a analogicznie
![]() |
![]() |
Według (9) -(11) możemy we wzorach (5) i (6) zamiast
,
,
napisać odpowiednio
,
,
. Uzyskujemy wzory (3) i (4).