Какими ломаными представлены цифры 1 2 3 4 5 6 7 8 9

Ну вот сегодня что-то не вышло у меня найти "красивое решение". может, потом что-то в голову придет. но тупое решение я конечно нашел, тут только на вид сложно. пояснения к рисунку. стороны треугольника я обозначил буквами a, b, c, напротив стороны a по условию лежит угол ∠a = 120°; l - биссектриса этого угла. буквами x и y я обозначил отрезки сторон от вершины a до концов биссектрис. стороны треугольника с вершинами в концах биссектрис я обозначил, как k, m, n; нужно доказать, что k^2 = m^2 + n^2; тогда треугольник - прямоугольный. по ходу решения понадобится выразить длину биссектрисы через стороны, я для этого воспользуюсь вот чем. 2*s = bc*sin(a) = bl*sin(a/2) + cl*sin(a/2); l = 2bc*cos(a/2)/(b + c) = bc/(b + c); длины отрезков x и y также легко найти, и они похожи на l x = bc/(a + b); y = bc/(a + c); это элементарно находится из свойства биссектрисы. теперь можно приступить к решению. из теоремы косинусов легко найти k^2 = x^2 + y^2 + xy; m^2 = l^2 + x^2 - xl; n^2 = l^2 + y^2 - yl; кроме того, для всего треугольника тоже есть связь a^2 = c^2 + b^2 + bc; легко видеть, что надо доказать, что 2l^2 = xl + yl + xy; или 2/(b+c)^2 = 1/(b+c)(a+b) + 1/(a+c)(b+c) + 1/(a+b)(a+c); или (что тоже самое, все преобразования - обратимы) 2(a+c)(a+b) = (a+b)(b+c) + (a+c)(b+c) + (b+c)^2; если будет доказано это, то, делая обратные манипуляции, можно показать, что для  k, m, n выполняется теорема пифагора, что и нужно. но последнее соотношение легко получить из a^2 = c^2 + b^2 +cb; => a^2 + ab + ac + bc = c^2 + b^2 + 2cb + ab + ac; => (a + b)(a+c) = (b+c)(a + b + c); => 2(a+c)(a+b) = (a+b)(b+c) + (a+c)(b+c) + (b+c)^2; откуда следует k^2 = m^2 + n^2; и треугольник прямоугольный.