Enunciado del teorema
El campo de velocidades de un sólido, cumple la condición de rigidez
Error al representar (SVG (MathML puede ser habilitado mediante un plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle \vec{v}_i\cdot\left(\vec{r}_i-\vec{r}_k\right)=\vec{v}_k\cdot\left(\vec{r}_i-\vec{r}_k\right)}
si y solo si es de la forma
Error al representar (SVG (MathML puede ser habilitado mediante un plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle \vec{v}(\vec{r}) = \vec{v}_0+\vec{\omega}\times\vec{r}}
esto es, se compone de una traslación y una rotación (que pueden ser nulas). Este es el conocido como Teorema de Chasles.
Verificación de la condición de rigidez
La demostración de que si el campo de velocidades es de la forma indicada, entonces cumple la condición de rigidez es bastante elemental. Si para todo Error al representar (SVG (MathML puede ser habilitado mediante un plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle \vec{r}}
se cumple
Error al representar (SVG (MathML puede ser habilitado mediante un plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle \vec{v}(\vec{r})=\vec{v}_0 +\vec{\omega}\times\vec{r}}
entonces, para dos puntos cualesquiera se verifica
Error al representar (SVG (MathML puede ser habilitado mediante un plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle \vec{v}(\vec{r}_2)=\vec{v}_0 +\vec{\omega}\times\vec{r}_2}
Error al representar (SVG (MathML puede ser habilitado mediante un plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle \vec{v}(\vec{r}_1)=\vec{v}_0 +\vec{\omega}\times\vec{r}_2}
Restando
Error al representar (SVG (MathML puede ser habilitado mediante un plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle \vec{v}(\vec{r}_2)-\vec{v}(\vec{r}_1)=\vec{\omega}\times\left(\vec{r}_2-\vec{r}_1\right)}
El segundo miembro es ortogonal a Error al representar (SVG (MathML puede ser habilitado mediante un plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle \vec{r}_2-\vec{r}_1}
, por lo que
Error al representar (SVG (MathML puede ser habilitado mediante un plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle \left(\vec{v}(\vec{r}_2)-\vec{v}(\vec{r}_1)\right)\cdot\left(\vec{r}_2-\vec{r}_1\right)=0}
y separando los términos
Error al representar (SVG (MathML puede ser habilitado mediante un plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle \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)}
esto es, el campo de velocidades es equiproyectivo y cumple la condición de rigidez.
Deducción de la forma del campo
Más complicado es el recíproco: que si verifica la condición cinemática de rigidez, la forma general del campo de velocidades es la indicada.
La condición cinemática de rigidez equivale a la equiproyectividad del campo de velocidades: para cualesquiera dos puntos Error al representar (SVG (MathML puede ser habilitado mediante un plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle \vec{r}_1}
y Error al representar (SVG (MathML puede ser habilitado mediante un plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle \vec{r}_2}
se verifica
Error al representar (SVG (MathML puede ser habilitado mediante un plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle \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)}
se trata de demostrar que si se cumple esta condición, Error al representar (SVG (MathML puede ser habilitado mediante un plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle \vec{v}(\vec{r})}
puede escribirse en la forma
Error al representar (SVG (MathML puede ser habilitado mediante un plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle \vec{v}(\vec{r})=\vec{v}_0+\vec{\omega}\times\vec{r}}
Para demostrarlo, suponemos un sistema de referencia con origen en el punto Error al representar (SVG (MathML puede ser habilitado mediante un plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle \vec{0}}
y cuyos ejes vienen caracterizados por los vectores unitarios Error al representar (SVG (MathML puede ser habilitado mediante un plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle \vec{\imath}}
, Error al representar (SVG (MathML puede ser habilitado mediante un plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle \vec{\jmath}}
y Error al representar (SVG (MathML puede ser habilitado mediante un plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle \vec{k}}
.
Velocidad relativa al origen
Definamos en primer lugar el campo de velocidades, también equiproyectivo
Error al representar (SVG (MathML puede ser habilitado mediante un plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle \vec{u}(\vec{r}) = \vec{v}(\vec{r})-\vec{v}(\vec{0})}
que representa la velocidad medida por un sistema que se mueve con la misma velocidad que el origen de coordenadas.
Este campo cumple
Error al representar (SVG (MathML puede ser habilitado mediante un plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle \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)}
Error al representar (SVG (MathML puede ser habilitado mediante un plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle \vec{u}(\vec{0})=\vec{0}}
Equiproyectividad aplicada a cada vector de la base con el origen
Si aplicamos la condición de equiproyectividad de Error al representar (SVG (MathML puede ser habilitado mediante un plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle \vec{u}}
a los dos puntos Error al representar (SVG (MathML puede ser habilitado mediante un plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle \vec{r}_1=\vec{\imath}}
y Error al representar (SVG (MathML puede ser habilitado mediante un plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle \vec{r}_2=\vec{0}}
nos queda
Error al representar (SVG (MathML puede ser habilitado mediante un plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle \vec{u}(\vec{\imath})\cdot\vec{\imath} = \vec{u}(\vec{0})\cdot\vec{\imath} = 0}
esto quiere decir que la velocidad Error al representar (SVG (MathML puede ser habilitado mediante un plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle \vec{u}(\vec{\imath})}
es ortogonal al vector de posición 
, esto es, no posee componente Error al representar (SVG (MathML puede ser habilitado mediante un plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle X}
y puede escribirse como
Error al representar (SVG (MathML puede ser habilitado mediante un plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle \vec{u}(\vec{\imath}) = a\vec{\jmath} + b\vec{k}}
Aplicando el mismo razonamiento a Error al representar (SVG (MathML puede ser habilitado mediante un plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle \vec{\jmath}}
y a Error al representar (SVG (MathML puede ser habilitado mediante un plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle \vec{k}}
nos queda
Error al representar (SVG (MathML puede ser habilitado mediante un plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle \vec{u}(\vec{\jmath}) = c\vec{\imath} + d\vec{k}}
Error al representar (SVG (MathML puede ser habilitado mediante un plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle \vec{u}(\vec{k}) = e\vec{\imath} + f\vec{\jmath}}
Equiproyectividad aplicada a pares de vectores de la base
La condición de equiproyectividad también puede aplicarse al par de puntos Error al representar (SVG (MathML puede ser habilitado mediante un plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle \vec{\imath}}
y Error al representar (SVG (MathML puede ser habilitado mediante un plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle \vec{\jmath}}
. En este caso tenemos
Error al representar (SVG (MathML puede ser habilitado mediante un plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle \vec{u}(\vec{\imath})\cdot\left(\vec{\imath}-\vec{\jmath}\right) = \vec{u}(\vec{\jmath})\cdot\left(\vec{\imath}-\vec{\jmath}\right)}
⇒ Error al representar (SVG (MathML puede ser habilitado mediante un plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle -a = c\,}
Operando igualmente con los otros dos pares nos queda
Error al representar (SVG (MathML puede ser habilitado mediante un plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle -b = e\,}
Error al representar (SVG (MathML puede ser habilitado mediante un plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle -d = f\,}
Si llamamos
Error al representar (SVG (MathML puede ser habilitado mediante un plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle \omega_x = d = -f\,}
Error al representar (SVG (MathML puede ser habilitado mediante un plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle \omega_y = e = -b\,}
Error al representar (SVG (MathML puede ser habilitado mediante un plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle \omega_z = a = -c\,}
el valor de Error al representar (SVG (MathML puede ser habilitado mediante un plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle \vec{u}}
en Error al representar (SVG (MathML puede ser habilitado mediante un plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle \vec{\imath}}
, Error al representar (SVG (MathML puede ser habilitado mediante un plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle \vec{\jmath}}
y Error al representar (SVG (MathML puede ser habilitado mediante un plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle \vec{k}}
se escribe
Error al representar (SVG (MathML puede ser habilitado mediante un plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle \vec{u}(\vec{\imath}) = \omega_z\vec{\jmath}-\omega_y\vec{k}}
Error al representar (SVG (MathML puede ser habilitado mediante un plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle \vec{u}(\vec{\jmath}) = -\omega_z\vec{\imath}+\omega_x\vec{k}}
Error al representar (SVG (MathML puede ser habilitado mediante un plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle \vec{u}(\vec{k}) = \omega_y\vec{\imath}-\omega_x\vec{\jmath}}
Aplicación a un punto genérico
Si ahora aplicamos la condición de equiproyectividad a un punto cualquiera
Error al representar (SVG (MathML puede ser habilitado mediante un plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle \vec{r}=x\vec{\imath}+y\vec{\jmath}+z\vec{k}}
Error al representar (SVG (MathML puede ser habilitado mediante un plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle \vec{u}(\vec{r})=u_x\vec{\imath}+u_y\vec{\jmath}+u_z\vec{k}}
y al origen nos queda
Error al representar (SVG (MathML puede ser habilitado mediante un plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle \vec{u}(\vec{r})\cdot\vec{r}=\vec{u}(\vec{0})\cdot\vec{r}= 0}
esto es, que la velocidad (relativa al origen) en cada punto es ortogonal al vector de posición de dicho punto.
Si ahora aplicamos la condición al mismo punto Error al representar (SVG (MathML puede ser habilitado mediante un plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle \vec{r}}
y al punto Error al representar (SVG (MathML puede ser habilitado mediante un plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle \vec{\imath}}
tenemos
Error al representar (SVG (MathML puede ser habilitado mediante un plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle \vec{u}(\vec{r})\cdot\left(\vec{r}-\vec{\imath}\right)=\vec{u}(\vec{\imath})\cdot\left(\vec{r}-\vec{\imath}\right)}
⇒
Error al representar (SVG (MathML puede ser habilitado mediante un plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle -u_x=\omega_zy-\omega_yz\,}
y aplicándolo al mismo punto con los otros vectores de la base
Error al representar (SVG (MathML puede ser habilitado mediante un plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle -u_y=-\omega_zx-\omega_xz\,}
Error al representar (SVG (MathML puede ser habilitado mediante un plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle -u_z=\omega_yx-\omega_xy\,}
esto es
Error al representar (SVG (MathML puede ser habilitado mediante un plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle \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}}
y volviendo a nuestro campo de velocidades original, Error al representar (SVG (MathML puede ser habilitado mediante un plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle \vec{v}}
Error al representar (SVG (MathML puede ser habilitado mediante un plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle \vec{v}(\vec{r})=\vec{v}(\vec{0}) +\vec{\omega}\times\vec{r}}
con lo que se completa la demostración del teorema de Chasles.
