Некорректно спрашивать "зачем". Биссектриса делит угол пополам ПО ОПРЕДЕЛЕНИЮ. Ситуация, когда луч делит угол пополам возникает часто при решении разных задач. Надо же эту ситуацию как-то назвать? Было бы неудобно каждый раз говорить длинную фразу "луч, который делит угол пополам", Вот и придумали еще в древности для такого луча более короткое название "биссектриса". Т.е. спрашивать, зачем биссектриса делит угол пополам, приблизительно так же неправомерно, как справшивать "зачем шар круглый?". Просто круглых предметов много, человек с ними часто сталкивается, для упрощения жизни и придумали более короткое название "шар". Ровно та же ситуация с биссектрисой.
пусть m – точка пересечения диагоналей ac и bd четырёхугольника abcd. применим неравенство треугольника к треугольникам abc, adc, bad и bcd: ac < ab + bc, ac < da + dc, bd < ab + ad, bd < cb + cd. сложив эти четыре неравенства, получим: 2(ac + bd) < 2(ab + bc + cd + ad).
запишем неравенства треугольника для треугольников amb, bmc, cmd и amd: am + mb > ab, bm + mc > bc, mc + md > cd, ma + md > ad. сложив эти неравенства, получим: 2(ac + bd) > ab + bc + cd + ad.
пусть m – точка пересечения диагоналей ac и bd четырёхугольника abcd. применим неравенство треугольника к треугольникам abc, adc, bad и bcd: ac < ab + bc, ac < da + dc, bd < ab + ad, bd < cb + cd. сложив эти четыре неравенства, получим: 2(ac + bd) < 2(ab + bc + cd + ad).
запишем неравенства треугольника для треугольников amb, bmc, cmd и amd: am + mb > ab, bm + mc > bc, mc + md > cd, ma + md > ad. сложив эти неравенства, получим: 2(ac + bd) > ab + bc + cd + ad.