В геометрии, следствие представляет собой утверждение, которое выводится из других более общих утверждений, называемых посылками. это логическое утверждение, которое следует из уже доказанных или известных ранее фактов и правил.
Доказательство следствия
В математике параллельные прямые принято обозначать с помощью знака параллельности « ». Например, тот факт, что прямая параллельна прямой обозначается следующим образом:... Два отрезка называют параллельными, если они лежат на параллельных прямых. Например, на рисунке параллельными являются отрезки и , т. Что такое параллели на карте?
Линия, соединяющая точки с одинаковыми широтами, получила название параллели.
Некоторые задачи могут требовать применения формул или уравнений для нахождения решения. И наконец, следствия в геометрии могут иметь широкий спектр применения — от решения простых задач на построение геометрических фигур до более сложных задач на вычисление площади или объема. Каждая геометрическая задача требует индивидуального подхода и выбора наиболее подходящего следствия для ее решения. Необходимость знания базовых принципов геометрии и понимания основных понятий; Умение видеть связь между разными геометрическими фигурами; Знание других математических тем, таких как алгебра или тригонометрия; Выбор наиболее подходящего следствия для решения конкретной задачи. Все эти факторы являются спецификой применения следствий в геометрических задачах. Чем больше опыта и знаний имеет человек в области геометрии, тем легче ему будет применять следствия и решать задачи. Следствие как следствие других геометрических понятий Например, из теоремы о равенстве треугольников следует следствие о равенстве соответствующих сторон и углов. Это следствие можно использовать для доказательства других фактов, например, равенства двух треугольников.
Важно отметить, что следствия являются самостоятельными утверждениями, так как они могут быть выведены из изначальных понятий и теорем, но не могут быть использованы для доказательства этих понятий и теорем. Пример: Если две прямые пересекаются, то вертикальные углы, образованные этими прямыми, равны. Польза использования следствия при решении геометрических задач Использование следствий позволяет значительно упростить процесс решения задач и сэкономить время. Вместо того чтобы проводить долгие выкладки и доказательства, можно просто применить известное следствие, которое уже доказано и проверено математиками. Это особенно полезно при решении сложных геометрических задач, где требуется много шагов и рассуждений. Таким образом, использование следствий в геометрии является неотъемлемой частью решения различных геометрических задач. Оно позволяет упростить процесс решения, экономить время, упрощать конструкции и развивать логическое мышление. Важно уметь применять следствия правильно и аргументированно, чтобы достичь правильного решения задачи. Вопрос-ответ: Что такое особенность в геометрии?
В геометрии особенность — это точка или место, где что-то особенное или необычное происходит внутри фигуры или на ее границе. Особенности могут быть разных типов и иметь различные свойства. Какие примеры особенностей в геометрии можно привести? Примеры особенностей в геометрии включают вершины многоугольника, пикы графиков функций, седловые точки поверхностей и др. Различные фигуры и поверхности могут иметь разные особенности, которые определяют их свойства и характеристики.
Итак, восстановим к прямой из точек A и B два перпендикуляра. На перпендикуляре, выходящим из точки В, восстановим еще один перпендикуляр из точки C. Перпендикуляры, восстановленные из точек А и С, пересекутся в некой точке D. Такое построение справедливо как в геометрии Евклида, так и в геометрии Лобачевского. Таким образом, в силу нашего построения, мы получим четырехугольник с тремя прямыми углами и одним углом меньшим или равным прямому. Угол больше прямого не допускает Первая теорема Лежандра. Геометрия Лобачевского этого не отрицает. Возьмем точку О, в середине отрезка BC. Построим окружность c центром в точке O и радиусом OB. Построим окружность с центром в точке O, но с радиусом меньше, чем OB. Таким образом, мы имеем две окружности с единым центром и прямую проходящую через этот центр. Такая прямая делит окружность на две равные части. Пользуясь рассуждениями данной статьи, можно видеть, что будут равны нулю углы между отрезками, лежащими на прямой BC. Такие построения можно провести на всех сторонах четырехугольника. Теперь, исходя из того, что угол между любыми отрезками на любой стороне четырехугольника равен нулю и суммируя углы между шестью отрезками в точках A, B и C, получим сумму углов равную трем прямым, то есть 270 градусов. Следовательно, отрезки на сторонах CD и DA повернуты относительно друг друга на 270 градусов. Нетрудно заметить, что до полного оборота на плоскости не хватает 90 градусов, то есть прямого угла. Из этого следует, что угол четырехугольника в точке D есть прямой угол. Соответственно, сумма углов в четырехугольнике с тремя прямыми углами по построению, будет равна четырем прямым. Любая диагональ делит четырехугольник с четырьмя прямыми углами на два треугольника с суммой углов в два прямых. UPD2: Под спойлером рассуждения не имеющие отношения к доказательству, а именно об определении прямой линии и рамках нашей логики. Если читатель считает предыдущее доказательство наивным, то лучше не заглядывать под спойлер, чтобы более не раздражаться и не загонять карму автора ниже плинтуса. Многословие В данной части, на правах автора, позволю себе высказать некоторые мысли напрямую или косвенно связанные с проблемой 5-го постулата Евклида. Этот раздел, возможно, будет спорным, но доказательство, приведенное выше, не зависит от идей приведенных ниже. Определение прямой линии, как причина проблемы с доказательством 5-го постулата Евклида. Казалось бы такое простое доказательство, данное выше. Так в чем же причина того, что 5-й постулат остается спорным до сих пор?
Ослепительный дизайн Math Line. Scholastic Inc. Ruiz, A. Редакция Технологии ЧР. Вилория, Н. Плоская аналитическая геометрия. Венесуэльская редакция C.
Что такое аксиома, теорема и доказательство теоремы
Ответ или решение2 Федосей Князев По своей сути следствие является выводом, неким заключением, суждением, которое вывели из других суждений. В геометрии следствием является заключение, полученное из аксиомы, теоремы, либо определения.
Следствие в геометрии предназначено для того, чтобы существеннее раскрыть суть содержание суждений, из которых это суждение было выведено. Аноним Следствие вытекает из аксиом, теорем или определений и служит для того что что бы полнее раскрыть их содержание Знаешь ответ?
Следствие 2. Завершить элементарный договор линейного рисунка с приложениями к искусству. Хосе Матас. Кинси Л. Симметрия, форма и пространство: введение в математику через геометрию. Тригонометрия и аналитическая геометрия. Пирсон Образование.
Митчелл, C.
Прямая линия может быть как угодно «искривлена», и если у нас нет аргументов считать это абсурдным, то у нас и нет доказательной базы для объявления это абсурдом. Всегда можно будет апеллировать к тому, что «прямота» прямой линии — это наше бытовое представление о ней. Что, например мы не видим «кривизну» в силу ограниченности наблюдаемого нами пространства и если неограниченно продолжить эту прямую линию тогда мы могли бы увидеть ее «кривизну». Определение через ось тела вращения — это скорее умозрительное описание предмета, не дающее работоспособных правил к применению.
Это не более чем бытовое представление о прямой линии, по сути равнозначное определению прямой двумя точками. Этим определением мы ничего не сможем ни доказать, ни опровергнуть. Определение типа «Прямая — это геометрическое место точек равноудаленных от двух данных», довольно строго описывает прямую, но крайне тяжело применимо для целей доказательства в случаях, где требуется опровергнуть возможную «кривизну» прямой. Евклид дал такое определение прямой линии в переводе Д. Мордухай-Болтовского : «Прямая линия есть та, которая равно расположена по отношению к точкам на ней».
В силу своей неясности, зачастую, вместе с переводом данного определения, оно приводиться в оригинальном виде. Возможно в надежде, что читатели сами смогут понять его витиеватость. Об этом говорит обширность комментариев даваемых к этому Определению. Но в любом случае оно также неприменимо для целей доказательства или опровержения чего либо. Это просто бытовое представление о прямой линии, тем более не совсем ясное.
Лежандр признает: «Не подлежит сомнению, что безуспешность всех попыток вывести эту теорему о сумме углов треугольника из одних только наших сведений об условиях равенства треугольников, содержащихся в I книге Евклида, имеет свой источник в несовершенстве нашей повседневной речи и в трудности дать хорошее определение прямой линии». Лобачевский не соглашается с этим заявлением. Ни сколько не умаляя ни труда, ни заслуг Лобачевского в поисках истины о 5-м Постулате Евклида, автору представляется, что именно эта причина, замеченная Лежандром, и есть суть проблемы. Искривление пространства и прочие физические сущности При рассуждениях о 5-м постулате Евклида, некоторые популяризаторы уходят в рассуждения об искривлении пространства, об многомерности пространства невидимой бытовому наблюдателю и прочих головокружительных сущностях. Так вот, что касается геометрии, как предмета рассматриваемого Евклидом, как и его великими последователями включая и Лежандра и Лобачевского, ни о каком физическом пространстве речи у них не идет.
Геометрия Евклида — это чисто логическая абстракция, где пространство не обладает какими либо физическими параметрами. Соответственно и привлечение, каких либо физических идей в геометрии Евклида неуместно. Логика и законы сохранения окружающего нас мира. Бесконечность Наша логика строится на принципах законов сохранения. Эти законы, например закон сохранения энергии, или закон сохранения импульса, окружают человека во всем наблюдаемом человеком пространстве.
В соответствии с этими законами и строиться логические цепи во всех рассуждениях человека. В том числе все науки базируются на этих логических принципах. Попробую пояснить.
Доказательство следствия
В геометрии действует принцип: «Не верь глазам своим, пока не докажешь утверждение с помощью рассуждений». Определения пересекающихся и параллельных в пространстве прямых, простейшие следствия из аксиом стереометрии. Ответил (1 человек) на Вопрос: Что такое следствие в геометрии?. Решение по вашему вопросу находиться у нас, заходи на Школьные Следствие – это заключение, полученное из аксиомы, теоремы или определения. Урок наглядной геометрии "Следствие ведут знатоки геометрии".
Простейшие следствия из аксиом стереометрии
Одним из примеров следствия в геометрии может быть теорема о равенстве углов. следствие это результат, который очень часто используется в геометрии для обозначения. следствие это результат, который очень часто используется в геометрии для обозначения. это одно из следствий определений или теорем, являющееся, по существу, некоторым утверждением о данном объекте. Следствие геометрия — это раздел математики, который изучает свойства и характеристики фигур и пространственных объектов.
Геометрия. 8 класс
Кинси Л. Симметрия, форма и пространство: введение в математику через геометрию. Тригонометрия и аналитическая геометрия. Пирсон Образование. Митчелл, C. Ослепительный дизайн Math Line. Scholastic Inc. Ruiz, A.
Следствия в геометрии играют важную роль, так как они помогают нам лучше понять строение фигур, а также устанавливать связи между различными математическими концепциями. Благодаря следствиям мы можем применять уже известные факты для решения новых геометрических задач. Процесс вывода следствий в геометрии требует логического мышления и умения применять математические методы для анализа и решения задач.
Для доказательства следствий используются различные методы, включая прямые выводы, контрапозиции, доказательства от противного и метод математической индукции. Одним из примеров следствия в геометрии может быть теорема о равенстве углов, образованных параллельными прямыми и пересекаемой ими трансверсальной.
Поделиться: Что является следствием в геометрии? Обычно в геометрии следствия появляются после доказательства теоремы. Поскольку это прямой результат уже доказанной теоремы или уже известного определения, следствия не требуют доказательств. Эти результаты очень легко проверить, и поэтому их демонстрация опущена.
Следствия - это термины, которые обычно встречаются в основном в области математики. Но это не ограничивается использованием только в области геометрии. Следствие слова происходит от латинского Corollarium, и широко используется в математике, имея большее проявление в области логики и геометрии. Когда автор использует следствие, он говорит, что этот результат может быть обнаружен или получен читателем самостоятельно, используя в качестве инструмента некоторую теорему или определение, объясненное ранее..
Что такое следствие в геометрии?
Автор: audrina Ответ: По своей сути следствие является выводом, неким заключением, суждением, которое вывели из других суждений.
Следствие (математика)
Следствие в геометрии — это вывод или утверждение, которое следует из уже доказанного факта или теоремы. Оно позволяет нам использовать уже известные результаты для получения новых знаний о геометрических объектах и их свойствах. Следствия в геометрии играют важную роль, так как они помогают нам лучше понять строение фигур, а также устанавливать связи между различными математическими концепциями. Благодаря следствиям мы можем применять уже известные факты для решения новых геометрических задач. Процесс вывода следствий в геометрии требует логического мышления и умения применять математические методы для анализа и решения задач.
Слово "Признак" употребляют для замены выражения "достаточное условие".
Например, признак параллелограмма: четырёхугольник, противоположные стороны которого попарно равны. В математическом анализе слово "признак" употребляется довольно часто, например, признак Даламбера для бесконечных рядов с положительными членами.
Доказательство от противного: задача на логику Задача. У маляра есть банки только с желтой и фиолетовой красками. Банки с желтой краской всегда большие. Есть маленькая банка с краской. Докажите, что краска в ней фиолетовая.
Давайте покажем формальную схему, как устроено доказательство от противного, на примере простой логической задачи. По условию известно, что большой банка может быть, только если краска в ней желтая. Но это невозможно, поскольку заведомо также известно, что банка-икс маленькая. Банка фиолетовая. О противоречиях Внимательный читатель мог заметить странность, связанную с противоречиями. Изначально, когда речь шла про следствия, мы подчеркнули важность их доказательства, дабы исключить противоречие с аксиомой-основой или теоремой-основой. Следствие не может противоречить аксиоме, из которой оно выводится, и это факт.
Однако при этом мы указывали, что если в ходе доказательства следствия не обнаруживается противоречия, то следствие является ошибочным.
Построим еще одну окружность, но с радиусом R2 больше чем у первой окружности R1. Точки пересечения прямой ab со второй окружностью C и D, также разделят эту окружность на две равные части, и длина двух дуг будет равна друг другу.
Теперь, можно заметить, что угол между лучом AC проходящим через точки A и C и лучом BD проходящим через точки B и D равен 180 градусов или половина полного угла окружности. Если же считать отрезки между точками на прямой ab ненаправленными, то угол между ними будет равен, или 180 градусов, или ноль, что одно и тоже в данном случае. Так как можно построить окружность любого радиуса, из любой точки, лежащей на произвольной прямой, то отсюда следует вывод, что в любых точках прямой, угол между любыми отрезками, лежащими на этой прямой, будет равен 180 градусов или 0, что в данном случае равнозначно.
UPD: Комментарий от alexxisr : «А где доказательство, что прямоугольник вобще возможно построить без 5 аксиомы? Возможно не существует четырехугольников со всеми прямыми углами - тогда в треугольнике сумма углов не 180 градусов. Но… вынужден признать, что комментарий стоящий, поэтому переписываю раздел о построении прямоугольника.
Сумма углов в треугольнике. В случае с текущим доказательством, самым простым способом проверки суммы углов в треугольнике, будет построение четырехугольника с тремя прямыми углами и определение величины четвертого угла. Если четвертый угол окажется прямым, то соответственно сумма углов в четырехугольнике будет равна 360 градусов.
Разделив данный четырехугольник любой диагональю, мы получим два треугольника с суммами углов 180 градусов, то есть суммой двух прямых. Итак, восстановим к прямой из точек A и B два перпендикуляра. На перпендикуляре, выходящим из точки В, восстановим еще один перпендикуляр из точки C.
Перпендикуляры, восстановленные из точек А и С, пересекутся в некой точке D. Такое построение справедливо как в геометрии Евклида, так и в геометрии Лобачевского. Таким образом, в силу нашего построения, мы получим четырехугольник с тремя прямыми углами и одним углом меньшим или равным прямому.
Угол больше прямого не допускает Первая теорема Лежандра. Геометрия Лобачевского этого не отрицает. Возьмем точку О, в середине отрезка BC.
Построим окружность c центром в точке O и радиусом OB. Построим окружность с центром в точке O, но с радиусом меньше, чем OB. Таким образом, мы имеем две окружности с единым центром и прямую проходящую через этот центр.
Такая прямая делит окружность на две равные части. Пользуясь рассуждениями данной статьи, можно видеть, что будут равны нулю углы между отрезками, лежащими на прямой BC. Такие построения можно провести на всех сторонах четырехугольника.
Теперь, исходя из того, что угол между любыми отрезками на любой стороне четырехугольника равен нулю и суммируя углы между шестью отрезками в точках A, B и C, получим сумму углов равную трем прямым, то есть 270 градусов.
Что такое аксиома, теорема и доказательство теоремы
Следствие геометрия – это раздел математики, который изучает пространственные свойства следа, оставленного движущимся телом на другом теле или. Что такое следствие в геометрии Следствие — утверждение, которое выводится непосредственно из аксиомы или теоремы. Следствие геометрия – это раздел математики, который изучает пространственные свойства следа, оставленного движущимся телом на другом теле или. Видео автора «Онлайн-школа «Синергия»» в Дзене: Рассказываем за 10 минут в формате увлекательного интерактивного. Занятие ведет преподаватель онлайн-школы «Синергия» Козлова Анастасия. Следствие геометрия – это раздел математики, который изучает пространственные свойства следа, оставленного движущимся телом на другом теле или. Видео автора «Онлайн-школа «Синергия»» в Дзене: Рассказываем за 10 минут в формате увлекательного интерактивного. Занятие ведет преподаватель онлайн-школы «Синергия» Козлова Анастасия.
Что такое следствие в геометрии?
Через две параллельные прямые можно провести плоскость, и притом только одну. Однако таких плоскостей может быть несколько. Докажем, что такая плоскость всегда одна. По Аксиоме о трёх точках они определяют плоскость однозначно. Способы задания плоскости Итого плоскость однозначно задаётся любым из четырёх способов: Тремя точками, не лежащими на одной прямой Аксиома трёх точек ; Прямой и не лежащей на ней точкой Теорема о прямой и точке ; Двумя пересекающимися прямыми; Двумя параллельными прямыми. Есть и другие способы задать плоскость.
Но, во-первых, эти четыре способа прямо следуют из аксиом и не требуют дополнительного обоснования. Можно написать в решении «Две пересекающиеся прямые однозначно задают плоскость» — и этого будет достаточно. А во-вторых, для большинства стереометрических задач хватит и этих четырёх приёмов. И прямо сейчас мы проверим это в задачах на доказательство. Решение задач Перед вами шесть на доказательство.
Из этих принципов можно вывести уравнения движения, траектории которых являются экстремалями, и обратно — они сами являются следствием этих уравнений. В отличие от них и других вариационных принципов физики сформулированный выше принцип минимума диссипации энергии не является строго обоснованным и вряд ли может быть строго обоснован в традиционном смысле этого слова. Вот почему я его и отнес к категории «эмпирических обобщений», тем более что примеров, ему противоречащих, я не знаю. Моисеев, Человек и ноосфера, 1990 Гипотезы второго типа суть допущения относительно исследуемых объектов.
Такие допущения либо вообще невозможно проверить, либо сами по себе противоречат эмпирическим фактам. Принятие их оправдывается тем, что благодаря им становится возможной дедукция в данной области науки и получаются нужные следствия. Эти допущения в своей основе суть абстракция, т. Например, все объекты данного класса могут приниматься как различающиеся только по положению в пространстве, как абсолютно независимые друг от друга и т.
Очевидно, намерения исследователя не имеют значений истинности. Их нельзя подтвердить или опровергнуть. Их можно только оправдать или нет в зависимости от их последствий. И хотя они сами по себе могут быть заведомо ложными, неопределенными и даже непроверяемыми, получаемые с их помощью следствия могут считаться истинными.
Утверждение справедливо и для многочленов с вещественными коэффициентами, так как всякое вещественное число является комплексным с нулевой мнимой частью. Конструктивное доказательство — доказательство, в котором существование математического объекта доказывается путем прямого построения — Теорема Жордана — классическая теорема геометрии известная благодаря простоте формулировки и чрезвычайной сложности доказательства. Впервые приведена в «Началах» Евклида... Другими словами, гипотеза предполагает, что мощность континуума — наименьшая, превосходящая мощность счётного множества, и «промежуточных» мощностей между счетным множеством и континуумом нет, в частности, это предположение означает, что для любого бесконечного множества действительных...
Доказательство «от противного » лат. Этот способ доказательства основывается на истинности закона двойного отрицания в классической логике. Алгоритмическая разрешимость — свойство формальной теории обладать алгоритмом, определяющим по данной формуле, выводима она из множества аксиом данной теории или нет. Теория называется разрешимой, если такой алгоритм существует, и неразрешимой, в противном случае.
Вопрос о выводимости в формальной теории является частным, но вместе с тем важнейшим случаем более общей проблемы разрешимости. Теорема существования — утверждение, которое устанавливает, при каких условиях существует решение математической задачи или математический объект, например производная, неопределенный интеграл, определенный интеграл, решение уравнения и т. При доказательстве теорем существования используются сведения из теории множеств. Теоремы существования играют очень важную роль в различных приложениях математики, например при математическом моделировании различных явлений и процессов.
Математическая модель... Задачи тысячелетия — семь открытых математических проблем, определённых Математическим институтом Клэя в 2000 году как «важные классические задачи, решение которых не найдено вот уже в течение многих лет», за решение каждой из которых обещано вознаграждение в 1 млн долларов США. Существует историческая параллель между задачами тысячелетия и списком проблем Гильберта 1900 года, оказавшим существенное влияние на развитие математики в XX веке; из 23 проблем Гильберта большинство уже решены, и только... Неконструктивное доказательство неэффективное доказательство — класс математических доказательств, доказывающих лишь существование в заданном как правило, бесконечном множестве элемента, удовлетворяющего заданным свойствам, но не дающее никакой информации о других свойствах элемента, то есть не позволяющие ни предъявить его, ни приблизительно описать.
Доказательства, которые доказывают существование элемента, предъявляя способ получения этого элемента, называются конструктивными. Основания математики — математическая система, разработанная с целью обеспечить вывод математического знания из небольшого числа чётко сформулированных аксиом с помощью логических правил вывода, тем самым гарантируя надёжность математических истин. Основания математики включают в себя три компонента. Программа Гильберта в математике была сформулирована немецким математиком Давидом Гильбертом в начале 20-го века.
Гильберт предположил, что согласованность более сложных систем, таких как реальный анализ, может быть доказана в терминах более простых систем. В конечном счете, непротиворечивость всей математики может быть сведена к простой арифметике. Теория доказательств — это раздел математической логики, представляющий доказательства в виде формальных математических объектов, осуществляя их анализ с помощью математических методов. Доказательства обычно представляются в виде индуктивно определённых структур данных, таких как списки и деревья, созданных в соответствии с аксиомами и правилами вывода формальных систем.
Таким образом, теория доказательств является синтаксической, в отличие от семантической теории моделей. Вместе с теорией моделей... В связи с интуитивностью исходного понятия алгоритмической вычислимости, данный тезис носит характер суждения об этом понятии и его невозможно строго доказать или опровергнуть. Перед точным определением вычислимой функции математики часто использовали неофициальный термин...
Парадоксы импликации — это парадоксы, возникающие в связи с содержанием условных утверждений классической логики. Главная функция этих утверждений — обоснование одних утверждений ссылкой на другие. Основная теорема англ. Hauptsatz — математическая теорема, получившая особый статус в связи с ключевой ролью для развития какой-либо из областей математики.
Такой статус отражает в первую очередь значение для той или иной отрасли, при этом не обязательно он связан со сложностью или элементарностью формулировки или доказательства. Восьмая проблема Гильберта — одна из проблем, поставленных Давидом Гильбертом в его докладе на II Международном Конгрессе математиков в Париже в 1900 году. Восьмая проблема Гильберта состоит из двух задач, относящихся к теории простых чисел.
Некоторые из них мы будем решать напрямую — через аксиомы и теоремы. Другие докажем методом «от противного» — очень рекомендую освоить его. Это полезный приём для контрольных и экзаменов.
По теореме о прямой и точке существует плоскость, проходящая через эту прямую и точку, и притом только одна. Получили противоречие с условием задачи. Утверждение доказано. Это задача с открытым вопросом, которая требует исследования. Большинство учеников, читая эту задачу в первый раз, впадают в ступор и не понимают, что с ней делать. В этих случаях помогает простая картинка, которую мы и нарисовали в самом начале решения.
Когда картинка готова, остаётся лишь рассматривать разные варианты и проверять, не противоречат ли они исходному условию. Это классический «метод перебора», который прекрасно работает и в алгебре, и в геометрии.
Если данное утверждение справедливо, то верен и 5-й постулат Евклида. Это доказывается с помощью окружности и прямой проведенной через центр данной окружности. Подробнее Если провести прямую линию через центр окружности, то эта прямая разделит окружность на две равные части.
Такое утверждение представляется вполне очевидным. Действительно, если бы какая-нибудь из разделённых частей окружности была больше по площади или по длине дуги, то мы были бы вынуждены предоставить аргументацию того, чем вызвано наше предпочтение той или иной из частей. Будь то искривление пространства или еще какая-нибудь другая идея — все они выходят за рамки логической геометрии. Так и в «Началах» Евклида есть определение под номером 17. В переводе Д.
Мордухай-Болтовского оно звучит так: «Диаметр же круга есть какая угодно прямая, проведенная через центр и ограничиваемая с обеих сторон окружностью круга, она же рассекает круг пополам» Ни у одного из критиков Евклида данное определение не вызвало сомнений, так как оно представляется довольно очевидным. Иначе, мы должны были бы определить предпочитаемую сторону, лежащую по ту ли иную сторону от этой прямой. По определению прямая ab разделит окружность на две равные части. Точки пересечения окружности и прямой будут точки A и B. Длина дуг окружности по одну и другую сторону от секущей прямой будет равна друг другу.
Построим еще одну окружность, но с радиусом R2 больше чем у первой окружности R1. Точки пересечения прямой ab со второй окружностью C и D, также разделят эту окружность на две равные части, и длина двух дуг будет равна друг другу. Теперь, можно заметить, что угол между лучом AC проходящим через точки A и C и лучом BD проходящим через точки B и D равен 180 градусов или половина полного угла окружности. Если же считать отрезки между точками на прямой ab ненаправленными, то угол между ними будет равен, или 180 градусов, или ноль, что одно и тоже в данном случае. Так как можно построить окружность любого радиуса, из любой точки, лежащей на произвольной прямой, то отсюда следует вывод, что в любых точках прямой, угол между любыми отрезками, лежащими на этой прямой, будет равен 180 градусов или 0, что в данном случае равнозначно.
UPD: Комментарий от alexxisr : «А где доказательство, что прямоугольник вобще возможно построить без 5 аксиомы? Возможно не существует четырехугольников со всеми прямыми углами - тогда в треугольнике сумма углов не 180 градусов. Но… вынужден признать, что комментарий стоящий, поэтому переписываю раздел о построении прямоугольника. Сумма углов в треугольнике. В случае с текущим доказательством, самым простым способом проверки суммы углов в треугольнике, будет построение четырехугольника с тремя прямыми углами и определение величины четвертого угла.
Если четвертый угол окажется прямым, то соответственно сумма углов в четырехугольнике будет равна 360 градусов. Разделив данный четырехугольник любой диагональю, мы получим два треугольника с суммами углов 180 градусов, то есть суммой двух прямых. Итак, восстановим к прямой из точек A и B два перпендикуляра. На перпендикуляре, выходящим из точки В, восстановим еще один перпендикуляр из точки C.