На плоскости заданы точки A, B, C, D так, что ABCD — вписанный четырехугольник; покажите, при каких дополнительных условиях эта фигура является биконвексной или имеет центры симметрии, и приведите доказательство
Надо понять два вопроса: когда вписанный четырехугольник \(ABCD\) одновременно имеет вписанную и описанную окружности (то есть «бикентичен», т.е. одновременно цикличен и тангенциальен), и когда он имеет центр симметрии. Привожу краткие формулировки и доказательства. 1) Критерий для того, чтобы вписанный четырёхугольник был также тангенциальен (бикентичен). Теорема. Выпуклый четырёхугольник \(ABCD\) имеет вписанную окружность (и поэтому цикличный + тангенциальный = бикентичен), тогда и только тогда, когда \[ AB+CD=BC+AD. \] Доказательство (кратко). - Необходимость. Пусть существует вписанная окружность, касающаяся сторон в точках, дающих на соседних сторонах равные касательные отрезки. Тогда, если обозначить длины касательных от одного угла через \(x,y,r,s\) (см. стандартную схему), получаем \[ AB=x+y,\quad BC=y+z,\quad CD=z+s,\quad DA=s+x. \] Сложив первые и третьи равенства и вторые и четвёртые, получаем требуемое равенство \(AB+CD=BC+AD\). - Достаточность (эскиз). Обратно, если \(AB+CD=BC+AD\), то система линейных уравнений \[ p+q=AB,\quad q+r=BC,\quad r+s=CD,\quad s+p=AD \] совместна и даёт неотрицательные числа \(p,q,r,s\) (они интерпретируются как длины касательных от вершин). По построению существуют точки касания на сторонах, и биссектрисы соответствующих углов сходятся в точке \(I\), равноудалённой от всех сторон → \(I\) центр вписанной окружности. Таким образом при указанном условии существует вписанная окружность. (Это стандартный критерий тангенциальности.) Итого: для вписанного четырёхугольника дополнительное условие для того, чтобы он был бикентичен — выполнение равенства \[ AB+CD=BC+AD. \] 2) Критерий наличия центра симметрии. Теорема. Вписанный четырёхугольник \(ABCD\) имеет центр симметрии тогда и только тогда, когда он является прямоугольником (всe углы по \(90^\circ\)), эквивалентно — когда противоположные вершины попарно антиподобны на окружности (диагонали являются диаметрами). Доказательство (кратко). - Пусть \(O\) — центр симметрии четырёхугольника (точка полувращения на \(180^\circ\)), тогда отображение поворота на \(180^\circ\) вокруг \(O\) переводит окружность, на которой лежат вершины, в себя; центр окружности при этом фиксируется, поэтому центр окружности совпадает с \(O\). Значит \(O\) — середины отрезков \(AC\) и \(BD\), и эти отрезки проходят через центр окружности ⇒ \(AC\) и \(BD\) — диаметры вписанной окружности. Следовательно углы при вершинах \(B\) и \(D\) (а также при \(A\) и \(C\)) опираются на диаметры и равны \(90^\circ\). То есть \(ABCD\) — прямоугольник, у которого центр симметрии — центр окружности. - Обратно, любой прямоугольник вписанный в окружность имеет центр симметрии (середина пересечения диагоналей), и эта середина совпадает с центром описанной окружности, поэтому четырёхугольник действительно центр-symmetric. Итого: вписанный четырёхугольник имеет центр симметрии тогда и только тогда, когда он прямоугольник (эквивалентно: диагонали — диаметры описанной окружности, противоположные вершины — антиподы). Замечание. Существуют точные дополнительные формулы (например, для бикентичных четырёхугольников связь между радиусами вписанной и описанной окружностей — формула Фусса), но для базовой классификации достаточно приведённых критериев.
1) Критерий для того, чтобы вписанный четырёхугольник был также тангенциальен (бикентичен).
Теорема. Выпуклый четырёхугольник \(ABCD\) имеет вписанную окружность (и поэтому цикличный + тангенциальный = бикентичен), тогда и только тогда, когда
\[
AB+CD=BC+AD.
\]
Доказательство (кратко).
- Необходимость. Пусть существует вписанная окружность, касающаяся сторон в точках, дающих на соседних сторонах равные касательные отрезки. Тогда, если обозначить длины касательных от одного угла через \(x,y,r,s\) (см. стандартную схему), получаем
\[
AB=x+y,\quad BC=y+z,\quad CD=z+s,\quad DA=s+x.
\]
Сложив первые и третьи равенства и вторые и четвёртые, получаем требуемое равенство \(AB+CD=BC+AD\).
- Достаточность (эскиз). Обратно, если \(AB+CD=BC+AD\), то система линейных уравнений
\[
p+q=AB,\quad q+r=BC,\quad r+s=CD,\quad s+p=AD
\]
совместна и даёт неотрицательные числа \(p,q,r,s\) (они интерпретируются как длины касательных от вершин). По построению существуют точки касания на сторонах, и биссектрисы соответствующих углов сходятся в точке \(I\), равноудалённой от всех сторон → \(I\) центр вписанной окружности. Таким образом при указанном условии существует вписанная окружность. (Это стандартный критерий тангенциальности.)
Итого: для вписанного четырёхугольника дополнительное условие для того, чтобы он был бикентичен — выполнение равенства
\[
AB+CD=BC+AD.
\]
2) Критерий наличия центра симметрии.
Теорема. Вписанный четырёхугольник \(ABCD\) имеет центр симметрии тогда и только тогда, когда он является прямоугольником (всe углы по \(90^\circ\)), эквивалентно — когда противоположные вершины попарно антиподобны на окружности (диагонали являются диаметрами).
Доказательство (кратко).
- Пусть \(O\) — центр симметрии четырёхугольника (точка полувращения на \(180^\circ\)), тогда отображение поворота на \(180^\circ\) вокруг \(O\) переводит окружность, на которой лежат вершины, в себя; центр окружности при этом фиксируется, поэтому центр окружности совпадает с \(O\). Значит \(O\) — середины отрезков \(AC\) и \(BD\), и эти отрезки проходят через центр окружности ⇒ \(AC\) и \(BD\) — диаметры вписанной окружности. Следовательно углы при вершинах \(B\) и \(D\) (а также при \(A\) и \(C\)) опираются на диаметры и равны \(90^\circ\). То есть \(ABCD\) — прямоугольник, у которого центр симметрии — центр окружности.
- Обратно, любой прямоугольник вписанный в окружность имеет центр симметрии (середина пересечения диагоналей), и эта середина совпадает с центром описанной окружности, поэтому четырёхугольник действительно центр-symmetric.
Итого: вписанный четырёхугольник имеет центр симметрии тогда и только тогда, когда он прямоугольник (эквивалентно: диагонали — диаметры описанной окружности, противоположные вершины — антиподы).
Замечание. Существуют точные дополнительные формулы (например, для бикентичных четырёхугольников связь между радиусами вписанной и описанной окружностей — формула Фусса), но для базовой классификации достаточно приведённых критериев.