Доказательство утверждения проводится следующим образом. Сначала принимают предположение, что утверждение неверно, а затем доказывают, что при таком предположении было бы верно некоторое утверждение , которое заведомо неверно. Полученное противоречие показывает, что исходное предположение было неверным, и поэтому верно утверждение , которое позакону двойного отрицания равносильно утверждению .
В интуиционистской логике закон исключённого третьего не действует, поэтому такие доказательства в ней не принимаются.
Есть 4 вида:
Сумма двух векторов.
Дан вектор а и вектор b. Если от произвольной точки А отложить вектор АВ, равный вектору а, затем от точки В отложим вектор ВС, равный вектору b. Полученный вектор АС - это сумма векторов а и b. Это правило сложения векторов называется правилом треугольника.
Сумма векторов обозначается вектор а + вектор b.
Для любого вектора а справедливо равенство вектор а + нулевой вектор=вектор а.
Правило треугольника можно сформулировать и по другому, если А, В, С - произвольные точки, то вектор АВ + вектор ВС = вектор АС.
Законы сложения векторов. Правило параллелограмма.
Для любых векторов а, b и с справедливы равенства:
1. вектор а + вектор b = вектор b + вектор а (переместительный закон)
2. (вектор а + вектор b)+вектор с = вектор а + (вектор b+ вектор с) (сочетательный закон).
Правило параллелограмма: чтобы сложить неколлинеарные векторы а и b, нужно отложить от какой - нибудь точки А вектор АВ=вектору а и вектор AD=вектору b и построить параллелограмм. Тогда вектор АС = вектор а + вектор b.
Сумма нескольких векторов.
Сложение нескольких векторов производится следующим образом: первый вектор складывается со вторым, затем их сумма складывается с третьим вектором и т. д. Сумма нескольких векторов не зависит от того, в каком порядке они складываются.
Правило многоугольника: если А1,А2,...,Аn - произвольные точки плоскости, то вектор А1А2+вектор А2А3+...+векторАn-1An=вектор А1Аn
Вычитание векторов.
разностью векторов а и b называется такой вектор, сумма которого с вектором b равна вектору а. Таким образом, вектор а - вектор b = вектор а + вектор (-b).
Вектор -b - противоположный вектор, вектору b. Противоположные вектора - это вектора, которые имеют равные длины, но противоположно направленные.
Обозначается разность: вектор а - вектор b.
K(0,0,0) M(0,1,0) P(1,0,0) K1(0,0,1) этого достаточно, остальные вершины для определения куба не важны - они "сами собой" занимают своё место M1(0,1,1) N(1,1,0) P1(1,0,1) N1 (1,1,1) (разумеется, таким образом я определил систему координат XYZ)
Все это преамбула, "подготовка площадки". Вот теперь решение.
Пусть точкам присвоены ДОПОЛНИТЕЛЬНЫЕ обозначения
K1 <=> C; M <=> D; P <=> A; N1 <=> B;
тогда ABCD - правильный тетраэдр. У него все грани - равносторонние треугольники.
Плоскость ACD - это плоскость, проходящая через точки (1,0,0) (0,1,0) и (0,0,1), её уравнение x + y + z = 1;
то есть нормальный вектор (1,1,1).
Плоскость, проходящая через точки C(0,0,1) B(1,1,1) и E(1/2,1/2,0)
имеет еще более простое уравнение x = y;
нормальный вектор (1, -1, 0)
угол между плоскостями равен углу между нормальными векторами, то есть надо найти угол между векторами (1,1,1) и (1,-1,0); их скалярное произведение равно 0, значит они перпендикулярны.
Между прочим, это можно было заметить сразу, поскольку диагональное сечение куба - плоскость BCE содержит прямую, перпендикулярную плоскости ACD - это AB, вектор AB совпадает с вектором, нормальным к ACD - это (1,1,1)