от ganka simeonova » 24 Апр 2011, 18:15
Първо ще докажем един известен факт, а именно, че ако а,b, с, са страни в триъгълник, то
[tex]c^2<2a^2+2b^2[/tex]
[tex]c<a+b=>c^2<a^2+b^2+2ab\le a^2+b^2+a^2+b^2=>c^2<2a^2+2b^2[/tex](*)
Да наредим отсечките по големина: [tex]a_5\ge a_4\ge a_3\ge a_2\ge a_1[/tex]
С пет такива отсечки могат да се образуват 10 триъгълника. Ще ги наредим по групи в колонки, като във всяка група най-лявата отсечка е и най-голяма.
[tex]a_5;a_4;a_3[/tex]......................... [tex]a_4;a_3;a_2[/tex]....................... [tex]a_3;a_2;a_1[/tex]..(3)
[tex]a_5;a_4;a_2[/tex]......................... [tex]a_4;a_3;a_1[/tex].......................
[tex]a_5;a_4;a_1[/tex]..........(1)........... [tex]a_4;a_2;a_1[/tex].........(2)............
[tex]a_5;a_3;a_2[/tex].........................
[tex]a_5;a_3;a_1[/tex].........................
[tex]a_5;a_2;a_1[/tex].........................
Да допуснем, че всички триъгълници са тъпоъгълни или правоъгълни. Тогава за всеки такъв триъгълник квадрата на най- голямата страна ще е по-голям или равен от сбора от квадратите на двете по- малки. Прилагаме това неравенство за всички триъгълници от съответните групи и ги сумираме по колонки.
(1)[tex]5a_5^2\ge 3a_4^2+3a_3^2+3a_2^2+3a_1^2[/tex]
(2)[tex]3a_4^2\ge 2a_3^2+2a_2^2+2a_1^2[/tex]
(3)[tex]a_3^2\ge a_1^2+a_2^2[/tex]
От (1), (2), (3) получаваме неравенството [tex]a_5^2\ge 2a_1^2+2a_2^2[/tex],което е противоречие със (*)=>допускането, че всички триъгълници са правоъгълни или тъпоъгълни е грешно.