Доказательство утверждения проводится следующим образом. Сначала принимают предположение, что утверждение неверно, а затем доказывают, что при таком предположении было бы верно некоторое утверждение , которое заведомо неверно. Полученное противоречие показывает, что исходное предположение было неверным, и поэтому верно утверждение , которое позакону двойного отрицания равносильно утверждению .
В интуиционистской логике закон исключённого третьего не действует, поэтому такие доказательства в ней не принимаются.
В задании, надо догадываться, требуется найти объём второй пирамиды.
Находим площадь основания АВС по формуле:
So = absin C = 12*18*sin 60° = 216*(√3/2) = 108√3 кв. ед.
Высота ho из точки А на ВС равна:
ho = 2So/BC = 2*108√3/12 = 18√3.
Так как сечение параллельно SA, то оно вертикально, поэтому высота второй пирамиды равна половине ho, то есть hп = 9√3.
Площадь сечения (а это прямоугольник со сторонами как средними линиями четырёх граней первой пирамиды) находим так:
Sп = (8√3/2)*(12/2) = 24√3 кв. ед.
Получаем ответ: Vп = (1/3)Sп*hп = (1/2)*24√3*9√3 = 216 куб. ед.
