Teorema de Chasles
De Laplace
Contenido |
1 Enunciado del teorema
El campo de velocidades de un sólido, cumple la condición de rigidez
![\vec{v}_i\cdot\left(ºvec{r}_i-\vec{r}_k\right)=\vec{v}_k\cdot\left(\vec{r}_i-\vec{r}_k\right)](/wiki/images/math/8/1/a/81ab5e3d5535a1dc6b750186004025dd.png)
si y solo si es de la forma
![\vec{v}(\vec{r}) = \vec{v}_0+\vec{\omega}\times\vec{r}](/wiki/images/math/f/3/8/f38c03125129dfdc0965522160f00f0b.png)
2 Demostración
2.1 Campo equiproyectivo implica campo de momentos
La condición de equiproyectividad para un campo vectorial puede expresarse como que para cualesquiera dos puntos
y
se verifica
![\vec{v}(\vec{r}_1)\cdot\left(\vec{r}_2-\vec{r}_1\right)= \vec{v}(\vec{r}_2)\cdot\left(\vec{r}_2-\vec{r}_1\right)](/wiki/images/math/3/9/7/3978b394f4e10828b2cfb3d3ba573d63.png)
se trata de demostrar que si se cumple esta condición, puede escribirse en la forma
![\vec{v}(\vec{r})=\vec{v}_0+\vec{\omega}\times\vec{r}](/wiki/images/math/f/3/8/f38c03125129dfdc0965522160f00f0b.png)
Para demostrarlo, suponemos un sistema de referencia con origen en el punto y cuyos ejes vienen caracterizados por los vectores unitarios
,
y
.
2.1.1 Referencia al origen
Definamos en primer lugar el campo, también equiproyectivo
![\vec{u}(\vec{r}) = \vec{v}(\vec{r})-\vec{v}(\vec{0})](/wiki/images/math/3/b/c/3bc353f393d48c1bcb3ffbf527ecee3f.png)
Este campo cumple
![\vec{u}(\vec{r}_1)\cdot\left(\vec{r}_2-\vec{r}_1\right)= \vec{u}(\vec{r}_2)\cdot\left(\vec{r}_2-\vec{r}_1\right)](/wiki/images/math/3/9/f/39fa57f0d5b5e2cafb4c943d71d7bc07.png)
![\vec{u}(\vec{0})=\vec{0}](/wiki/images/math/3/f/1/3f16c68c8f5ef00168bf85c6d2cf0ee5.png)
2.1.2 Equiproyectividad aplicada a cada vector de la base con el origen
Si aplicamos la condición de equiproyectividad de a los dos puntos
y
nos queda
![\vec{u}(\vec{\imath})\cdot\vec{\imath} = \vec{u}(\vec{0})\cdot\vec{\imath} = 0](/wiki/images/math/b/8/4/b84d9e0b9a4259f029d06f45a46cc9e7.png)
esto quiere decir que es ortogonal a
, esto es, no posee componente X y puede escribirse como
![\vec{u}(\vec{\imath}) = a\vec{\jmath} + b\vec{k}](/wiki/images/math/c/e/4/ce4d6d62cfa28d6651f09ab0baacf24d.png)
Aplicando el mismo razonamiento a y a
nos queda
![\vec{u}(\vec{\jmath}) = c\vec{\imath} + d\vec{k}](/wiki/images/math/3/0/d/30d252e95555e7e77a156ce294b62cf9.png)
![\vec{u}(\vec{k}) = e\vec{\imath} + f\vec{\jmath}](/wiki/images/math/1/9/d/19d061f85d84b107eea4af9aedaaeb65.png)
2.1.3 Equiproyectividad aplicada a pares de vectores de la base
La condición de equiproyectividad también puede aplicarse al par de puntos y
. En este caso tenemos
![\vec{u}(\vec{\imath})\cdot\left(\vec{\imath}-\vec{\jmath}\right) = \vec{u}(\vec{\jmath})\cdot\left(\vec{\imath}-\vec{\jmath}\right)](/wiki/images/math/0/f/1/0f1a69fd21e7b36e9fa65d49f9ab90fe.png)
![\Rightarrow](/wiki/images/math/d/f/0/df09aea884019cb88a2957126faba316.png)
![-a = c\,](/wiki/images/math/b/7/4/b74b9bca68e869cea130490d08cafdb2.png)
Operando igualmente con los otros dos pares nos queda
![-b = e\,](/wiki/images/math/4/d/8/4d8fbcc7838f76cd4108ac6e0f4fa8af.png)
![-d = f\,](/wiki/images/math/b/0/8/b08601729e98ca0f87b0b5ca79413553.png)
Si llamamos
![\omega_x = d = -f\,](/wiki/images/math/1/0/d/10dcc8e82acea943f140650bca23d922.png)
![\omega_y = e = -b\,](/wiki/images/math/5/2/0/5208d562a3008fcf9e0d084e144a2499.png)
![\omega_z = a = -c\,](/wiki/images/math/6/a/4/6a4353b45505351fd541c32cc3a26a49.png)
el valor de en
,
y
se escribe
![\vec{u}(\vec{\imath}) = \omega_z\vec{\jmath}-\omega_y\vec{k}](/wiki/images/math/3/1/e/31e290453129bc8528f3da70d5eeafcd.png)
![\vec{u}(\vec{\jmath}) = -\omega_z\vec{\imath}+\omega_x\vec{k}](/wiki/images/math/0/0/c/00cd2b848f10b0fd948695ff147ffc01.png)
![\vec{u}(\vec{k}) = \omega_y\vec{\imath}-\omega_x\vec{\jmath}](/wiki/images/math/1/1/0/1101a51ac97303a41ac5bd109affe25c.png)
2.1.4 Aplicación a un punto genérico
Si ahora aplicamos la condición de equiproyectividad a un punto cualquiera
![\vec{r}=x\vec{\imath}+y\vec{\jmath}+z\vec{k}](/wiki/images/math/4/1/a/41ade250f4b8573af45fa21572b50bcd.png)
![\vec{u}(\vec{r})=u_x\vec{\imath}+u_y\vec{\jmath}+u_z\vec{k}](/wiki/images/math/d/3/c/d3cf32e94895b3d76e5bd9e50adf6c69.png)
y al origen nos queda
![\vec{u}(\vec{r})\cdot\vec{r}=\vec{u}(\vec{0})\cdot\vec{r}= 0](/wiki/images/math/8/b/1/8b1131600d8013d43b104f969c4889d7.png)
esto es, que el campo en cada punto es ortogonal al vector de posición de dicho punto.
Si ahora aplicamos la condición al mismo punto y al punto
tenemos
![\vec{u}(\vec{r})\cdot\left(\vec{r}-\vec{\imath}\right)=\vec{u}(\vec{\imath})\cdot\left(\vec{r}-\vec{\imath}\right)](/wiki/images/math/e/3/b/e3b6710774dff5941df21962c61fc34e.png)
![\Rightarrow](/wiki/images/math/d/f/0/df09aea884019cb88a2957126faba316.png)
![-u_x=\omega_zy-\omega_yz\,](/wiki/images/math/1/c/f/1cf91c6c59375d9346b25294d9d17293.png)
y aplicándolo al mismo punto con los otros vectores de la base
![-u_y=-\omega_zx-\omega_xz\,](/wiki/images/math/d/8/5/d85be7b4a5d291736da285fc913e6222.png)
![-u_z=\omega_yx-\omega_xy\,](/wiki/images/math/c/9/6/c96fe8befcf58140bfb38923ee97496f.png)
esto es
![\vec{u}(\vec{r}) = \left(\omega_yz-\omega_zy\right)\vec{\imath}+\left(\omega_zx-\omega_xz\right)\vec{\jmath}+\left(\omega_xy-\omega_yx\right)\vec{k}=\left|\begin{matrix}\vec{\imath} & \vec{\jmath} & \vec{k} \\ \omega_x & \omega_y & \omega_z \\ x & y & z\end{matrix}\right|=\vec{\omega}\times\vec{r}](/wiki/images/math/6/c/8/6c847b2c99e03aba6a4046060dd55713.png)
y volviendo a nuestro campo original,
![\vec{v}(\vec{r})=\vec{v}(\vec{0}) +\vec{\omega}\times\vec{r}](/wiki/images/math/5/f/1/5f115b88d7761d1da357f36eb25517aa.png)
2.2 Campo de momentos implica campo equiproyectivo
La demostración en el sentido opuesto es bastante más simple. Si para todo se cumple
![\vec{v}(\vec{r})=\vec{v}_0 +\vec{\omega}\times\vec{r}](/wiki/images/math/f/3/8/f38c03125129dfdc0965522160f00f0b.png)
entonces, para dos puntos cualesquiera se verifica
![\vec{v}(\vec{r}_2)=\vec{v}_0 +\vec{\omega}\times\vec{r}_2](/wiki/images/math/2/0/2/20229a4d91d56c893ff969a20d2f48ce.png)
![\vec{v}(\vec{r}_1)=\vec{v}_0 +\vec{\omega}\times\vec{r}_2](/wiki/images/math/b/9/8/b9890d1dd92265e699ce2bcf770b1b60.png)
Restando
![\vec{v}(\vec{r}_2)-\vec{v}(\vec{r}_1)=\vec{\omega}\times\left(\vec{r}_2-\vec{r}_1\right)](/wiki/images/math/8/a/f/8af61e54815d1ab1c23a175f199ae3b6.png)
El segundo miembro es ortogonal a , por lo que
![\left(\vec{v}(\vec{r}_2)-\vec{v}(\vec{r}_1)\right)\cdot\left(\vec{r}_2-\vec{r}_1\right)=0](/wiki/images/math/7/f/b/7fbcce52c3b18e1346affbd0927241c9.png)
y separando los términos
![\vec{v}(\vec{r}_2)\cdot\left(\vec{r}_2-\vec{r}_1\right)=\vec{v}(\vec{r}_1)\cdot\left(\vec{r}_2-\vec{r}_1\right)](/wiki/images/math/d/5/1/d5199549d0580a9841a9dcd8f21d10f6.png)
esto es, es equiproyectivo.