Даны точки А(3;-4;5),В(0;-1;6),С(2;0;-5). Найдите координаты векторов ВА,СА , 4АВ и -5СВ их длины и координаты точки М, если она середина АС.

Начнём с того, что cos 70 градусов число иррациональное и равно приблизительно 0.34 Из определения косинуса следует, что
Cos 70 = AH/AB => AB = AH/cos 70 =
приблизительно 56 см. Из треугольника ABH по теореме Пифагора находим BH => BH^2 =
AB^2-AH^2= 53 см. Из подобия прямоугольных треугольников следует, что высота BH равна среднему геометрическому проекций катеров на гипотенузу, т.е BH = корень квадратный из AH * HC => HC = 147 см. Гипотенуза AC =
AH+HC=166 см. Находим площадь данного треугольника: S= (53*166)/2=4400 см^2. Все величины являются приблизительными

Доказательство утверждения  проводится следующим образом. Сначала принимают предположение, что утверждение  неверно, а затем доказывают, что при таком предположении было бы верно некоторое утверждение , которое заведомо неверно. Полученное противоречие показывает, что исходное предположение было неверным, и поэтому верно утверждение , которое позакону двойного отрицания равносильно утверждению .

В интуиционистской логике закон исключённого третьего не действует, поэтому такие доказательства в ней не принимаются.