На плоскости задан выпуклый четырёхугольник с диагоналями, пересекающимися под прямым углом; какие дополнительные необходимые и достаточные условия на стороны или углы обеспечат то, что сумму квадратов противоположных сторон можно выразить через длины диагоналей (обобщение теоремы Питона для ортогональных диагоналей)? Докажите полученную формулу и проиллюстрируйте случаи равных и различных противоположных сторон
Короткий ответ: пусть диагонали ACACAC и BDBDBD пересекаются в OOO и перпендикулярны. Обозначим AC=p, BD=qAC=p,\;BD=qAC=p,BD=q, AO=a, OC=c (a+c=p)AO=a,\;OC=c\;(a+c=p)AO=a,OC=c(a+c=p), BO=b, OD=d (b+d=q)BO=b,\;OD=d\;(b+d=q)BO=b,OD=d(b+d=q). Тогда всегда AB2+CD2=BC2+DA2=p2+q22+(a−c)2+(b−d)22.
AB^2+CD^2=BC^2+DA^2=\frac{p^2+q^2}{2}+\frac{(a-c)^2+(b-d)^2}{2}. AB2+CD2=BC2+DA2=2p2+q2+2(a−c)2+(b−d)2. Следовательно сумма квадратов противоположных сторон выражается только через длины диагоналей (т.е. зависит лишь от ppp и qqq) тогда и только тогда, когда (a−c)2+(b−d)2=0(a-c)^2+(b-d)^2=0(a−c)2+(b−d)2=0, то есть a=ca=ca=c и b=db=db=d. Эквивалентно — диагонали пересекаются в серединах друг друга (они их биссектрисы), а при дополнительном условии перпендикулярности это даёт ромб. В этом случае формула упрощается до AB2+CD2=BC2+DA2=p2+q22.
AB^2+CD^2=BC^2+DA^2=\frac{p^2+q^2}{2}. AB2+CD2=BC2+DA2=2p2+q2. Доказательство (кратко). Поставим OOO в начало координат, ось xxx вдоль ACACAC, ось yyy вдоль BDBDBD. Тогда A=(a,0), C=(−c,0), B=(0,b), D=(0,−d)A=(a,0),\;C=(-c,0),\;B=(0,b),\;D=(0,-d)A=(a,0),C=(−c,0),B=(0,b),D=(0,−d). Отсюда AB2=a2+b2, BC2=c2+b2, CD2=c2+d2, DA2=a2+d2.
AB^2=a^2+b^2,\;BC^2=c^2+b^2,\;CD^2=c^2+d^2,\;DA^2=a^2+d^2. AB2=a2+b2,BC2=c2+b2,CD2=c2+d2,DA2=a2+d2.
Сумма двух противоположных даёт AB2+CD2=a2+c2+b2+d2.
AB^2+CD^2=a^2+c^2+b^2+d^2. AB2+CD2=a2+c2+b2+d2.
Используя a+c=p, b+d=qa+c=p,\;b+d=qa+c=p,b+d=q и тождество u2+v2=(u+v)2+(u−v)22u^2+v^2=\tfrac{(u+v)^2+(u-v)^2}{2}u2+v2=2(u+v)2+(u−v)2 получаем a2+c2=p2+(a−c)22,b2+d2=q2+(b−d)22,
a^2+c^2=\frac{p^2+(a-c)^2}{2},\qquad b^2+d^2=\frac{q^2+(b-d)^2}{2}, a2+c2=2p2+(a−c)2,b2+d2=2q2+(b−d)2,
откуда требуемая формула AB2+CD2=p2+q22+(a−c)2+(b−d)22.
AB^2+CD^2=\frac{p^2+q^2}{2}+\frac{(a-c)^2+(b-d)^2}{2}. AB2+CD2=2p2+q2+2(a−c)2+(b−d)2. Иллюстрации: - случай равных противоположных сторон (ромб): a=c=p/2, b=d=q/2a=c=p/2,\;b=d=q/2a=c=p/2,b=d=q/2. Тогда (a−c)2+(b−d)2=0(a-c)^2+(b-d)^2=0(a−c)2+(b−d)2=0 и AB2+CD2=(p2+q2)/2.\;AB^2+CD^2=(p^2+q^2)/2.AB2+CD2=(p2+q2)/2.
- пример разных: a=3,c=1 (p=4), b=2,d=1 (q=3)a=3,c=1\;(p=4),\;b=2,d=1\;(q=3)a=3,c=1(p=4),b=2,d=1(q=3). Тогда AB2=13, CD2=2AB^2=13,\;CD^2=2AB2=13,CD2=2, сумма =15=15=15. Формула даёт 16+92+(2)2+(1)22=12.5+2.5=15\tfrac{16+9}{2}+\tfrac{(2)^2+(1)^2}{2}=12.5+2.5=15216+9+2(2)2+(1)2=12.5+2.5=15. Итог: при ортогональных диагоналях сумма квадратов противоположных сторон = p2+q22\tfrac{p^2+q^2}{2}2p2+q2 тогда и только тогда, когда диагонали взаимно пересекаются в своих серединах (ромб). В общем случае нужно учитывать сдвиги точек пересечения вдоль диагоналей — формула выше.
AB2+CD2=BC2+DA2=p2+q22+(a−c)2+(b−d)22. AB^2+CD^2=BC^2+DA^2=\frac{p^2+q^2}{2}+\frac{(a-c)^2+(b-d)^2}{2}.
AB2+CD2=BC2+DA2=2p2+q2 +2(a−c)2+(b−d)2 .
Следовательно сумма квадратов противоположных сторон выражается только через длины диагоналей (т.е. зависит лишь от ppp и qqq) тогда и только тогда, когда (a−c)2+(b−d)2=0(a-c)^2+(b-d)^2=0(a−c)2+(b−d)2=0, то есть a=ca=ca=c и b=db=db=d. Эквивалентно — диагонали пересекаются в серединах друг друга (они их биссектрисы), а при дополнительном условии перпендикулярности это даёт ромб. В этом случае формула упрощается до
AB2+CD2=BC2+DA2=p2+q22. AB^2+CD^2=BC^2+DA^2=\frac{p^2+q^2}{2}.
AB2+CD2=BC2+DA2=2p2+q2 .
Доказательство (кратко). Поставим OOO в начало координат, ось xxx вдоль ACACAC, ось yyy вдоль BDBDBD. Тогда
A=(a,0), C=(−c,0), B=(0,b), D=(0,−d)A=(a,0),\;C=(-c,0),\;B=(0,b),\;D=(0,-d)A=(a,0),C=(−c,0),B=(0,b),D=(0,−d). Отсюда
AB2=a2+b2, BC2=c2+b2, CD2=c2+d2, DA2=a2+d2. AB^2=a^2+b^2,\;BC^2=c^2+b^2,\;CD^2=c^2+d^2,\;DA^2=a^2+d^2.
AB2=a2+b2,BC2=c2+b2,CD2=c2+d2,DA2=a2+d2. Сумма двух противоположных даёт
AB2+CD2=a2+c2+b2+d2. AB^2+CD^2=a^2+c^2+b^2+d^2.
AB2+CD2=a2+c2+b2+d2. Используя a+c=p, b+d=qa+c=p,\;b+d=qa+c=p,b+d=q и тождество u2+v2=(u+v)2+(u−v)22u^2+v^2=\tfrac{(u+v)^2+(u-v)^2}{2}u2+v2=2(u+v)2+(u−v)2 получаем
a2+c2=p2+(a−c)22,b2+d2=q2+(b−d)22, a^2+c^2=\frac{p^2+(a-c)^2}{2},\qquad b^2+d^2=\frac{q^2+(b-d)^2}{2},
a2+c2=2p2+(a−c)2 ,b2+d2=2q2+(b−d)2 , откуда требуемая формула
AB2+CD2=p2+q22+(a−c)2+(b−d)22. AB^2+CD^2=\frac{p^2+q^2}{2}+\frac{(a-c)^2+(b-d)^2}{2}.
AB2+CD2=2p2+q2 +2(a−c)2+(b−d)2 .
Иллюстрации:
- случай равных противоположных сторон (ромб): a=c=p/2, b=d=q/2a=c=p/2,\;b=d=q/2a=c=p/2,b=d=q/2. Тогда (a−c)2+(b−d)2=0(a-c)^2+(b-d)^2=0(a−c)2+(b−d)2=0 и
AB2+CD2=(p2+q2)/2.\;AB^2+CD^2=(p^2+q^2)/2.AB2+CD2=(p2+q2)/2. - пример разных: a=3,c=1 (p=4), b=2,d=1 (q=3)a=3,c=1\;(p=4),\;b=2,d=1\;(q=3)a=3,c=1(p=4),b=2,d=1(q=3). Тогда AB2=13, CD2=2AB^2=13,\;CD^2=2AB2=13,CD2=2, сумма =15=15=15. Формула даёт
16+92+(2)2+(1)22=12.5+2.5=15\tfrac{16+9}{2}+\tfrac{(2)^2+(1)^2}{2}=12.5+2.5=15216+9 +2(2)2+(1)2 =12.5+2.5=15.
Итог: при ортогональных диагоналях сумма квадратов противоположных сторон = p2+q22\tfrac{p^2+q^2}{2}2p2+q2 тогда и только тогда, когда диагонали взаимно пересекаются в своих серединах (ромб). В общем случае нужно учитывать сдвиги точек пересечения вдоль диагоналей — формула выше.