Rozwiązać układ równań
![]() |
Przypuśćmy, że liczby
,
spełniają podany układ równań. Z pierwszego równania wynika, że
oraz że iloraz
nie może być równy
; jest więc równy
, co oznacza, że
jest liczbą dodatnią. Pierwsze równanie mówi zatem, że
. Liczby
i
są więc równe.
Podstawiając
do drugiego równania (i pamiętając, że
) otrzymujemy zależność
, równoważną temu, że
. Tak więc każda para
, będąca rozwiązaniem danego układu równań, spełnia warunki:
.
I na odwrót: każda para
takiej postaci spełnia oba równania układu; sprawdzenie jest natychmiastowe.