Мы хотели найти правило для определения момента сил в новой системе через момент сил в старой и нашли его. Как можно запомнить это правило? Если внимательно посмотреть на уравнения (20.5)—(20.7), то нетрудно увидеть, что между ними и уравнениями для х, у и z существует тесная связь. Если каким-то образом мы бы могли назвать tху z-компонентой чего-то, скажем z-компонентой вектора t, то все было бы в порядке: уравнение (20.5) мы бы понимали как преобразование вектора t, ибо z-компонента его, как это и должно быть, оставалась бы неизменной. Аналогично, если связать плоскость yz с x-компонентой новоиспеченного вектора, а плоскость zx с у-компонентой, то закон преобразования будет выглядеть так:
что в точности соответствует закону преобразования векторов.
Мы, следовательно, доказали, что комбинацию xFy-yFx можно отождествить с тем, что обычно называется z-компонентой некоторого искусственно введенного вектора. Хотя момент сил является своего рода «кручением» в плоскости и, казалось бы, не имеет векторного характера, математически он все-таки ведет себя как вектор. Этот вектор направлен под прямым углом к плоскости кручения, а его длина пропорциональна силе кручения. Три компоненты такой величины будут преобразовываться при вращении как самый настоящий вектор.
Итак, мы представляем момент силы в виде вектора. Согласно правилу, с каждой плоскостью, в которой он действует, мы связываем прямую, перпендикулярную к этой плоскости. Однако перпендикулярность к плоскости оставляет неопределенный знак вектора. Чтобы определить его, необходимо еще одно дополнительное правило, которое говорило бы нам, что если момент силы действует определенным образом в плоскости ху, то соответствующий ему вектор направлен «вверх» по оси z. Это означает, что предварительно кто-то должен сказать нам, где «право», а где «лево». Предположим, что система координат xyz правосторонняя; тогда правило должно быть таким: если представить себе кручение как ввертывание болта с правовинтовой резьбой, то направление вектора, связанного с этим кручением, определяется поступательным движением болта.
Почему же момент можно отождествить с вектором? А это счастливая случайность: с каждой плоскостью можно связать только одну ось и, следовательно, с моментом можно связать только один вектор. Это свойство — особенность трехмерного пространства. В двумерном пространстве, например, момент — самый обычный скаляр, не нуждающийся в направлении. В трехмерном пространстве он — вектор. Если бы у нас было четыре измерения, то возникло бы большое затруднение, ибо (если, например, в качестве четвертого измерения взять время) дополнительно к трем плоскостям xy, yz и zx появятся также плоскости tx, ty и tz. Всего, следовательно, получается шесть плоскостей, а представить шесть величин в виде одного четырехмерного вектора невозможно.
Однако нам еще долго предстоит оставаться в трехмерном пространстве, поэтому стоит отметить, что в предыдущих математических рассмотрениях совершенно не существенно то, что х — координата, a F — сила, а существен только закон преобразования векторов. Поэтому не будет никакой разницы, если мы вместо координаты х подставим x-компоненту любого другого вектора. Иначе говоря, если мы хотим вычислить величину axby-aybx, где а и b — векторы, и назвать ее z-компонентой некоторой новой величины cz, то эта величина будет вектором с. Было бы хорошо для такой связи трех компонент нового вектора с с векторами а и b придумать какое-то математическое обозначение. Для такой связи пользуются обозначением: c=aXb. Таким образом, в дополнение к обычному скалярному произведению в векторном анализе мы получили произведение нового сорта, так называемое векторное произведение. Итак, запись c=aXb это то же самое, что
cx=aybz-агbу,
cy=azbx-axbz, (20,9)
сг=ахbу -ауbх.
Если переменить порядок векторов а и b, т. е. вместо aXb взять bXa, то знак вектора с при этом изменится, ибо cz равно bхау-bуах. Векторное произведение поэтому не похоже на обычное умножение, для которого аb=bа. Для векторного произведения bXa=-aXb. Отсюда немедленно следует, что если а=b, то векторное произведение равно нулю, т. е. аXа=0.