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