Для доказательства того, что общая хорда двух окружностей перпендикулярна прямой, на которой лежат их центры, мы воспользуемся свойством перпендикулярности хорд к радиусам, проведенным к их касательным точкам.
Пусть даны две окружности с центрами \( O_1 \) и \( O_2 \) и общей хордой \( AB \). Обозначим центры окружностей \( O_1 \) и \( O_2 \), а также точки касания хорды \( AB \) с окружностями как \( M_1, M_2, N_1 \) и \( N_2 \) соответственно.
Для начала построим радиусы \( O_1M_1 \) и \( O_2M_2 \), а также касательные \( AM_1 \), \( BM_1 \), \( AM_2 \) и \( BM_2 \) (см. рисунок).
\[ \begin{array}{l} \angle AOM_1 = 90^\circ \quad \text{(Так как радиус перпендикулярен касательной в точке касания)} \\ \angle BOM_1 = 90^\circ \quad \text{(Так как радиус перпендикулярен касательной в точке касания)} \\ \angle AOM_2 = 90^\circ \quad \text{(Так как радиус перпендикулярен касательной в точке касания)} \\ \angle BOM_2 = 90^\circ \quad \text{(Так как радиус перпендикулярен касательной в точке касания)} \end{array} \]
Таким образом, четыре треугольника \( \triangle O_1AM_1 \), \( \triangle O_1BM_1 \), \( \triangle O_2AM_2 \) и \( \triangle O_2BM_2 \) являются прямоугольными.
Посмотрим на треугольники \( \triangle O_1AN_1 \) и \( \triangle O_1BM_1 \). Из правильности построения видим, что они подобны (по двум углам), так же как и треугольники \( \triangle O_2AN_2 \) и \( \triangle O_2BM_2 \).
Таким образом, получаем:
\[ \begin{array}{l} \angle O_1AN_1 = \angle O_1BM_1 \quad (\text{По подобности треугольников}) \\ \angle O_2AN_2 = \angle O_2BM_2 \quad (\text{По подобности треугольников}) \end{array} \]
Но также из построения очевидно, что:
\[ \begin{array}{l} \angle O_1AN_1 = 90 - \angle O_1AM_1 = 90 - \angle O_1BM_1 \quad (\text{По свойству угла в полукруге}) \\ \angle O_2AN_2 = 90 - \angle O_2AM_2 = 90 - \angle O_2BM_2 \quad (\text{По свойству угла в полукруге}) \end{array} \]
Таким образом, получаем:
\[ \angle O_1BM_1 = \angle O_1AN_1 = \angle O_2AN_2 = \angle O_2BM_2 \]
Из этих равенств следует, что прямые \( O_1O_2 \) и \( AB \) перпендикулярны друг другу. Таким образом, было доказано, что общая хорда двух окружностей перпендикулярна к прямой, на которой лежат их центры.