Отлично! Итак, пусть
![$\mathbf n$ $\mathbf n$](https://dxdy-04.korotkov.co.uk/f/f/a/4/fa4229135a77c26ed948d18f167ad01582.png)
— единичный вектор, направленный вдоль оси,
![$\mathbf F$ $\mathbf F$](https://dxdy-01.korotkov.co.uk/f/8/e/c/8ec057057694cb8cdcfc04bdf246837682.png)
— вектор силы,
![$\mathbf r$ $\mathbf r$](https://dxdy-03.korotkov.co.uk/f/a/8/2/a82c32a69ccd4b4fe55aa66f12d7aaf382.png)
— вектор, соединяющий некоторую точку на оси и точку приложения силы. Возьмём готовое выражение
![$M=(\mathbf n, \mathbf r, \mathbf F)$ $M=(\mathbf n, \mathbf r, \mathbf F)$](https://dxdy-01.korotkov.co.uk/f/4/f/2/4f2c950c0f894472e9283e4c88aaa6f382.png)
и докажем, что оно равно тому, что в определении.
«Как известно» №1. В смешанном произведении можно к любому вектору прибавить линейную комбинацию остальных векторов, и оно от этого не изменится. Действительно, в силу линейности
![$(\mathbf a, \mathbf b, \mathbf c+\lambda \mathbf a+\mu\mathbf b)=(\mathbf a, \mathbf b, \mathbf c)+\lambda(\mathbf a, \mathbf b, \mathbf a)+\mu(\mathbf a, \mathbf b, \mathbf b)$ $(\mathbf a, \mathbf b, \mathbf c+\lambda \mathbf a+\mu\mathbf b)=(\mathbf a, \mathbf b, \mathbf c)+\lambda(\mathbf a, \mathbf b, \mathbf a)+\mu(\mathbf a, \mathbf b, \mathbf b)$](https://dxdy-03.korotkov.co.uk/f/a/c/1/ac16fb144cf55c01c44befcfe434266982.png)
Поскольку смешанное произведение равно нулю, когда в нём есть совпадающие векторы, остаётся только одно слагаемое
![$(\mathbf a, \mathbf b, \mathbf c)$ $(\mathbf a, \mathbf b, \mathbf c)$](https://dxdy-04.korotkov.co.uk/f/7/b/6/7b6c45992a992aad4baeec047b5d7d0882.png)
.
«Как известно» №2. Пусть
![$\mathbf n$ $\mathbf n$](https://dxdy-04.korotkov.co.uk/f/f/a/4/fa4229135a77c26ed948d18f167ad01582.png)
— единичный вектор. Любой вектор
![$\mathbf a$ $\mathbf a$](https://dxdy-03.korotkov.co.uk/f/a/7/6/a7657f084547354aafb503c3b02c14b382.png)
равен сумме двух составляющих: параллельной
![$\mathbf n$ $\mathbf n$](https://dxdy-04.korotkov.co.uk/f/f/a/4/fa4229135a77c26ed948d18f167ad01582.png)
и перпендикулярной
![$\mathbf n$ $\mathbf n$](https://dxdy-04.korotkov.co.uk/f/f/a/4/fa4229135a77c26ed948d18f167ad01582.png)
.
(Оффтоп)
А именно, при
![$\mathbf n\cdot\mathbf n=1$ $\mathbf n\cdot\mathbf n=1$](https://dxdy-04.korotkov.co.uk/f/f/7/f/f7fc1827bae131499d32e6a761b23e0f82.png)
:
![$\mathbf a_{\parallel}=\mathbf n(\mathbf n\cdot\mathbf a)$ $\mathbf a_{\parallel}=\mathbf n(\mathbf n\cdot\mathbf a)$](https://dxdy-04.korotkov.co.uk/f/b/5/e/b5ec70ee350f0123743b24ef2432669582.png)
,
![$\mathbf a_{\perp}=\mathbf a-\mathbf n(\mathbf n\cdot\mathbf a)$ $\mathbf a_{\perp}=\mathbf a-\mathbf n(\mathbf n\cdot\mathbf a)$](https://dxdy-02.korotkov.co.uk/f/9/5/4/9543daa13d5f625c0fdd335d88b2040982.png)
.
Это очень полезные формулы, но нам они не нужны.
Для нас важно лишь, что при некотором
![$\lambda$ $\lambda$](https://dxdy-04.korotkov.co.uk/f/f/d/8/fd8be73b54f5436a5cd2e73ba9b6bfa982.png)
![$\mathbf a=\mathbf a_{\perp}+\lambda \mathbf n$ $\mathbf a=\mathbf a_{\perp}+\lambda \mathbf n$](https://dxdy-01.korotkov.co.uk/f/c/a/b/cab6866fc3e3f5644bde3c09ed94593482.png)
, причём
![$\mathbf a_{\perp}\cdot \mathbf n=0$ $\mathbf a_{\perp}\cdot \mathbf n=0$](https://dxdy-01.korotkov.co.uk/f/0/1/b/01b427f661156cc07709ea1d9b51f0a382.png)
.
Следовательно, в выражении для
![$M$ $M$](https://dxdy-04.korotkov.co.uk/f/f/b/9/fb97d38bcc19230b0acd442e17db879c82.png)
можно заменить
![$\mathbf r$ $\mathbf r$](https://dxdy-03.korotkov.co.uk/f/a/8/2/a82c32a69ccd4b4fe55aa66f12d7aaf382.png)
и
![$\mathbf F$ $\mathbf F$](https://dxdy-01.korotkov.co.uk/f/8/e/c/8ec057057694cb8cdcfc04bdf246837682.png)
их проекциями
![$\mathbf r_{\perp}$ $\mathbf r_{\perp}$](https://dxdy-01.korotkov.co.uk/f/8/4/6/846c5adb1958c981e944baa638202cce82.png)
и
![$\mathbf F_{\perp}$ $\mathbf F_{\perp}$](https://dxdy-02.korotkov.co.uk/f/1/b/c/1bc5d7a1d376e11e00d2412904c9078882.png)
на плоскость, перпендикулярную оси
![$\mathbf n$ $\mathbf n$](https://dxdy-04.korotkov.co.uk/f/f/a/4/fa4229135a77c26ed948d18f167ad01582.png)
, от чего
![$M$ $M$](https://dxdy-04.korotkov.co.uk/f/f/b/9/fb97d38bcc19230b0acd442e17db879c82.png)
не изменится. При этом мы получаем то, о чём говорится в определении. Следовательно, моё выражение для
![$M$ $M$](https://dxdy-04.korotkov.co.uk/f/f/b/9/fb97d38bcc19230b0acd442e17db879c82.png)
равно тому моменту, который вводится Вашим определением.