Доказательство утверждения проводится следующим образом. Сначала принимают предположение, что утверждение неверно, а затем доказывают, что при таком предположении было бы верно некоторое утверждение , которое заведомо неверно. Полученное противоречие показывает, что исходное предположение было неверным, и поэтому верно утверждение , которое позакону двойного отрицания равносильно утверждению .
В интуиционистской логике закон исключённого третьего не действует, поэтому такие доказательства в ней не принимаются.
Сечение amb, площадь которого надо найти - равнобедренный треугольник с основанием ab и боковыми сторонами am и bm. Основание нам дано - это сторона основания пирамиды, равная 8. Боковые грани - равные равнобедренные треугольники. Значит углы при вершинах граней равны 36°, равны и все углы при основании граней (180°-36°):2 = 72°.
В треугольнике asm <asm=36°(дано), <sam=36°(как половина угла sac=72°) и <amb=(180°-72°)=108°. Углы ams и amc смежные. Тогда <amc=180°-108°=72° и значит треугольник amc равнобедренный и am=ac=8. Но am=bm, а ac=ab. Значит сечение - правильный треугольник и его площадь равна:
Sabm = (√3/4)*a², где а - сторона треугольника.
Итак, Sabm = (√3/4)*64 = 16√3.