Энциклопедический словарь юного математика (Савин) - страница 72

Задача 8. Доказать, что в произвольной трапеции середины оснований, точка пересечения диагоналей и точка пересечения продолжений боковых сторон лежат на одной прямой.

Решение. Для равнобочной трапеции это очевидно (так как равнобочная трапеция симметрична относительной прямой, проходящей через середины оснований). Пусть теперь A'B'C'D' - произвольная трапеция и пусть ABCD - равнобочная трапеция с теми же длинами оснований (рис. 24). Рассмотрим аффинное преобразование, переводящее точки A,B,C соответственно в A', B', C'. При этом преобразовании прямые AD, BC перейдут в A'D', B'C' (поскольку AD || BC, а параллельность прямых сохраняется). Далее, так как |AD| / |BC| = |A'D'| / |B'C'|, то точка D перейдет в D' (поскольку отношение параллельных отрезков сохраняется). Иначе говоря, трапеция ABCD перейдет в трапецию A'B'C'D'. Следовательно, прямолинейное расположение точек M,N,P,Q сохранится, т.е. в трапеции A'B'C'D' точки M',N',P',Q' также лежат на одной прямой.

Рис. 24

Задача 9. В треугольнике A'B'C' вписан эллипс и проведены три отрезка, каждый из которых соединяет вершину и точку касания эллипса с противоположной стороной. Доказать, что эти три отрезка пересекаются в одной точке.

Решение. Пусть f - аффинное преобразование, которое переводит некоторую окружность в рассматриваемый эллипс, и пусть ABC - треугольник, который при этом преобразовании переходит в ΔA'B'C'. Так как для вписанной окружности рассматриваемое свойство, как нетрудно доказать, справедливо (левая часть рис. 25), то оно справедливо и для вписанного эллипса (правая часть рисунка).

Рис. 25

В статье «Проективная геометрия» рассказано о том, как пополнение плоскости несобственными («бесконечно удаленными») точками превращает ее в проективную плоскость. Геометрические преобразования проективной плоскости, которые сохраняют прямолинейное расположение точек, называются проективными преобразованиями. Проективные преобразования задаются в координатах дробно-линейными формулами:

Более подробно: если π - евклидова плоскость, в которой задана система координат, а π^>* - проективная плоскость, получающаяся из π присоединением несобственных элементов, то любое проективное преобразование плоскости π^>* записывается в рассматриваемых координатах формулами (1) при условии, что точка A(x;y) и точка A'(x';y'), в которую она переходит, не являются несобственными.

Проективные преобразования образуют группу преобразований проективной плоскости. Согласно Эрлангенской программе, эта группа определяет некоторую геометрию – это и есть проективная геометрия. Инвариантами проективных преобразований (т.е. теми свойствами фигур, которые изучаются в проективной геометрии) являются прямолинейное расположение точек, ангармоническое отношение четырех точек, лежащих на одной прямой, и др.