Teorema de Chasles
De Laplace
Contenido |
1 Enunciado del teorema
El campo de velocidades de un sólido, cumple la condición de rigidez

si y solo si es de la forma

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

se trata de demostrar que si se cumple esta condición, puede escribirse en la forma

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

Este campo cumple


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

esto quiere decir que es ortogonal a
, esto es, no posee componente X y puede escribirse como

Aplicando el mismo razonamiento a y a
nos queda


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



Operando igualmente con los otros dos pares nos queda


Si llamamos



el valor de en
,
y
se escribe



2.1.4 Aplicación a un punto genérico
Si ahora aplicamos la condición de equiproyectividad a un punto cualquiera


y al origen nos queda

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



y aplicándolo al mismo punto con los otros vectores de la base


esto es

y volviendo a nuestro campo original,

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

entonces, para dos puntos cualesquiera se verifica


Restando

El segundo miembro es ortogonal a , por lo que

y separando los términos

esto es, es equiproyectivo.