Comment obtenir des indices ou exposants?
En mathématiques, les indices et exposants se placent traditionnellement à droite du symbole qui reçoit l'indice ou l'exposant. C'est ce sujet que traite cette page. Si vous cherchez à placer :
- des indices ou exposants à gauche, consultez la question « Comment obtenir des indices ou exposants à gauche ? » ;
- des indices au-dessous, consultez la question « Comment obtenir des indices au-dessous des symboles ? » et la question « Comment empiler des indices sous les opérateurs ? » ;
- des exposants au-dessus, consultez la question « Comment obtenir des exposants au-dessus des symboles ? ».
Le principe
En mode mathématique, deux symboles servent à traiter ce sujet :
_indique la mise en indice du groupe de caractère qui suit, encadré par des accolades ;^indique la mise en exposant du groupe de caractère qui suit, encadré par une accolade.
En l'absence d'accolades, la mise en indice ou en exposant porte uniquement sur le premier caractère qui suit _ ou ^.
Voici un exemple de leur utilisation :
\documentclass{article} \begin{document} Une suite géométrique $(u_n)$ est définie par la valeur de son premier terme~: \[ u_0 = a \] et par la relation de récurrence suivante faisant intervenir un nombre $q$ pour tout $n>0$~: \[ u_n = q u_{n-1}. \] Il peut être démontré que ce terme peut également s'écrire~: \[ u_n = a q^n. \] \end{document}
![\documentclass{article}
\usepackage[body={8cm,8cm}]{geometry}
%\usepackage{mathtools}
\usepackage{lmodern}
\pagestyle{empty}
\begin{document}
Une suite géométrique $(u_n)$ est
définie par la valeur de son premier
terme~:
\[
u_0 = a
\]
et par la relation de récurrence
suivante faisant intervenir un
nombre $q$ pour tout $n>0$~:
\[
u_n = q u_{n-1}.
\]
Il peut être démontré que ce
terme peut également s'écrire~:
\[
u_n = a q^n.
\]
\end{document}](/lib/exe/fetch.php?media=wiki:latex:/img3575c269518a170c0d8fc43c30a85466.png.pdf "LaTeX")
Comme le montre cet exemple, les accolades étaient nécessaires pour mettre en indice le bloc « n-1 ». Sans cela, 
aurait composé le seul « n » en indice et aurait mis le « -1 » au même niveau que le « u », changeant ainsi le sens de l'équation. L'exemple suivant illustre ce point :
\documentclass{article} \begin{document} Soit une suite $(v_n)$, avec $v_0=1$, telle que~ \[ v_n-1 = v_{n-1}. \] \end{document}
![\documentclass{article}
\usepackage[body={8cm,8cm}]{geometry}
%\usepackage{mathtools}
\usepackage{lmodern}
\pagestyle{empty}
\begin{document}
Soit une suite $(v_n)$, avec
$v_0=1$, telle que~
\[
v_n-1 = v_{n-1}.
\]
\end{document}](/lib/exe/fetch.php?media=wiki:latex:/img723793d5c331259f700a69f95b309412.png.pdf "LaTeX")
Bien entendu, au sein d'un élément mis en indice ou en exposant peuvent être mis des éléments eux-mêmes ayant des indices ou exposants :
\documentclass{article} \begin{document} Une suite géométrique $(u_n)$ peut être définie à partir d'un rang $n_0$ tel que : \[ u_n = u_{n_0} q^{n-n_0}. \] \end{document}
![\documentclass{article}
\usepackage[body={8cm,8cm}]{geometry}
%\usepackage{mathtools}
\usepackage{lmodern}
\pagestyle{empty}
\begin{document}
Une suite géométrique $(u_n)$ peut
être définie à partir d'un rang
$n_0$ tel que :
\[
u_n = u_{n_0} q^{n-n_0}.
\]
\end{document}](/lib/exe/fetch.php?media=wiki:latex:/img54df21c94b38cb1f2c5de0313bbf9296.png.pdf "LaTeX")
Enfin, la taille des éléments en indice ou exposant peut être modifiée (à vos risques et périls), comme présenté en question « Comment modifier la taille des indices et exposants ? ».
Indices et exposants sur un même élément
La mise en indice et en exposant sur un même élément se fait en plaçant à la suite la mise en indice et la mise en exposant. L'ordre importe peu car il est possible de faire la mise en exposant suivie de la mise en indice, comme le montre cet exemple :
\documentclass{article} \begin{document} Notez bien que nous aurons $x_2^3 \neq x^2_3$. \end{document}
![\documentclass{article}
\usepackage[body={8cm,8cm}]{geometry}
%\usepackage{mathtools}
\usepackage{lmodern}
\pagestyle{empty}
\begin{document}
Notez bien que nous aurons
$x_2^3 \neq x^2_3$.
\end{document}](/lib/exe/fetch.php?media=wiki:latex:/imgc16330c84ba2504a3b722c1b7f3b9dac.png.pdf "LaTeX")
Ceci peut toutefois provoquer des alignements d'indices parfois peu esthétiques, comme le montre la question « Comment bien aligner les indices et exposants ? ».
Indices et exposants sur des grands opérateurs
Certains commandes de conduisent à disposer les indices et exposants de façon particulière : au lieu d'être mis à droite après le symbole souhaité, les indices et exposants se placents au-dessous et au-dessus du symbole si l'équation est en mode hors ligne. Voici un exemple classique illustrant cette différence de mise en forme :
\documentclass{article} \begin{document} On définit ici la notation $\sum_{k=1}^n x_k$ ainsi~: \[ \sum_{k=1}^n x_k = x_1 + x_2 + \dots + x_n. \] \end{document}
![\documentclass{article}
\usepackage[body={8cm,8cm}]{geometry}
%\usepackage{mathtools}
\usepackage{lmodern}
\pagestyle{empty}
\begin{document}
On définit ici la notation
$\sum_{k=1}^n x_k$ ainsi~:
\[
\sum_{k=1}^n x_k
= x_1 + x_2 + \dots + x_n.
\]\end{document}](/lib/exe/fetch.php?media=wiki:latex:/img731ec6af85fb7d5eff0ebd6fd302d184.png.pdf "LaTeX")
Cette disposition est détaillée aux questions « Quels sont les huit styles mathématiques ? » et « À quoi sert la commande “\displaystyle” ? ».
