На плоскости задан параллелограмм; исследуйте и докажите свойства образов его диагоналей и центров при аффинных преобразованиях, объясните, какие свойства сохраняются, а какие теряются
Коротко: под аффинным преобразованием все «аффинные» свойства параллелограмма сохраняются (параллельность, коллинеарность, отношения деления отрезков на одной прямой, середины, центр симметрии, отношение площадей — с общим множителем), а метрические свойства (длины, углы, прямые углы, равенство отрезков вне одной прямой) в общем не сохраняются. Доказательства и пояснения. 1) Модель аффинного преобразования. Любое невырожденное аффинное преобразование представимо как T(x)=Mx+bT(x)=M x+bT(x)=Mx+b, где MMM — невырожденная 2×22\times22×2-матрица, bbb — вектор смещения. Разности точек трансформируются линейно: для любых точек X,YX,YX,YT(Y)−T(X)=M(Y−X)T(Y)-T(X)=M(Y-X)T(Y)−T(X)=M(Y−X). 2) Параллелограмм и его образ. Пусть параллелограмм задан точкой PPP и векторами сторон u,vu,vu,v; вершины P, P+u, P+v, P+u+vP,\;P+u,\;P+v,\;P+u+vP,P+u,P+v,P+u+v. Их образы T(P), T(P+u)=T(P)+Mu, T(P+v)=T(P)+Mv, T(P+u+v)=T(P)+Mu+MvT(P),\;T(P+u)=T(P)+M u,\;T(P+v)=T(P)+M v,\;T(P+u+v)=T(P)+M u+M vT(P),T(P+u)=T(P)+Mu,T(P+v)=T(P)+Mv,T(P+u+v)=T(P)+Mu+Mv. Это снова параллелограмм со сторонами MuM uMu и MvM vMv. Следовательно: аффинный образ параллелограмма — параллелограмм. 3) Диагонали и их середины. Диагонали исходного параллелограмма соединяют PPP с P+u+vP+u+vP+u+v и P+uP+uP+u с P+vP+vP+v. Их середины равны P+(P+u+v)2=P+u+v2\frac{P+(P+u+v)}2=P+\frac{u+v}{2}2P+(P+u+v)=P+2u+v и (P+u)+(P+v)2=P+u+v2\frac{(P+u)+(P+v)}2=P+\frac{u+v}{2}2(P+u)+(P+v)=P+2u+v (совпадают). Под действием TTT середина переводится в T (P+u+v2)=T(P)+Mu+v2=T(P)+T(P+u+v)2T\!\Big(P+\frac{u+v}{2}\Big)=T(P)+M\frac{u+v}{2}=\frac{T(P)+T(P+u+v)}2T(P+2u+v)=T(P)+M2u+v=2T(P)+T(P+u+v), поэтому образы диагоналей также пересекаются и делятся пополам. То есть свойство «диагонали пересекаются в серединах» сохраняется. 4) Отношения деления на одной прямой, коллинеарность, сопряжённости и центр симметрии. Для любой точки XXX на отрезке ABABAB с параметром ttt: X=(1−t)A+tBX=(1-t)A+tBX=(1−t)A+tB, имеем T(X)=(1−t)T(A)+tT(B)T(X)=(1-t)T(A)+tT(B)T(X)=(1−t)T(A)+tT(B). Отсюда сохраняются коллинеарность и любое отношение деления отрезка (включая середину, t=12t=\tfrac12t=21). Центр симметрии параллелограмма (точка OOO с O=(A+C)/2=(B+D)/2O=(A+C)/2=(B+D)/2O=(A+C)/2=(B+D)/2) переводится в центр симметрии образа. 5) Площади. Площадь параллелограмма, порождённого u,vu,vu,v, равна ∣det[u v]∣|\det[u\;v]|∣det[uv]∣. Под действием MMM она умножается на ∣detM∣|\det M|∣detM∣: Area(T(параллел.))=∣detM∣⋅Area(исходн.)\operatorname{Area}(T(\text{параллел.}))=|\det M|\cdot\operatorname{Area}(\text{исходн.})Area(T(параллел.))=∣detM∣⋅Area(исходн.). Следовательно, отношение площадей двух фигур сохраняется (общий множитель ∣detM∣|\det M|∣detM∣ для всех фигур). 6) Что теряется. В общем случае не сохраняются: - длины и их соотношения для отрезков, не лежащих на одной прямой (например, длины диагоналей): длины преобразуются по действию MMM, и обычно меняются неодинаково; - углы и ортогональность (прямые углы теряются, если MMM не пропорционален ортогональной матрице); - принадлежность вписанной/описанной окружности, равенство сторон в общем не сохраняются; - отношение длин двух негомотетичных направлений в общем не сохраняется. Итого: аффинное преобразование переводит параллелограмм в параллелограмм, диагонали переходят в диагонали образа и продолжают делить друг друга пополам; сохраняются коллинеарность, отношения деления на одной прямой, параллельность, центр симметрии и относительные площади (с общим множителем). Метрические свойства (длины, углы, ортогональность) в общем не сохраняются.
Доказательства и пояснения.
1) Модель аффинного преобразования. Любое невырожденное аффинное преобразование представимо как
T(x)=Mx+bT(x)=M x+bT(x)=Mx+b,
где MMM — невырожденная 2×22\times22×2-матрица, bbb — вектор смещения. Разности точек трансформируются линейно: для любых точек X,YX,YX,Y T(Y)−T(X)=M(Y−X)T(Y)-T(X)=M(Y-X)T(Y)−T(X)=M(Y−X).
2) Параллелограмм и его образ. Пусть параллелограмм задан точкой PPP и векторами сторон u,vu,vu,v; вершины
P, P+u, P+v, P+u+vP,\;P+u,\;P+v,\;P+u+vP,P+u,P+v,P+u+v.
Их образы
T(P), T(P+u)=T(P)+Mu, T(P+v)=T(P)+Mv, T(P+u+v)=T(P)+Mu+MvT(P),\;T(P+u)=T(P)+M u,\;T(P+v)=T(P)+M v,\;T(P+u+v)=T(P)+M u+M vT(P),T(P+u)=T(P)+Mu,T(P+v)=T(P)+Mv,T(P+u+v)=T(P)+Mu+Mv.
Это снова параллелограмм со сторонами MuM uMu и MvM vMv. Следовательно: аффинный образ параллелограмма — параллелограмм.
3) Диагонали и их середины. Диагонали исходного параллелограмма соединяют PPP с P+u+vP+u+vP+u+v и P+uP+uP+u с P+vP+vP+v. Их середины равны
P+(P+u+v)2=P+u+v2\frac{P+(P+u+v)}2=P+\frac{u+v}{2}2P+(P+u+v) =P+2u+v и (P+u)+(P+v)2=P+u+v2\frac{(P+u)+(P+v)}2=P+\frac{u+v}{2}2(P+u)+(P+v) =P+2u+v (совпадают).
Под действием TTT середина переводится в
T (P+u+v2)=T(P)+Mu+v2=T(P)+T(P+u+v)2T\!\Big(P+\frac{u+v}{2}\Big)=T(P)+M\frac{u+v}{2}=\frac{T(P)+T(P+u+v)}2T(P+2u+v )=T(P)+M2u+v =2T(P)+T(P+u+v) ,
поэтому образы диагоналей также пересекаются и делятся пополам. То есть свойство «диагонали пересекаются в серединах» сохраняется.
4) Отношения деления на одной прямой, коллинеарность, сопряжённости и центр симметрии. Для любой точки XXX на отрезке ABABAB с параметром ttt: X=(1−t)A+tBX=(1-t)A+tBX=(1−t)A+tB, имеем
T(X)=(1−t)T(A)+tT(B)T(X)=(1-t)T(A)+tT(B)T(X)=(1−t)T(A)+tT(B).
Отсюда сохраняются коллинеарность и любое отношение деления отрезка (включая середину, t=12t=\tfrac12t=21 ). Центр симметрии параллелограмма (точка OOO с O=(A+C)/2=(B+D)/2O=(A+C)/2=(B+D)/2O=(A+C)/2=(B+D)/2) переводится в центр симметрии образа.
5) Площади. Площадь параллелограмма, порождённого u,vu,vu,v, равна ∣det[u v]∣|\det[u\;v]|∣det[uv]∣. Под действием MMM она умножается на ∣detM∣|\det M|∣detM∣:
Area(T(параллел.))=∣detM∣⋅Area(исходн.)\operatorname{Area}(T(\text{параллел.}))=|\det M|\cdot\operatorname{Area}(\text{исходн.})Area(T(параллел.))=∣detM∣⋅Area(исходн.).
Следовательно, отношение площадей двух фигур сохраняется (общий множитель ∣detM∣|\det M|∣detM∣ для всех фигур).
6) Что теряется. В общем случае не сохраняются:
- длины и их соотношения для отрезков, не лежащих на одной прямой (например, длины диагоналей): длины преобразуются по действию MMM, и обычно меняются неодинаково;
- углы и ортогональность (прямые углы теряются, если MMM не пропорционален ортогональной матрице);
- принадлежность вписанной/описанной окружности, равенство сторон в общем не сохраняются;
- отношение длин двух негомотетичных направлений в общем не сохраняется.
Итого: аффинное преобразование переводит параллелограмм в параллелограмм, диагонали переходят в диагонали образа и продолжают делить друг друга пополам; сохраняются коллинеарность, отношения деления на одной прямой, параллельность, центр симметрии и относительные площади (с общим множителем). Метрические свойства (длины, углы, ортогональность) в общем не сохраняются.