Логическое строение геометрии
Аксиома — утверждение, принимаемое без доказательства. Аксиомы принадлежности точек и прямых. Теоремы - утверждения геометрии, которые доказываются на основании аксиом и ранее доказанных утверждений. Аксиомы расположения точек на прямой и плоскости.
Подобные документы
Биография греческого ученого, происхождение теоремы Пифагора, способы ее доказательства разными народами (древнекитайский, индусский, Евклидом) и значение для современной геометрии. Особенности соотношения размера сторон треугольника и его гипотенузы.
реферат, добавлен 21.01.2015Геометрическая интерпретация векторного произведения в зеркальном отражении. Главная особенность доказательств коммутативности сложения векторов на плоскости. Основные свойства скалярного отображения. Характеристика аксиомы параллельности Евклида.
контрольная работа, добавлен 28.04.2016Описание упорядоченных структур в теории множеств с самопринадлежностью. Счетность количества обозначений. Несчетность множества точек на прямой и счетность количества n обозначений чисел на отрезке. Классические утверждения теоремы Гёделя о нечетности.
статья, добавлен 26.04.2019Обоснование значимости теоремы Пифагора, ее применение в геометрии. Биографические факты из жизни Пифагора. Обзор математических трактатов Древнего Китая, чертеж и доказательство теоремы Пифагора в них. Доказательство теоремы Пифагора в трудах Евклида.
реферат, добавлен 12.09.2010Понятие параллельных линий по определению Евклида. Метод доказательства от противного Саккери. Мнение Гаусса о недоказуемости аксиомы Евклида. Заключение о существовании абсолютной меры Ламберта. Исследования Лобачевского, теория относительности.
реферат, добавлен 30.06.2011Основные виды стереометрических задач. Расчет угла между прямой и плоскостью. Рассмотрение особенностей теоремы Пифагора. Система координат на плоскости. Сущность понятия ортогональность векторов. Порядок поиска расстояний между прямыми в геометрии.
презентация, добавлен 02.03.2014Изучение сущности начертательной геометрии, как науки о методах построения изображений пространственных форм на плоскости. Ознакомление с основными требованиями к чертежам. Характеристика особенностей ортогонального и параллельного проецирования.
учебное пособие, добавлен 12.11.2014Основные понятия геометрии Лобачевского с приведением некоторых примеров теорем неевклидовой геометрии и различные приложения геометрии Лобачевского. Рассмотрение моделей (интерпретаций) данной геометрии, а также моделей Бельтрами, Кэли-Клейна, Пуанкаре.
курсовая работа, добавлен 22.04.2011Центрально-симметричные точки, понятие центра их симметрии. Равенство центрально-симметричных отрезков и треугольников. Симметрия относительно прямой (осевая). Свойства линии осевой симметрии. Параллельный перенос точек. Поворот (вращение) как движение.
презентация, добавлен 16.01.2014Совокупность всех прямых, проходящих через некоторую точку плоскости. Уравнение прямой проходящей через две фиксированные точки. Текущая точка с переменными координатами. Взаимное расположение на плоскости. Критерий перпендикулярности прямых в уравнении.
презентация, добавлен 01.09.2015Ортогональное проецирование точки. Определение натуральной величины прямой линии. Следы плоскости. Позиционные и метрические задачи. Методы преобразования эпюра Монжа. Многогранники. Кривые поверхности. Касательные плоскости и аксонометрические проекции.
учебное пособие, добавлен 06.05.2013Описание общих аксиом конструктивной геометрии и математических инструментов. Правила формулировки задач на построение и методика их решения (методы геометрических мест и преобразований, алгебраический метод). Построения циркулем и иными инструментами.
курсовая работа, добавлен 24.01.2017Определение предмета изучения планиметрии и стереометрии. Характеристика линий и поверхностей как важнейшего класса геометрических фигур. Изучение основных свойств прямых и плоскостей. Аксиомы стереометрии как утверждения, не требующие доказательств.
презентация, добавлен 13.04.2012Краткая биографическая справка из жизни Н.И. Лобачевского. История появления геометрии. Модель Пуанкаре, Клейна и интерпретация Бельтрами. Практическое применение геометрии Лобачевского: теорема Пифагора, площадь треугольника и круга, длина окружности.
контрольная работа, добавлен 15.04.2013Понятийный аппарат векторного метода решения задач. Основные свойства произведения вектора на число. Методика решения задач аффинной геометрии векторным методом. Задачи, связанные с доказательством параллельности прямых и отрезков, прямых и плоскости.
курсовая работа, добавлен 12.02.2013- 91. Алгебра логики
Раздел математической логики, в котором изучаются логические операции над высказываниями. Аксиома - исходное положение теории, принимаемое в рамках данной теории истинным без требования доказательства. Логические операции и математические выражения.
презентация, добавлен 12.03.2015 Отображения и преобразования. Современное определение и основные понятия проективной геометрии на плоскости. Перспективно-аффинное соответствие двух плоскостей. Построение главных направлений. Аналитическая аффинная геометрия. Проективные ряды и пучки.
учебное пособие, добавлен 31.03.2015Содержание аксиоматического метода построения научной теории: выделение основных понятий, формулировка аксиомы, вывод логическим путём теоремы и других определений. Разрыв между геометрией и арифметикой Евклида. Аксиома параллельности Лобачевского.
реферат, добавлен 30.10.2010Геометрия Лобачевского (гиперболическая геометрия) как одна из неевклидовых геометрий. Евклидова аксиома о параллелях. Разработка модели планиметрии. Параллельные прямые, треугольники и четырехугольники на плоскости и пространстве по Лобачевскому.
реферат, добавлен 28.05.2014Описание методов проекций (центральные и параллельные проекции). Проецирование методом Монжа. Взаимное положение прямых в пространстве: пересекающиеся, параллельные и скрещенные прямые. Способы задания плоскости на чертеже. Прямая и точка в плоскости.
курсовая работа, добавлен 15.12.2010История зарождения перспективного изображения с использованием аксонометрии. Особенности центральной сферической проекции при зрительном восприятии чертежа. Свойства перспективных изображений. Правила расположения точек в перпендикулярной плоскости.
статья, добавлен 22.03.2016Определение дуальных и двойных чисел, их формулы и расчеты. Дуальные числа как ориентированные прямые плоскости. Определение модуля, сопряжённого числа, делителя нуля и цикла множества ориентированных и бесконечно удалённых прямых плоскости Лобачевского.
курсовая работа, добавлен 22.04.2011Построение чертежа на клетчатой бумаге или на координатной плоскости с выделенными целочисленными координатами характеристических точек фигуры или графика функции. Построение описанной окружности девяти точек для треугольников с углом 45 или 135 градусов.
статья, добавлен 25.02.2016Изучение биографии Николая Ивановича Лобачевского - выдающегося российского математика. Геометрические исследования ученого по теории параллельных линий. Создание учебников по элементарной математике и алгебре. Основные аксиомы геометрии Лобачевского.
презентация, добавлен 24.02.2014Н.И. Лобачевский и его геометрия. Пятый постулат Евклида. Теорема о существовании параллельных прямых. Взаимное расположение двух прямых на плоскости Лобачевского. Практическое применение геометрии Лобачевского: теорема Пифагора, площадь треугольника.
курсовая работа, добавлен 31.10.2017