Доказательство утверждения проводится следующим образом. Сначала принимают предположение, что утверждение неверно, а затем доказывают, что при таком предположении было бы верно некоторое утверждение , которое заведомо неверно. Полученное противоречие показывает, что исходное предположение было неверным, и поэтому верно утверждение , которое позакону двойного отрицания равносильно утверждению .
В интуиционистской логике закон исключённого третьего не действует, поэтому такие доказательства в ней не принимаются.
Всё решение в файле. Верно заметили товарищи модераторы, что я рассматривал частный случай. Решаем для общего: Соединяем концы хорд с центром окружности, получаем 2 треугольника. 1)Радиусы равны в любом случае, еще дано равенство хорд, значит, треугольники равны по 3 сторонам. Равноудаленность показывают равные высоты а если треугольники равны, то равны и их соответственные элементы, к высотам это так же относится. Ч.т.д. 2)Радиусы по-прежнему равны. Здесь рассматриваем уже прямоугольные треугольники, на которые разбивают высоты наших треугольников (они же биссектрисы и медианы в связи с тем, что треугольники равнобедренные). Получается, что все 4 треугольника равны между собой по гипотенузе (радиус) и катету (высоте), а значит, что и "большие" треугольники равны между собой, т.к. составляющие их геометрические фигуры соответственно равны. А это, в свою очередь, значит, что в этих треугольниках все соответственные элементы равны, в том числе и хорды окружности, ч.т.д.
Доказательство утверждения проводится следующим образом. Сначала принимают предположение, что утверждение неверно, а затем доказывают, что при таком предположении было бы верно некоторое утверждение , которое заведомо неверно. Полученное противоречие показывает, что исходное предположение было неверным, и поэтому верно утверждение , которое позакону двойного отрицания равносильно утверждению .
В интуиционистской логике закон исключённого третьего не действует, поэтому такие доказательства в ней не принимаются.
Верно заметили товарищи модераторы, что я рассматривал частный случай. Решаем для общего:
Соединяем концы хорд с центром окружности, получаем 2 треугольника.
1)Радиусы равны в любом случае, еще дано равенство хорд, значит, треугольники равны по 3 сторонам. Равноудаленность показывают равные высоты а если треугольники равны, то равны и их соответственные элементы, к высотам это так же относится. Ч.т.д.
2)Радиусы по-прежнему равны. Здесь рассматриваем уже прямоугольные треугольники, на которые разбивают высоты наших треугольников (они же биссектрисы и медианы в связи с тем, что треугольники равнобедренные). Получается, что все 4 треугольника равны между собой по гипотенузе (радиус) и катету (высоте), а значит, что и "большие" треугольники равны между собой, т.к. составляющие их геометрические фигуры соответственно равны. А это, в свою очередь, значит, что в этих треугольниках все соответственные элементы равны, в том числе и хорды окружности, ч.т.д.