Доказательство утверждения проводится следующим образом. Сначала принимают предположение, что утверждение неверно, а затем доказывают, что при таком предположении было бы верно некоторое утверждение , которое заведомо неверно. Полученное противоречие показывает, что исходное предположение было неверным, и поэтому верно утверждение , которое позакону двойного отрицания равносильно утверждению .
В интуиционистской логике закон исключённого третьего не действует, поэтому такие доказательства в ней не принимаются.
а) По определению проекция фигуры на плоскость - совокупность проекций всех точек этой фигуры на плоскость проекции.
Точка К проецируется в основание перпендикуляра КА, т.е. в т. А.
Т. В и С ∆ КВС лежат в плоскости ромба. Через две точки можно провести только одну прямую. ⇒
Все точки сторон ∆ КВС проецируются на стороны ∆ АВС. ⇒
∆ АВС проекция ∆ КВС на плоскость ромба АВCД.
б) КА перпендикулярен плоскости ромба, следовательно, перпендикулярен любой прямой, проходящей в этой плоскости через т. А. ⇒КА⊥АС
Диагонали ромба взаимно перпендикулярны.⇒АС⊥ВД
АО - высота равнобедренного ∆ АВД. Из ∆ АОВ по т.Пифагора АО=√(B²-BO²)=√(25-9)=4
Расстояние от точки до прямой равно длине проведенного между ними перпендикуляра.
КО по т. о 3-х перпендикулярах перпендикулярен ВД.
Из прямоугольного ∆ КАО расстояние КО=√(КА²+АО*)=√(9+16)=5 см