In a convex quadrilateral , all the side lengths are integers, and the perimeter of equals . Moreover, each side length divides the sum of the three other side lengths. Prove that is a rhombus.
Solution
Первое решение. Пусть — наибольшая сторона. Согласно условию, делится на , то есть для некоторого натурального . Ясно, что (длина отрезка меньше длины ломаной с теми же концами), поэтому . Кроме того, так как , и , имеем , то есть .
Случай возможен только при . В этом случае наш четырёхугольник — ромб.
Иначе , откуда . Но в этом случае имеем . Таким образом получаем противоречие, поскольку не делится на 3.
Второе решение. Из условия следует, что каждое из чисел является делителем числа . Значит, , , , для некоторых натуральных , , , .
Заметим, что , иначе длина стороны равна полупериметру, что невозможно, поскольку .
Поскольку не делится на 3, имеем , значит, и . Аналогично, , , . Тогда равенство возможно только в случае , т. е. в случае, когда наш четырёхугольник — ромб.