Mathématiques Mathématiques

Présentations : la classe Beamer Présentations : la classe Beamer

Le mode mathématique

\usepackage{amsmath,amssymb,mathrsfs,amsthm}

Formation LaTeX – niveau débutant Passage en mode mathématique : les $ (synonyme : \( et \))
Troisième partie On a $3x+1=y$ où $y < 1$.
Notons $f$ la fonction.
$\text{On a } 3x+1=y \text{ où } y<1.$
Céline Chevalier
Mode mathématique centré : $$ (synonyme : \[ et \])

Indices et exposants :
Mai-Juin 2009
$x_i = xˆ{3a+b}$ xi = x 3a+b
$x_iˆn \neq {x_i}ˆn$ xin 6= xi n

✎ Exercice 1

1/32 2/32
Mathématiques Mathématiques
Présentations : la classe Beamer Présentations : la classe Beamer

Fractions, racines et fonctions Disposition des indices et des exposants,

a
$\frac{a}{b}$ $\tfrac{a}{b}$ ou $$\tfrac{a}{b}$$
sommes, intégrales et produits
b
a
$$\frac{a}{b}$$ $\dfrac{a}{b}$ ou $$\dfrac{a}{b}$$
b
limx→0 $\lim_{x \to 0}$
√ √
$\sqrt{4}=\sqrt[3]{8}$ 4= 3
8 ou $$\lim\nolimits_{x \to 0}$$

