
- haha.png (19.66 KiB) Прегледано 464 пъти
Да започнем с три известни факта. Ако [tex]A_1[/tex] и [tex]B_1[/tex] са петите на височините на [tex]\Delta ABC[/tex] съответно през върховете [tex]A[/tex] и [tex]B[/tex], то [tex]\Delta A_1B_1C \sim \Delta ABC[/tex]
(1), като [tex]\angle B_1A_1C = \angle BAC[/tex]
(2) и [tex]OC\bot A_1B_1[/tex]
(3).
Нека първо [tex]O[/tex] да е от [tex]EF[/tex], както е в условието.Лесно се доказва още, че [tex]DFCE[/tex] е вписан четириъгълник и [tex]CD[/tex] е диаметъра на описаната около него окръжност [tex]k_1[/tex], а [tex]\angle FDE=180^0-\gamma[/tex], където с [tex]\gamma[/tex] сме означили мярката на [tex]\angle ACB[/tex]. Тогава от синусовата теорема получаваме [tex]\frac{EF}{sin(180^0-\gamma)}=CD \Leftrightarrow EF=CD.sin \gamma[/tex]
(4).
[tex]\angle EFC=\angle EDC[/tex](вписани в [tex]k_1[/tex]), а [tex]\angle EDC= \angle BAC[/tex] ( триъгълниците [tex]EDC[/tex] и [tex]DAC[/tex] имат по два равни ъгъла). От тези равенства следва, че [tex]\Delta FEC \sim \Delta ABC[/tex]
(5) и още [tex]\angle EFC=\angle BAC=\angle B_1A_1C[/tex] (от
(1)), т.е [tex]EF||A_1B_1[/tex] и от
(3) получаваме [tex]CO \bot EF[/tex], т.е [tex]CO[/tex] и [tex]DO[/tex] са съответни височини в подобните триъгълници. Тогава [tex]\frac{CO}{CD}=\frac{EF}{AB}[/tex]. Като използваме, че [tex]CO=R[/tex] ([tex]R[/tex] е радиусът на описаната около [tex]ABC[/tex] окръжност),
(4) и синусовата теорема, намираме [tex]\frac{R}{CD}=\frac{CD.sin \gamma}{2R.sin \gamma} \Leftrightarrow \frac{R^2}{CD^2}=\frac{1}{2}[/tex]. Но от
(5) [tex]\frac{S_{EFC}}{S_{ABC}}=\frac{CO^2}{CD^2}=\frac{R^2}{CD^2}=\frac{1}{2}[/tex], което означава точно [tex]S_{EFC}=S_{ABFE}[/tex].