El teorema de Malus-Dupin es uno de los teoremas fundamentales de la óptica geométrica que la relaciona con la óptica ondulatoria.
Si sobre cada rayo emitido por un foco recorremos caminos ópticos iguales, entonces los puntos que los delimitan forman una superficie normal a todos los rayos.
Denominamos a dicha superficie frente de ondas.
Coincide con el frente de onda dado por la teoría oscilatoria.
Al deducirse del principio de Fermat, es válido a pesar del número de reflexiones o refracciones que pueda sufrir el rayo antes de llegar a su destino.
La demostración se realiza a partir del principio de Fermat.
Tomamos dos trayectorias distintas separadas infinitesimalmente,
son los puntos de llegada separados por caminos ópticos iguales.
Entonces definimos los respectivos caminos ópticos como:
{\displaystyle L_{AB}=\int _{A}^{B}n({\textbf {r}})ds}
{\displaystyle L_{AB'}=\int _{A}^{B'}n({\textbf {r}}')ds'}
los respectivos vectores de posición,
los respectivos diferenciales de espacio y
Admitimos que el índice de refracción es derivable.
Emplearemos: Desarrollo en serie de Taylor de primer orden:
Ecuación de la trayectoria de un rayo luminoso (deducida a partir del principio de Fermat):
Admitimos que el índice de refracción admite un desarrollo en serie de Taylor de orden 1.
Por otro haremos lo mismo con el módulo del vector posición:
Se reemplaza en el camino óptico:
{\displaystyle \Delta L=\int _{A}^{B'}n({\textbf {r}})ds+\int _{A}^{B'}{\vec {\nabla }}n\cdot \varepsilon {\textbf {b}}ds+\int _{A}^{B'}n({\textbf {r}})\varepsilon {\textbf {u}}\cdot {\textbf {db}}-\int _{A}^{B}n({\textbf {r}})ds}
Factorizamos los términos por potencias de
Por la ecuación de las trayectorias tenemos que
{\displaystyle \Delta L=\int _{A}^{B'}n({\textbf {r}})ds-\int _{A}^{B}n({\textbf {r}})ds+\varepsilon \left[\int _{A}^{B'}d(n{\textbf {b}}\cdot {\textbf {u}})\right]}
Si suponemos que hemos escogido
{\displaystyle \Delta L=\int _{A}^{B'}n({\textbf {r}})ds-\int _{A}^{B'}n({\textbf {r}})ds+\varepsilon \left[\int _{A}^{B'}d(n{\textbf {b}}\cdot {\textbf {u}})\right]=0}
Como el punto A es el foco la separación es siempre nula, en consecuencia:
Como B' es un punto arbitrario se tiene que
une los puntos de la superficie.
De lo que la superficie formada es ortogonal a cada rayo.
Podemos justificar que los puntos forman una superficie por continuidad.