Докажите или опровергните следующее утверждение: для любого выпуклого n-угольника существует набор n−1 диагоналей, разбивающих его на n−2 треугольников одинаковой площади; если утверждение ложно, приведите критерий и примеры
Утверждение ложно. Короткий аргумент по несогласованности: для невырожденной триангуляции выпуклого nnn-угольника требуется ровно n−3n-3n−3 непересекающихся диагоналей и получается n−2n-2n−2 треугольника. Утверждение требует n−1n-1n−1 диагоналей — это противоречие по счёту (если добавлять диагонали, не все они могут быть непересекающимися, и тогда число областей изменяется иначе). Поэтому в заявленной формулировке ответ «нет». Если исправить формулировку на естественную: «существует триангуляция (т.е. n−3n-3n−3 диагоналей), разбивающая nnn-угольник на n−2n-2n−2 треугольников одинаковой площади?», то и это в общем ложь. Причина: равенство площадей треугольников в конкретной триангуляции даёт систему уравнений линейных выражений от координат вершин. В общем случае это система несколько независимых уравнений, которую «случайный» выпуклый многоугольник не удовлетворяет (такое свойство имеет меру ноль в пространстве конфигураций вершин). Примеры и критерии 1) Контрпример (самый простой): n=4n=4n=4. У квадрата/параллелограмма диагональ делит площадь пополам, но для общего выпуклого четырёхугольника это не обязательно. Например, вершины A=(0,0), B=(2,0), C=(3,1), D=(0,1)A=(0,0),\;B=(2,0),\;C=(3,1),\;D=(0,1)A=(0,0),B=(2,0),C=(3,1),D=(0,1). Площади треугольников при диагонали ACACAC равны 12\tfrac1221 и 32\tfrac3223 — неравны; при другой диагонали тоже не получим деления пополам. Значит уже для n=4n=4n=4 не всегда существует триангуляция на 2 равные площади. 2) Общий критерий в удобной форме. Фиксируем триангуляцию (список треугольников по вершинам). Если вершины многоугольника v1,…,vnv_1,\dots,v_nv1,…,vn имеют координаты в плоскости, то площадь треугольника (vi,vj,vk)(v_i,v_j,v_k)(vi,vj,vk) равна Sijk=12∣(vj−vi)×(vk−vi)∣.
S_{ijk}=\tfrac12\big|(v_j-v_i)\times(v_k-v_i)\big|. Sijk=21(vj−vi)×(vk−vi).
Требование «все n−2n-2n−2 площадей равны Stotaln−2\tfrac{S_{\text{total}}}{n-2}n−2Stotal» даёт систему линейно-некоторых (через абсолютные значения и знаки) уравнений по координатам вершин. Необходимое и достаточное условие существования такой триангуляции: для некоторой триангуляции эта система совместна. Это чисто алгебраическое условие (в общем положении оно не выполняется). 3) Положительные примеры. Многоугольник, специально построенный из цепочки равных по площади треугольников, конечно удовлетворяет. Также симметричные многоугольники (параллелограмм для n=4n=4n=4, некоторые специально симметричные конфигурации для больших nnn) могут допускать равные площади. Итог: исходная формулировка противоречива (некорректно указано число диагоналей). Исправленная и естественная задача («есть ли триангуляция на n−2n-2n−2 треугольников равной площади?») также не имеет общего положительного ответа: это требует выполнения определённых линейных соотношений между координатами вершин, и большинство выпуклых nnn-угольников их не удовлетворяет.
Короткий аргумент по несогласованности: для невырожденной триангуляции выпуклого nnn-угольника требуется ровно n−3n-3n−3 непересекающихся диагоналей и получается n−2n-2n−2 треугольника. Утверждение требует n−1n-1n−1 диагоналей — это противоречие по счёту (если добавлять диагонали, не все они могут быть непересекающимися, и тогда число областей изменяется иначе). Поэтому в заявленной формулировке ответ «нет».
Если исправить формулировку на естественную: «существует триангуляция (т.е. n−3n-3n−3 диагоналей), разбивающая nnn-угольник на n−2n-2n−2 треугольников одинаковой площади?», то и это в общем ложь. Причина: равенство площадей треугольников в конкретной триангуляции даёт систему уравнений линейных выражений от координат вершин. В общем случае это система несколько независимых уравнений, которую «случайный» выпуклый многоугольник не удовлетворяет (такое свойство имеет меру ноль в пространстве конфигураций вершин).
Примеры и критерии
1) Контрпример (самый простой): n=4n=4n=4. У квадрата/параллелограмма диагональ делит площадь пополам, но для общего выпуклого четырёхугольника это не обязательно. Например, вершины
A=(0,0), B=(2,0), C=(3,1), D=(0,1)A=(0,0),\;B=(2,0),\;C=(3,1),\;D=(0,1)A=(0,0),B=(2,0),C=(3,1),D=(0,1).
Площади треугольников при диагонали ACACAC равны 12\tfrac1221 и 32\tfrac3223 — неравны; при другой диагонали тоже не получим деления пополам. Значит уже для n=4n=4n=4 не всегда существует триангуляция на 2 равные площади.
2) Общий критерий в удобной форме. Фиксируем триангуляцию (список треугольников по вершинам). Если вершины многоугольника v1,…,vnv_1,\dots,v_nv1 ,…,vn имеют координаты в плоскости, то площадь треугольника (vi,vj,vk)(v_i,v_j,v_k)(vi ,vj ,vk ) равна
Sijk=12∣(vj−vi)×(vk−vi)∣. S_{ijk}=\tfrac12\big|(v_j-v_i)\times(v_k-v_i)\big|.
Sijk =21 (vj −vi )×(vk −vi ) . Требование «все n−2n-2n−2 площадей равны Stotaln−2\tfrac{S_{\text{total}}}{n-2}n−2Stotal » даёт систему линейно-некоторых (через абсолютные значения и знаки) уравнений по координатам вершин. Необходимое и достаточное условие существования такой триангуляции: для некоторой триангуляции эта система совместна. Это чисто алгебраическое условие (в общем положении оно не выполняется).
3) Положительные примеры. Многоугольник, специально построенный из цепочки равных по площади треугольников, конечно удовлетворяет. Также симметричные многоугольники (параллелограмм для n=4n=4n=4, некоторые специально симметричные конфигурации для больших nnn) могут допускать равные площади.
Итог: исходная формулировка противоречива (некорректно указано число диагоналей). Исправленная и естественная задача («есть ли триангуляция на n−2n-2n−2 треугольников равной площади?») также не имеет общего положительного ответа: это требует выполнения определённых линейных соотношений между координатами вершин, и большинство выпуклых nnn-угольников их не удовлетворяет.