Доказательство утверждения проводится следующим образом. Сначала принимают предположение, что утверждение неверно, а затем доказывают, что при таком предположении было бы верно некоторое утверждение , которое заведомо неверно. Полученное противоречие показывает, что исходное предположение было неверным, и поэтому верно утверждение , которое позакону двойного отрицания равносильно утверждению .
В интуиционистской логике закон исключённого третьего не действует, поэтому такие доказательства в ней не принимаются.
1) треугольки АBC - равнобедренный, AB=15 см, ВС=15 см, АС=24 см, треугольник АВС - вписанный в окружность, О- описанная окружность около треугольника АВС.
2) Формула радиуса описанной окружности:
R= abc / 4S ;
2) По формуле герона S= арифметический квдратный корень из p(p-a)(p-b)(p-c);
Найдем полупериметр,
p= P/2= (a+b+c)/2 = (15+15+24)/2 = 54/2 = 27.
3) Подставим числовые значения в формулу
S= арифметический квадратный корень из 27(27-15)(27-15)(27-24) = арифметический квадратный корень из 27*12*12*3= арифметический квадратный корень из 11664 =
108 (см квадратных).
4) Найдем Радиус описанной окружности (подставим числовые значения в формулу из 2 действия):
R= (15*15*15 )/ 4*108 = 5400 / 432 = 12,5 cм.
ответи: 12,5 см.
