На рисунке изображен куб abcda1b1c1d1 с ребром 2a . точка m - середина ребра aa1 . определите вид многоугольника, который является сечением куба плоскостью mbc , найдите его площадь.
Доказательство утверждения проводится следующим образом. Сначала принимают предположение, что утверждение неверно, а затем доказывают, что при таком предположении было бы верно некоторое утверждение , которое заведомо неверно. Полученное противоречие показывает, что исходное предположение было неверным, и поэтому верно утверждение , которое позакону двойного отрицания равносильно утверждению .
В интуиционистской логике закон исключённого третьего не действует, поэтому такие доказательства в ней не принимаются.
Построим сумму векторов а и b и их разность. ↑АС = ↑р = ↑а + ↑b ↑DB = ↑q = ↑a - ↑b Чтобы найти угол между векторами p и q, построим вектор, равный вектору q, с началом в точке А. ∠ЕАС - искомый. Из ΔABD найдем длину вектора q по теореме косинусов: |↑q|² = AB² + AD² - 2·AB·AD·cos60° = 25 + 64 - 2·5·8·1/2 = 89 - 40 = 49 |↑q| = 7 Сумма углов параллелограмма, прилежащих к одной стороне, равна 180°, значит ∠АВС = 120°. Из ΔABС найдем длину вектора р по теореме косинусов: |↑p|² = AB² + BC² - 2·AB·BC·cos120° = 25 + 64 + 2·5·8·1/2 = 89 + 40 = 129 |↑p| = √129
Из ΔЕАС по теореме косинусов: cos α = (AE² + AC² - EC²) / (2 · AE · AC) cos α = (49 + 129 - 256) / (2 · 7 · √129) = - 78 / (14√129) = - 39√129 / 903 cos α = - 13√129/301
Доказательство утверждения проводится следующим образом. Сначала принимают предположение, что утверждение неверно, а затем доказывают, что при таком предположении было бы верно некоторое утверждение , которое заведомо неверно. Полученное противоречие показывает, что исходное предположение было неверным, и поэтому верно утверждение , которое позакону двойного отрицания равносильно утверждению .
В интуиционистской логике закон исключённого третьего не действует, поэтому такие доказательства в ней не принимаются.