В прямоугольном треугольнике АВС из вершин прямого С проведина биссектриса СЕ . Из точки Е на стороны СА и СВ опущены соответственно перпендикуляры ЕК и ЕМ . Найдите периметр четырехугольника КСМЕ если ЕК =7,5
Доказательство утверждения проводится следующим образом. Сначала принимают предположение, что утверждение неверно, а затем доказывают, что при таком предположении было бы верно некоторое утверждение , которое заведомо неверно. Полученное противоречие показывает, что исходное предположение было неверным, и поэтому верно утверждение , которое позакону двойного отрицания равносильно утверждению .
В интуиционистской логике закон исключённого третьего не действует, поэтому такие доказательства в ней не принимаются.
Угол между плоскостью основания и противолежащей вершиной другого основания - это угол ОКС. Поскольку все ребра перпендикулярны основаниям, то треугольник КОС - прямоугольный с прямым углом С. И поскольку угол ОКС = 30 градусов, то катет ОС равен половине гипотенузы ОК как катет, что лежит против угла 30 градусов. ОК = 2СО = 6*2 = 12 см. Из теоремы Пифагора: CK^2 = OK^2 - OC^2, CK^2 = 12^2 - 6^2 = 144 - 36 = 108, CK = 6 корней из 6. Из правильного треугольника АВС: высота СК = 6 корней из 3, которая является также и медианой, поэтому АК = КВ = СВ/2. Из прямоугольного треугольника СКВ: угол СВК = 60 градусов как угол правильного треугольника. По теореме синусов: СК/sin(CBK) = CB/sin(CKB), CB = 12. Площадь треугольника равна 36 корней из 3 см^2. Объем призмы равен площади основания, умноженного на высоту: V = So*H = S(ABC)*OC = 108 корней из 3 см^3.
Доказательство утверждения проводится следующим образом. Сначала принимают предположение, что утверждение неверно, а затем доказывают, что при таком предположении было бы верно некоторое утверждение , которое заведомо неверно. Полученное противоречие показывает, что исходное предположение было неверным, и поэтому верно утверждение , которое позакону двойного отрицания равносильно утверждению .
В интуиционистской логике закон исключённого третьего не действует, поэтому такие доказательства в ней не принимаются.