Доказательство утверждения проводится следующим образом. Сначала принимают предположение, что утверждение неверно, а затем доказывают, что при таком предположении было бы верно некоторое утверждение , которое заведомо неверно. Полученное противоречие показывает, что исходное предположение было неверным, и поэтому верно утверждение , которое позакону двойного отрицания равносильно утверждению .
В интуиционистской логике закон исключённого третьего не действует, поэтому такие доказательства в ней не принимаются.
AB (1 -(-3) ; 3 -1) ⇔AB (4 ; 2) ;
AC (5 -(-3) ; - 5 -1) ⇔AC (8 ; -6) .
модули этих векторов :
| AB | =√(4² +2²) =√20 = 2√5 ;
| AC | = √(8² +(-6)² ) =√(64 +36) = √100 =10 .
По определению скалярного произведения двухх векторов :
AB*AC =| AB |* | AC | *cos (AB^ AC) =2√5 *10cos∠A= 20√5cos∠A
С другой стороны скалярное произведение равно сумме произведений соответствующих координат векторов( эта теорема)
AB*AC = 4*8 +2*(-6) =32 -12 = 20.
Следовательно : 20√5cos∠A= 20 ⇒ cos∠A= 1/√5 .
ответ: (√5) / 5 .