от martin123456 » 21 Юни 2010, 18:39
щом не лежат на 1 права => образуват [tex]\Delta[/tex]
ясно че коя да е от трите средни отсечки в [tex]\Delta[/tex] има исканото свойство
да допуснем че [tex]\exist[/tex] права [tex]l \not \equiv[/tex] с правите на средните отсечки и имаща исканото с-во
ако и трите точки [tex]A,B,C[/tex] лежат в една и съща полуравнина, определена от [tex]l[/tex], като се има предвид че са равноотдалечени от [tex]l[/tex]=>те лежат на 1 права [tex]l'||l \Rightarrow \empty[/tex].
нека например [tex]C[/tex] е в различна полуравнина спрямо [tex]l[/tex] с [tex]A,B[/tex]. нека означим петите на височините от тези три точки към [tex]l[/tex] с [tex]A_1,B_1,C_1[/tex]. не е възможно [tex]A_1 \equiv B_1[/tex] иначе [tex]A \equiv B[/tex] и не е възможно да са изпълнени едновременно [tex]A_1 \equiv C_1[/tex] и [tex]B_1 \equiv C_1[/tex], иначе следва [tex]A \equiv B[/tex] отново. нека например [tex]A_1 \ne C_1[/tex]. нека [tex]AC \cap A_1C_1=O[/tex]=>[tex]\Delta A_1OA \simeq \Delta C_1OC \Rightarrow AO=OC[/tex]. независимо дали [tex]C_1 \equiv B_1[/tex] или [tex]C_1 \not \equiv B_1[/tex]=>[tex]CB[/tex] също се разполовява от [tex]l[/tex]=>[tex]l \equiv[/tex] средна отсечка, [tex]||AB[/tex]=>[tex]\empty[/tex].