Puolittajalause on klassinen kolmiogeometrian lause .
Kolmion kärjessä oleva puolittaja jakaa vastakkaisen sivun osiin, jotka ovat verrannollisia viereisiin sivuihin. Eli jos puolittaja kolmion kärjessä leikkaa sivun pisteessä, niin
Puolittajalause on muotoiltu kuudennessa Eukleideen elementtien kirjassa (proposition III) [1] , erityisesti kreikaksi bysanttilaisessa käsikirjoituksessa [2] . Tämän lauseen varhainen lainaus Eukleideen mukaan venäjänkielisissä lähteissä on eräässä ensimmäisistä venäläisistä geometrian oppikirjoista - 1600-luvun alun käsikirjoituksesta " Synodal No. 42 " (kirja 1, osa 2, luku 21) ).
Todistusmenetelmiä on useita. Esimerkiksi aluemenetelmällä tai vetämällä toisesta kärjestä puolittajan suuntainen suora, kunnes se leikkaa toisen sivun jatkeen.
Harkitse kolmiota ABC. Puolittaja AD pudotetaan kärjestä A sivulle BC. Etsi kolmioiden ABD ja ACD alueet:
Toisaalta,
tarkoittaa,
Tarkastellaan kolmiota ABC, jonka puolittaja on AD. Kirjoita kolmioiden ABD ja ACD sinilause :
Mutta sen seurauksena,
Jakamalla yhtäläisyyden (1) yhtäläisyydellä (2), saamme:
Tämä todistusmenetelmä perustuu puolittajan laajentamiseen yhdestä kärjestä sille pudotetun kohtisuoran leikkauspisteeseen sen kanssa.
Tarkastellaan kolmiota ABC, jonka puolittaja on AD. Pudotetaan kohtisuorat BK ja CT siihen ja sen jatkeeseen, vastaavasti. Kolmiot KBD ja DCT ovat samanlaisia kahdessa kulmassa, joten
Kolmiot ABK ja ACT ovat myös samanlaisia kahdessa kulmassa, mikä tarkoittaa, että yhtäläisyys on totta:
Siksi saamme sen