lim \lim Pr \Pr lim \varlimsup det \det lim $$\lim_{x \to 0}$$
x→0
lim inf \liminf inf \inf lim \varliminf max \max ou $\lim\limits_{x \to 0}$
lim sup \limsup sup \sup gcd \gcd min \min
R RR RRR
cos \cos cot \cot exp \exp hom \hom \int \iint \iiint
H RRRR R R
sin \sin cosh \cosh ln \ln dim \dim \oint \iiiint ··· \idotsint
tan \tan sinh \sinh log \log ker \ker P Q `
\sum \prod \coprod
arccos \arccos tanh \tanh deg \deg csc \csc
arcsin \arcsin coth \coth (mod q) \pmod q lg \lg
arctan \arctan arg \arg mod q \mod q sec \sec
3/32 4/32
 Mathématiques Mathématiques
Présentations : la classe Beamer Présentations : la classe Beamer

Disposition des sommes, intégrales et produits Les caractères en mode mathématique

RP
an $\int\sum a_n$
ou $$\textstyle\int\sum a_n$$
la fonction $t\mapsto \mathrm{P}(t)$ t 7→ P(t)
Z X
an $$\int\sum a_n$$ Gras : \mathbf
ou $\displaystyle\int\sum a_n$ Italique : \mathit
R 1 Pn k
0 k=0 ak x $\int_0ˆ1 \sum_{k=0}ˆn a_k xˆk$ \usepackage{mathrsfs}
Z 1X n
Calligraphique D \mathcal{D} Anglaise A \mathscr{A}
ak x k $$\int_0ˆ1\sum_{k=0}ˆn a_k xˆk$$
0 k=0 Fraktur S \mathfrak{S} Ajourée N \mathbb{N}
R1 Pn
ak x k $\int\limits_0ˆ1 Pour la fonction indicatrice 1, utilisez le package dsfont et la
0 k=0 \sum\limits_{k=0}ˆn a_k xˆk$ commande \mathds{1}. Pour un ensemble k, utilisez \Bbbk.

✎ Exercice 2
5/32 6/32
Mathématiques Mathématiques
Présentations : la classe Beamer Présentations : la classe Beamer

Les espaces Signes, chapeaux et accents

â \hat{a} ȧ \dot{a} ã \tilde{a}

Type d’espace commande AA valeur (cadratins) ā \bar{a} ä \ddot{a} ǎ \check{a}
...
négatif \! AA −3/18 ~a \vec{a} a \dddot{a} ă \breve{a}
....
fin \, AA 1/18 á \acute{a} a \ddddot{a}
moyen \ : AA 3/18 à \grave{a} å \mathring{a}
large \; AA 4/18
blanc normal \␣ AA (variable) ~ı, ~ (et non ~i ) $\vec{\imath}$
cadratin \quad A A 1
double cadratin \qquad A A 2 f
AB \widetilde{AB} c
AB \widehat{AB}
AB \underline{AB} AB \overline{AB}
✎ Exercice 3 −→
AB \overrightarrow{AB}

7/32 8/32
 Mathématiques Mathématiques
Présentations : la classe Beamer Présentations : la classe Beamer

Points elliptiques, degrés et encadrés Symboles classiques

$x_1,\ldots,x_n$ x1 , . . . , xn ∞ \infty ∃ \exists ∅ \varnothing ℏ \hslash

$x_1+\cdots+x_n$ x1 + · · · + xn ℓ \ell ∀ \forall ı \imath ~ \hbar
ℑ \Im ∇ \nabla  \jmath ℘ \wp
$34,7$\degre{} hier 34, 7˚ hier ℜ \Re ∂ \partial ℵ \aleph ⊤ \top
Remarquez l’importance des dollars : comparez l’espace après la ♭ \flat ♮ \natural ♯ \sharp ⊥ \bot
virgule dans 34, 7 (obtenu avec $34,7$) et 34,7 (avec 34,7). ≪ \ll ≈ \approx k \parallel ⊳ \lhd
≫ \gg 6 \leqslant ⊂ \subset ∈ \in
$ z=a+ib \qquad ≡ \equiv > \geqslant ⊃ \supset ∋ \ni
z = a + ib i 2 = −1
\boxed{iˆ2=-1} $ ∼ \sim ∝ \propto ⊆ \subseteq | \mid
≃ \simeq ⊥ \perp \varsubsetneq ¬ \neg
✎ Exercice 4

9/32 10/32
Mathématiques Mathématiques
Présentations : la classe Beamer Présentations : la classe Beamer

Symboles classiques Lettres grecques

± \pm \bigcirc ⊛ \circledast \ \setminus

α \alpha θ \theta π \pi φ \phi
∓ \mp ♦ \Diamond  \boxdot ∩ \cap
β \beta ϑ \vartheta ̟ \varpi ϕ \varphi
∗ \ast • \bullet ⊞ \boxplus ∪ \cup
γ \gamma ι \iota ρ \rho χ \chi
⋆ \star ⊙ \odot ⊟ \boxminus ⋊ \rtimes
δ \delta κ \kappa ̺ \varrho ψ \psi
× \times ⊕ \oplus ⊠ \boxtimes ⋉ \ltimes
ǫ \epsilon λ \lambda σ \sigma ω \omega
⊎ \uplus ⊖ \ominus  \Box ∨ \vee
ε \varepsilon µ \mu ς \varsigma
⊔ \sqcup ⊘ \oslash ∁ \complement ∧ \wedge
ζ \zeta ν \nu τ \tau
◦ \circ ⊗ \otimes r \smallsetminus |= \models
T V N η \eta ξ \xi υ \upsilon
\bigcap \bigwedge \bigotimes
S U L Γ \Gamma Λ \Lambda Σ \Sigma Ψ \Psi
\bigcup \biguplus \bigoplus
W F J ∆ \Delta Ξ \Xi Υ \Upsilon Ω \Omega
\bigvee \bigsqcup \bigodot
Θ \Theta Π \Pi Φ \Phi
 \diagup  \diagdown \ \backslash

11/32 12/32
 Mathématiques Mathématiques
Présentations : la classe Beamer Présentations : la classe Beamer

Flèches Négations
\leftarrow donne ← et \Downarrow permet d’obtenir ⇓.
→ \rightarrow (synonyme : \to) ֒→ \hookrightarrow
−→ \longrightarrow ⇀ \rightharpoonup
⇒ \Rightarrow  \circlearrowright La négation des symboles relationnels s’obtient en faisant précéder
=⇒ \Longrightarrow y \curvearrowright la commande de \not, comme dans $A \not\subset E$ (A 6⊂ E ).
99K \dashrightarrow ↑ \uparrow
⇉ \rightrightarrows ⇑ \Uparrow
։ \twoheadrightarrow 6= \neq ∤ \nmid ; \nRightarrow
≁ \nsim ∦ \nparallel : \nLeftarrow
↔ \leftrightarrow 7→ \mapsto
∄ \nexists 9 \nrightarrow = \nleftrightarrow
←→ \longleftrightarrow 7−→ \longmapsto
⇔ \Leftrightarrow ր \nearrow ∈
/ \notin 8 \nleftarrow < \nLeftrightarrow
⇐⇒ \Longleftrightarrow (syn. : \iff) տ \nwarrow
⇆ \leftrightarrows ց \searrow
⇄ \rightleftarrows ւ \swarrow
⇌ \leftrightharpoons l \updownarrow
⇋ \rightleftharpoons m \Updownarrow
\leadsto
13/32 14/32
Mathématiques Mathématiques
Présentations : la classe Beamer Présentations : la classe Beamer

Parenthèses extensibles Parenthèses extensibles

a
$\left( \dfrac{a}{b} \right)$
b
 
$\left|\frac{\phi(t)}{3}  φ(t)

\right\rangle$  3 ( ( { \{ h \langle l \updownarrow
 ) ) } \} i \rangle m \Updownarrow
$\left. \dfrac{\partial f} ∂f [ [ ⌊ \lfloor ↑ \uparrow \ \backslash
{\partial T} \right)_{P,V}$ ∂T P,V ] ] ⌋ \rfloor ⇑ \Uparrow k \|
/ / ⌈ \lceil ↓ \downarrow J \llbracket†
Cas particulier :  
Pythagore
| | ⌉ \rceil ⇓ \Downarrow K \rrbracket†
$\left( \overbrace{ABˆ2 + z }| { †
 2 2 commandes du package stmaryrd
BCˆ2}ˆ{\text{Pythagore}} AB + BC 
\right)$ ✎ Exercice 5
\big, \Big, \bigg et \Bigg (par ordre croissant)
$\big( \overbrace{ABˆ2 + Pythagore
BCˆ2}ˆ{\text{Pythagore}} z }| {

AB 2 + BC 2
\big)$ 15/32 16/32
 Mathématiques Mathématiques
Présentations : la classe Beamer Présentations : la classe Beamer

Tableaux et matrices Matrices

$\begin{array}{|c|c|}
f (t) F (p) \hline f(t) & F(p) \\[1mm]
\hline \hline 1 & 1/p \\[1mm]      
1 1/p a b a b a b a b 
t & 1/p^2 \\ \hline  
t 1/p2 c d c d c d c d 
\end{array}$ {matrix} {pmatrix} {bmatrix} {vmatrix}
$\begin{pmatrix}  
  a b a b
\cos\theta & -\sin\theta \\ cos θ − sin θ a b
c d c d c d
\sin\theta & \cos\theta sin θ cos θ
{smallmatrix} {Bmatrix} {Vmatrix}
\end{pmatrix}$
  $\begin{pmatrix} .. ..
1 1 1 & \phantom{-}1 \\ ··· \cdots . \vdots . \ddots
0 −1 0 & -1 \end{pmatrix}$
✎ Exercice 6
La commande \hphantom{texte} produit un caractère blanc, de
hauteur nulle, ayant la même largeur que texte, tandis que
\vphantom{texte} produit un caractère blanc, de largeur nulle,
ayant la même hauteur que le texte. 17/32 18/32
Mathématiques Mathématiques
Présentations : la classe Beamer Présentations : la classe Beamer

Empilement de symboles Autres empilements

=sin 2θ
z }| {
2 2
f (θ) = cos
| θ +
{z sin θ
} 2 sin θ cos θ = 1 + sin 2θ.
+
=1
$a\stackrel{\text{déf}}{=} b^2$
déf
$f(\theta) = \underbrace{\cos^2\theta+\sin^2\theta}_{=1} a = b2 Empilement (stack) d’un premier argument au-
+\overbrace{2\sin\theta\cos\theta}^{=\sin 2\theta}$ dessus d’un second, ce dernier étant sur la ligne
de base
On obtient 1, . . . , n par $\underleftarrow{1,\ldots,n}$.
←−−−−− n
$\binom{n}{p}$
p Coefficients binomiaux de Newton
a
z }| { N
2 $x_n\xrightarrow[n\to\infty]{N_2} 0$
1, . . . , n $\overbrace{1,\ldots,n}^a$ xn −−−→0
n→∞ Flèches extensibles vers la droite
1, . . . , n $\overline{1,\ldots,n}$ g xi $U\xleftarrow[b_1,\ldots,b_n]{g^{x_i}}V$
←−−−−− U ←−−−−− V
1, . . . , n $\overleftarrow{1,\ldots,n}$ b1 ,...,bn Flèches extensibles vers la gauche
−−−−−→
1, . . . , n $\overrightarrow{1,\ldots,n}$
←−−−→
1, . . . , n $\overleftrightarrow{1,\ldots,n}$
19/32 20/32
 Mathématiques Mathématiques
Présentations : la classe Beamer Présentations : la classe Beamer

Autres empilements Numérotation des équations

◦ $\overset{\circ}{A}$
A Exposant centré
y ′′ − ω 2 y = f (1)
E $\underset{*}{E}$
∗ Indice centré L’équation (1) implique la continuité de y .
ℓ Yc $\sideset{_a^\ell}{_b^c} \prod$ \begin{equation}
a b Indices et exposants sur les deux côtés d’un opé- y’’ -\omega^2 y = f
rateur \label{eq:ED1}
P
n $\sum_{\substack{i=1 \\ i\neq j}}^n$ \end{equation}
aij Empilement d’un nombre quelconque de lignes L’équation~\eqref{eq:ED1}..
i =1
i 6=j centrées1 séparées par des \\

✎ Exercice 7
21/32 22/32
Mathématiques Mathématiques
Présentations : la classe Beamer Présentations : la classe Beamer

Modification locale de la numérotation Équations sur plusieurs lignes

y ′′ − ω 2 y = f (∗) Z


f (ax), φ(x) = f (ax) φ(x) dx (2)
L’équation (∗) implique la continuité de y . Z  x  dx
\begin{equation} = f (x) φ
a |a|
y’’ -\omega^2 y = f 1 D  x E
\label{eq:ED1} \tag{$*$} = f (x), φ (3)
|a| a
\end{equation}
L’équation~\eqref{eq:ED1}.. \begin{align}
\big\langle f(ax)\,\phi(x)\big\rangle & = ... \\
La commande \tag* n’insère pas de parenthèses autour de son & = \int f(x) ... \notag \\
argument. & = \dfrac{1}{|a|} ...
L’instruction \notag (ou son synonyme \nonumber) permet au \end{align}
contraire de supprimer une numérotation.

✎ Exercice 8 ✎ Exercice 9
23/32 24/32
 Mathématiques Mathématiques
Présentations : la classe Beamer Présentations : la classe Beamer

Plusieurs groupes d’équations Équation à l’intérieur d’une équation

\[ \mathscr{S} \iff
\begin{align*} \left\{
a & = b & c & = d \\ ( \begin{aligned}
a=b c=d x2 + y2 = 1 x^2+y^2 & =1 \\
′ ′
& = b’ & & = d’ S ⇐⇒
=b =d \end{align*} 2x + 3y = 5 2x + 3y & = 5
\end{aligned}
\right. \]

25/32 26/32
Mathématiques Mathématiques
Présentations : la classe Beamer Présentations : la classe Beamer

Sous-équations Les lignes trop longues

ZZZ
\begin{equation}
u_{n+1} = a u_n+b\,n f (u, v , w ) du dv dw =
∆ ZZZ
un+1 = aun + b n (4) \end{equation}

où f u(x, y , z), v (x, y , z), w (x, y , z) ×
où D
\begin{subequations}  
 D(u, v , w ) 
 
a=1 (5a)
\begin{align}  D(x, y , z)  dx dy dz (6)
a & = 1 \\
b=7 (5b) b & = 7 \begin{multline}
\end{align} \iiint_\Delta ... = \\
\end{subequations} \iiint_\mathrm{D} ... \times \\
\left| ... \mathrm{d}y\,\mathrm{d}z
\end{multline}

27/32 28/32
 Mathématiques Mathématiques
Présentations : la classe Beamer Présentations : la classe Beamer

Structures conditionnelles Numéroter des théorèmes

\newtheorem{conj}{Conjecture}

\[ \delta_{ij} = \begin{conj}[Goldbach]
( \begin{cases} Tout nombre entier pair $n\geqslant 4$ peut s’écrire
0 si i =
6 j 0 & \text{si } i\neq j\\ comme la somme de deux nombres premiers.
δij =
1 si i = j 1 &\text{si } i=j \end{conj}
\end{cases} \]
Autres environnements : {split}, {gather}, {gathered}, Pour que le compteur de référence soit la section :
{alignat} et {flalign} \newtheorem{conj2}{Conjecture}[section]

✎ Exercice 10 et dans le texte : \begin{conj2}[Goldbach] ... \end{conj2}

Personnalisation : package ntheorem

✎ Exercice 11

29/32 30/32
Mathématiques Mathématiques
Présentations : la classe Beamer Présentations : la classe Beamer

Exemple minimal Découvrir des éléments au fur et à mesure

\documentclass{beamer} Du texte révélé uniquement à partir du 4e affichage du transparent,
\usetheme{Warsaw} mais dont la place est réservé dès le départ.
\mode<presentation>
\title{Le titre} \uncover<4->{texte}
\author{L’auteur}
La même chose, sans réserver la place :
\begin{document} \only<4->{texte}
\begin{frame} Pour des énumérations dont les éléments apparaissent les uns après
\titlepage les autres :
\end{frame}
\begin{itemize}
\section{Première partie}
\begin{frame} \item<1-> texte 1
\frametitle{Le titre du premier transparent} \item<2-> texte 2
\end{frame} \item<3-> texte 3
\end{itemize}
\end{document}
31/32 32/32