Четырехугольник (ABCD), образованный двумя взаимно перпендикулярными диаметрами (AC) и (BD) окружности, является квадратом. Рассмотрим это подробнее:
Центр окружности: Пусть (O) — центр окружности. Диаметры (AC) и (BD) пересекаются в точке (O).
Перпендикулярность: По условию, диаметры перпендикулярны, то есть (\angle AOB = \angle BOC = \angle COD = \angle DOA = 90^\circ).
Равные хорды: Поскольку (AC) и (BD) — диаметры, они делят окружность на две равные части. Соответственно, точки (A), (B), (C), и (D) лежат на окружности и являются концами равных хорд.
Равные стороны: Все стороны четырехугольника (ABCD) равны, так как каждая из них является хордой окружности с одинаковым радиусом, упирающейся в центр окружности под углом (90^\circ).
Равные углы: Углы (\angle ABC), (\angle BCD), (\angle CDA), и (\angle DAB) все равны (90^\circ) благодаря перпендикулярности диаметров и равным радиусам, образующим прямые углы в точке (O).
Таким образом, четырехугольник (ABCD) является квадратом, поскольку он имеет четыре равные стороны и четыре прямых угла.