okręgu (rys. 3). Zatem na mocy równości (3),
CD DA
Trójkąty ADC i CDE mają wspólny kąt przy wierzchołku D, więc na mocy równości (6) trójkąty te są podobne. Stąd
Niech F będzie rzutem prostokątnym punktu D na prostą AB (rys. 4). Wykażemy najpierw, że punkty C, E, F są współliniowe. W tym celu wystarczy udowodnić, że
ED DF'
Na mocy twierdzenia Talesa mamy następujące równości:
(8) B° 3
(7)
Należy więc dowieść, że AE:ED = 3:2.
Oznaczmy: AB = AC = a. Obliczmy długości odcinków AE i ED w zależności od a.
Na mocy twierdzenia Talesa AF = oraz DF = |a. Zatem z twierdze
nia Pitagorasa AD= ^ay/E. Trójkąty prostokątne AFD i AEB mają wspólny kąt przy wierzchołku A, więc są podobne. Zatem AE _ AF AB~ AD'
= AD — AE = ^ay/5 — ^ay/5 = ^ay/E,
skąd wyliczając wielkość AE otrzymujemy AE = ^ay/5. Ponadto ED =
skąd AE:ED = 3:2. Dowód równości (7) został zakończony, co oznacza, że punkty C, E, F są współliniowe.
Ponieważ $.BED = $.BFD = 90°, więc na czworokącie FBDE można opisać okrąg (rys. 4). Zatem
$CED = $AEF - 90° - $FEB = 90° - $FDB = 90° -45° = 45°.
Zadanie 4. Dane są takie liczby rzeczywiste x, y, że liczby x + y, x2+y2, x3 + y3 i x4 + y4 są całkowite. Dowieść, że dla każdej liczby całkowitej dodatniej n liczba xn + yn jest liczbą całkowitą.
Ponieważ
2 xy = (x + y)2 — {x2 + y2) oraz 2 x2y2 = (x2+ y2)2— (x4 + y4),
36