Классический открытый вопрос для учащихся: доказать, что сумма расстояний от любой точки окружности до двух взаимно перпендикулярных хорд постоянна; исследуйте и обобщите
Уточнение и формулировка. В классическом виде речь обычно идёт не о произвольных перпендикулярных хордах, а о перпендикулярных диаметрах (хорда, проходящая через центр, — диаметр). Для двух взаимно перпендикулярных диаметров утверждение легко и строго верно; для произвольных перпендикулярных хорд сумма (неквадратов) расстояний не постоянна. Ниже — доказательство для диаметров и обсуждение общего случая. 1) Теорема (для диаметров). Пусть в окружности радиуса RRR через центр OOO проведены перпендикулярные диаметры l1,l2l_1,l_2l1,l2. Для любой точки PPP окружности сумма квадратов расстояний от PPP до этих диаметров равна R2R^2R2 (в частности, квадраты суммируются в постоянную величину; если брать сами расстояния без квадрата — их квадраты постоянны, а сами расстояния зависят от знака проекции). Доказательство. Введём декартову систему координат с центром в OOO, оси совпадают с l1,l2l_1,l_2l1,l2. Для точки PPP имеем координаты (x,y)(x,y)(x,y) и x2+y2=R2x^2+y^2=R^2x2+y2=R2. Расстояния (модуль проекций) от PPP до диаметров равны ∣x∣|x|∣x∣ и ∣y∣|y|∣y∣, поэтому ∣x∣2+∣y∣2=x2+y2=R2,
|x|^2+|y|^2=x^2+y^2=R^2, ∣x∣2+∣y∣2=x2+y2=R2,
что и доказывает постоянство суммы квадратов расстояний. Геометрически это — следствие теоремы Пифагора для проекций радиус-вектора OPOPOP. 2) Произвольные перпендикулярные хорды. Пусть поддерживающие прямые хорд заданы уравнениями x=ax=ax=a и y=by=by=b (перпендикулярны и на расстояниях ∣a∣,∣b∣<R|a|,|b|<R∣a∣,∣b∣<R от центра). Для точки P=(x,y)P=(x,y)P=(x,y) на окружности расстояния до этих прямых равны ∣x−a∣|x-a|∣x−a∣ и ∣y−b∣|y-b|∣y−b∣. Их квадраты дают (x−a)2+(y−b)2=x2+y2+a2+b2−2(ax+by)=R2+a2+b2−2(ax+by),
(x-a)^2+(y-b)^2 = x^2+y^2 + a^2+b^2 -2(ax+by)=R^2+a^2+b^2-2(ax+by), (x−a)2+(y−b)2=x2+y2+a2+b2−2(ax+by)=R2+a2+b2−2(ax+by),
и выражение зависит от точки PPP через скалярное произведение ax+byax+byax+by; поэтому сумма (или сумма квадратов) расстояний не является постоянной в общем случае. Особый случай постоянства — когда a=b=0a=b=0a=b=0 (т. е. хорды — диаметры). 3) Обобщение. Утверждение о постоянстве (в форме суммы квадратов координат = R2R^2R2) естественно обобщается: в любой ортонормированной системе проекций сумма квадратов проекций радиус-вектора точки окружности на взаимно перпендикулярные оси равна R2R^2R2. В n-мерном случае для сферы радиуса RRR сумма квадратов координат точки сферы равна R2R^2R2. Вывод: для двух взаимно перпендикулярных диаметров сумма квадратов расстояний от любой точки окружности до этих диаметров постоянна и равна R2R^2R2. Для произвольных перпендикулярных хорд такая сумма (без дополнительных условий) не постоянна; формула для суммы квадратов дана выше и показывает зависимость от положения хорд относительно центра.
1) Теорема (для диаметров). Пусть в окружности радиуса RRR через центр OOO проведены перпендикулярные диаметры l1,l2l_1,l_2l1 ,l2 . Для любой точки PPP окружности сумма квадратов расстояний от PPP до этих диаметров равна R2R^2R2 (в частности, квадраты суммируются в постоянную величину; если брать сами расстояния без квадрата — их квадраты постоянны, а сами расстояния зависят от знака проекции).
Доказательство. Введём декартову систему координат с центром в OOO, оси совпадают с l1,l2l_1,l_2l1 ,l2 . Для точки PPP имеем координаты (x,y)(x,y)(x,y) и x2+y2=R2x^2+y^2=R^2x2+y2=R2. Расстояния (модуль проекций) от PPP до диаметров равны ∣x∣|x|∣x∣ и ∣y∣|y|∣y∣, поэтому
∣x∣2+∣y∣2=x2+y2=R2, |x|^2+|y|^2=x^2+y^2=R^2,
∣x∣2+∣y∣2=x2+y2=R2, что и доказывает постоянство суммы квадратов расстояний. Геометрически это — следствие теоремы Пифагора для проекций радиус-вектора OPOPOP.
2) Произвольные перпендикулярные хорды. Пусть поддерживающие прямые хорд заданы уравнениями x=ax=ax=a и y=by=by=b (перпендикулярны и на расстояниях ∣a∣,∣b∣<R|a|,|b|<R∣a∣,∣b∣<R от центра). Для точки P=(x,y)P=(x,y)P=(x,y) на окружности расстояния до этих прямых равны ∣x−a∣|x-a|∣x−a∣ и ∣y−b∣|y-b|∣y−b∣. Их квадраты дают
(x−a)2+(y−b)2=x2+y2+a2+b2−2(ax+by)=R2+a2+b2−2(ax+by), (x-a)^2+(y-b)^2 = x^2+y^2 + a^2+b^2 -2(ax+by)=R^2+a^2+b^2-2(ax+by),
(x−a)2+(y−b)2=x2+y2+a2+b2−2(ax+by)=R2+a2+b2−2(ax+by), и выражение зависит от точки PPP через скалярное произведение ax+byax+byax+by; поэтому сумма (или сумма квадратов) расстояний не является постоянной в общем случае. Особый случай постоянства — когда a=b=0a=b=0a=b=0 (т. е. хорды — диаметры).
3) Обобщение. Утверждение о постоянстве (в форме суммы квадратов координат = R2R^2R2) естественно обобщается: в любой ортонормированной системе проекций сумма квадратов проекций радиус-вектора точки окружности на взаимно перпендикулярные оси равна R2R^2R2. В n-мерном случае для сферы радиуса RRR сумма квадратов координат точки сферы равна R2R^2R2.
Вывод: для двух взаимно перпендикулярных диаметров сумма квадратов расстояний от любой точки окружности до этих диаметров постоянна и равна R2R^2R2. Для произвольных перпендикулярных хорд такая сумма (без дополнительных условий) не постоянна; формула для суммы квадратов дана выше и показывает зависимость от положения хорд относительно центра.