Доказательство утверждения проводится следующим образом. Сначала принимают предположение, что утверждение неверно, а затем доказывают, что при таком предположении было бы верно некоторое утверждение , которое заведомо неверно. Полученное противоречие показывает, что исходное предположение было неверным, и поэтому верно утверждение , которое позакону двойного отрицания равносильно утверждению .
В интуиционистской логике закон исключённого третьего не действует, поэтому такие доказательства в ней не принимаются.
Доказательство утверждения проводится следующим образом. Сначала принимают предположение, что утверждение неверно, а затем доказывают, что при таком предположении было бы верно некоторое утверждение , которое заведомо неверно. Полученное противоречие показывает, что исходное предположение было неверным, и поэтому верно утверждение , которое позакону двойного отрицания равносильно утверждению .
В интуиционистской логике закон исключённого третьего не действует, поэтому такие доказательства в ней не принимаются.
Находим координаты векторов и модули (вложение 1).
Находим модуль вектора а, скалярное произведение векторов а и b, угол между векторами c и d (вложение 2).
Приводим более подробное решение по определению угла меду векторами c и d (пусть они записаны как a и b).
Найдем скалярное произведение векторов:
a · b = ax · bx + ay · by + az · bz = 2 · 5 + (-9) · (-1) + (-10) · 5 = 10 + 9 - 50 = -31 .
Найдем длины векторов:
|a| = √ax2 + ay2 + az2 = √22 + (-9)2 + (-10)2 = √4 + 81 + 100 = √185 .
|b| = √bx2 + by2 + bz2 = √52 + (-1)2 + 52 = √25 + 1 + 25 = √51 .
Найдем угол между векторами:
cos α = (a · b ) / |a||b| .
cos α = -31 / (√185*√51) =
= - 31/√9435 = -31*√9435 / 9435 ≈ -0.319146.