точка А принадлежит КЕчерез точку К проведена плоскость соответственно в точках A1 Е1 выполните рисунок к заданию задачи и Найдите длину отрезка ЕЕ1 если A середина отрезка KE и AA1 =5 см
Доказательство утверждения проводится следующим образом. Сначала принимают предположение, что утверждение неверно, а затем доказывают, что при таком предположении было бы верно некоторое утверждение , которое заведомо неверно. Полученное противоречие показывает, что исходное предположение было неверным, и поэтому верно утверждение , которое позакону двойного отрицания равносильно утверждению .
В интуиционистской логике закон исключённого третьего не действует, поэтому такие доказательства в ней не принимаются.
Для начала найдем отношение ВР/РС. Для этого: Проведем BD параллельно АС. Тогда <PAC=<BDA, как накрест лежащие при параллельных прямых BD и AC и секущей АD. ∆АКМ ~ ∆BKD по двум углам (1). ∆АРС ~ ∆DРВ по двум углам (2). Из (1) BD/AM=4 и BD=4AM = 2AC. Из (2) BP/PC=2. ВМ - медиана и по ее свойствам Sabm=Scbm. Треугольники АВК и АКМ - треугольники с общей высотой к стороне ВМ. Значит Sabk/Sakm=4/1. => Sabk=Sabc*(1/2)*(4/5)=(2/5)*Sabc. Sakm=Sabc*1/(2*5)=(1/10)*Sabc. Треугольники ABP и APC - треугольники с общей высотой к стороне ВC. Значит Sabp/Sapc=2/1. => Sapc=Sabc*1/3=(1/3)*Sabc. Тогда Skpcm=Sapc-Sakm = (1/3)*Sabc-(1/10)*Sabc = (7/30)*Sabc. Sabk/Skpcm=(2/5)/(7/30)=12/7.
Доказательство утверждения проводится следующим образом. Сначала принимают предположение, что утверждение неверно, а затем доказывают, что при таком предположении было бы верно некоторое утверждение , которое заведомо неверно. Полученное противоречие показывает, что исходное предположение было неверным, и поэтому верно утверждение , которое позакону двойного отрицания равносильно утверждению .
В интуиционистской логике закон исключённого третьего не действует, поэтому такие доказательства в ней не принимаются.