Докажите или опровергните: в невыпуклом четырёхугольнике диагонали пересекаются вне фигуры тогда и только тогда, когда сумма противоположных углов меньше 180°; проанализируйте примеры и границы верности утверждения
Краткий ответ: утверждение в исходной формулировке неточно (размыто). Корректная версия и доказательство ниже; приведу примеры и граничные случаи. 1) Уточнение формулировки. Под «невыпуклым четырёхугольником» будем понимать простой (не самопересекающийся) выпукло-невыпуклый (конкавный) четырёхугольник ABCDABCDABCD с ровно одной вогнутой вершиной (скажем, DDD — рефлексный угол >180∘>180^\circ>180∘). Тогда эквивалентное утверждение: «Для простого четырёхугольника ABCDABCDABCD с рефлексной вершиной DDD диагонали (точнее, прямые, содержащие диагонали) пересекаются вне фигуры тогда и только тогда, когда ∠A+∠C<180∘.
\angle A+\angle C<180^\circ. ∠A+∠C<180∘.
(Эквивалентно: ровно одна пара противоположных углов имеет сумму меньше 180∘180^\circ180∘.)» 2) Доказательство (кратко). Пусть DDD — вогнутая вершина, т.е. DDD лежит внутри треугольника ABCABCABC. Тогда - точка DDD и вершина BBB лежат по одну сторону от прямой ACACAC, поэтому отрезок BDBDBD не пересекает отрезок ACACAC: пересечение прямых ACACAC и BDBDBD принадлежит прямой ACACAC, но не лежит на отрезке BDBDBD. Следовательно пересечение прямых (линий диагоналей) находится вне области четырёхугольника (внутрь он не попадает). - Угол в вершинах AAA и CCC четырёхугольника меньше соответствующих углов треугольника ABCABCABC (поскольку лучи ADADAD и CDCDCD «входят» в треугольник), поэтому ∠A+∠C<∠BAC+∠BCA<180∘.
\angle A+\angle C<\angle BAC+\angle BCA<180^\circ. ∠A+∠C<∠BAC+∠BCA<180∘.
Обратно, если ∠A+∠C<180∘\angle A+\angle C<180^\circ∠A+∠C<180∘, то одна из вершин (та, чей противоположный угол превышает 180∘180^\circ180∘) должна быть в описанном положении внутри треугольника, и диагонали (линии) пересекаются вне фигуры. Таким образом при и только при. 3) Примеры. - Пример (численный). Возьмём A=(0,0), B=(2,0), C=(1,2), D=(1,1)A=(0,0),\;B=(2,0),\;C=(1,2),\;D=(1,1)A=(0,0),B=(2,0),C=(1,2),D=(1,1). Здесь DDD внутри треугольника ABCABCABC (четырёхугольник невыпуклый). Углы в вершинах примерно ∠A≈45∘, ∠C≈26.565∘\angle A\approx45^\circ,\ \angle C\approx26.565^\circ∠A≈45∘,∠C≈26.565∘, поэтому ∠A+∠C≈71.565∘<180∘,
\angle A+\angle C\approx71.565^\circ<180^\circ, ∠A+∠C≈71.565∘<180∘,
и пересечение прямых, содержащих диагонали, лежит вне области четырёхугольника (в данном случае на отрезке ACACAC как точка пересечения прямых, но не на отрезке BDBDBD). 4) Границы верности (особые случаи). - Если четырёхугольник выпуклый, то диагонали отрезками всегда пересекаются внутри; в этом случае условие «сумма противоположных углов меньше 180∘180^\circ180∘» не однозначно применимо без указания, какую пару углов рассматривают. Для выпуклого четырёхугольника может быть и ∠A+∠C<180∘\angle A+\angle C<180^\circ∠A+∠C<180∘, и ∠A+∠C>180∘\angle A+\angle C>180^\circ∠A+∠C>180∘ в зависимости от формы; но диагонали остаются внутри. - Граничный случай ∠A+∠C=180∘\angle A+\angle C=180^\circ∠A+∠C=180∘. Тогда пересечение прямых может лежать на границе: например при ∠A+∠C=180∘\angle A+\angle C=180^\circ∠A+∠C=180∘ точка пересечения прямых диагоналей может попадать на сторону (или её продолжение) четырёхугольника — конструкция вырожденная между «внутри» и «вне». Пример: циклический выпуклый четырёхугольник даёт ∠A+∠C=180∘\angle A+\angle C=180^\circ∠A+∠C=180∘, но диагонали пересекаются внутри; при смешанных положениях равенство обычно означает, что точка пересечения лежит на продолжении стороны (на границе). Вывод: для простого невыпуклого (конкавного) четырёхугольника утверждение в точной форме — «диагонали (точнее, прямые диагоналей) пересекаются вне фигуры тогда и только тогда, когда соответствующая пара противоположных углов (та, что не содержит рефлексный угол) даёт сумму <180∘<180^\circ<180∘» — верно. Оригинальная формулировка без уточнения пары углов и типа «пересечения» (отрезки или прямые) была неточна.
1) Уточнение формулировки. Под «невыпуклым четырёхугольником» будем понимать простой (не самопересекающийся) выпукло-невыпуклый (конкавный) четырёхугольник ABCDABCDABCD с ровно одной вогнутой вершиной (скажем, DDD — рефлексный угол >180∘>180^\circ>180∘). Тогда эквивалентное утверждение:
«Для простого четырёхугольника ABCDABCDABCD с рефлексной вершиной DDD диагонали (точнее, прямые, содержащие диагонали) пересекаются вне фигуры тогда и только тогда, когда
∠A+∠C<180∘. \angle A+\angle C<180^\circ.
∠A+∠C<180∘. (Эквивалентно: ровно одна пара противоположных углов имеет сумму меньше 180∘180^\circ180∘.)»
2) Доказательство (кратко). Пусть DDD — вогнутая вершина, т.е. DDD лежит внутри треугольника ABCABCABC. Тогда
- точка DDD и вершина BBB лежат по одну сторону от прямой ACACAC, поэтому отрезок BDBDBD не пересекает отрезок ACACAC: пересечение прямых ACACAC и BDBDBD принадлежит прямой ACACAC, но не лежит на отрезке BDBDBD. Следовательно пересечение прямых (линий диагоналей) находится вне области четырёхугольника (внутрь он не попадает).
- Угол в вершинах AAA и CCC четырёхугольника меньше соответствующих углов треугольника ABCABCABC (поскольку лучи ADADAD и CDCDCD «входят» в треугольник), поэтому
∠A+∠C<∠BAC+∠BCA<180∘. \angle A+\angle C<\angle BAC+\angle BCA<180^\circ.
∠A+∠C<∠BAC+∠BCA<180∘. Обратно, если ∠A+∠C<180∘\angle A+\angle C<180^\circ∠A+∠C<180∘, то одна из вершин (та, чей противоположный угол превышает 180∘180^\circ180∘) должна быть в описанном положении внутри треугольника, и диагонали (линии) пересекаются вне фигуры. Таким образом при и только при.
3) Примеры.
- Пример (численный). Возьмём A=(0,0), B=(2,0), C=(1,2), D=(1,1)A=(0,0),\;B=(2,0),\;C=(1,2),\;D=(1,1)A=(0,0),B=(2,0),C=(1,2),D=(1,1). Здесь DDD внутри треугольника ABCABCABC (четырёхугольник невыпуклый). Углы в вершинах примерно ∠A≈45∘, ∠C≈26.565∘\angle A\approx45^\circ,\ \angle C\approx26.565^\circ∠A≈45∘, ∠C≈26.565∘, поэтому
∠A+∠C≈71.565∘<180∘, \angle A+\angle C\approx71.565^\circ<180^\circ,
∠A+∠C≈71.565∘<180∘, и пересечение прямых, содержащих диагонали, лежит вне области четырёхугольника (в данном случае на отрезке ACACAC как точка пересечения прямых, но не на отрезке BDBDBD).
4) Границы верности (особые случаи).
- Если четырёхугольник выпуклый, то диагонали отрезками всегда пересекаются внутри; в этом случае условие «сумма противоположных углов меньше 180∘180^\circ180∘» не однозначно применимо без указания, какую пару углов рассматривают. Для выпуклого четырёхугольника может быть и ∠A+∠C<180∘\angle A+\angle C<180^\circ∠A+∠C<180∘, и ∠A+∠C>180∘\angle A+\angle C>180^\circ∠A+∠C>180∘ в зависимости от формы; но диагонали остаются внутри.
- Граничный случай ∠A+∠C=180∘\angle A+\angle C=180^\circ∠A+∠C=180∘. Тогда пересечение прямых может лежать на границе: например при ∠A+∠C=180∘\angle A+\angle C=180^\circ∠A+∠C=180∘ точка пересечения прямых диагоналей может попадать на сторону (или её продолжение) четырёхугольника — конструкция вырожденная между «внутри» и «вне». Пример: циклический выпуклый четырёхугольник даёт ∠A+∠C=180∘\angle A+\angle C=180^\circ∠A+∠C=180∘, но диагонали пересекаются внутри; при смешанных положениях равенство обычно означает, что точка пересечения лежит на продолжении стороны (на границе).
Вывод: для простого невыпуклого (конкавного) четырёхугольника утверждение в точной форме — «диагонали (точнее, прямые диагоналей) пересекаются вне фигуры тогда и только тогда, когда соответствующая пара противоположных углов (та, что не содержит рефлексный угол) даёт сумму <180∘<180^\circ<180∘» — верно. Оригинальная формулировка без уточнения пары углов и типа «пересечения» (отрезки или прямые) была неточна.