- Дезарга теорема
-
Теорема Дезарга является одной из основных теорем проективной геометрии. Она формулируется следующим образом:
Если два треугольника расположены на плоскости таким образом, что прямые, соединяющие соответственные вершины треугольников, проходят через одну точку, то три точки, в которых пересекаются продолжения трёх пар соответственных сторон треугольников, лежат на одной прямой.
Обратное тоже верно:Если два треугольника расположены на плоскости таким образом, что три точки, в которых пересекаются продолжения трёх пар соответственных сторон треугольников, лежат на одной прямой, то прямые, соединяющие соответственные вершины треугольников, проходят через одну точку.
Эти две теоремы являются двойственными по отношению друг к другу.Содержание
О доказательстве
Одно из самых распространённых доказательств основывается на переходе в трёхмерное пространство — достаточно представить оба треугольника двумя сечениями трёхгранной пирамиды. Вся картина при этом рассматривается как проекция на плоскость пространственной структуры.
Конфигурация Дезарга
Точки и прямые в теореме Дезарга образуют так называемую конфигурацию Дезарга. Здесь через каждую из 10 точек проходят 3 прямые и на каждой из 10 прямых лежат 3 точки. При этом любая из 10 точек может быть принята за «вершину трёхгранной пирамиды» в приведённом выше доказательстве.
Теорема Дезарга и аксиоматика проективной геометрии
При построении проективной геометрии плоскости, без выхода в трёхмерное пространство, теорема Дезарга не выводится из основных аксиом проективной плоскости. Это означает, что возможно построить проективную плоскость, где теорема Дезарга не верна (см. недезаргова геометрия). При построении дезарговой проективной плоскости утверждение теоремы Дезарга добавляют к системе аксиом проективной плоскости в качестве ещё одной аксиомы.
История
Теорема Дезарга была открыта французским геометром Дезаргом.
Ссылки
- Г. С. М. Коксетер, С. П. Грейтцер Новые встречи с геометрией. (1978);
Wikimedia Foundation. 2010.