En raison de limitations techniques, la typographie souhaitable du titre, «
Exercice : Application directeApplication linéaire/Exercices/Application directe », n'a pu être restituée correctement ci-dessus.
Être ou ne pas être une application linéaire ?
modifier
Les applications suivantes sont-elles linéaires ?
u
1
:
R
3
→
R
(
x
,
y
,
z
)
↦
x
−
y
+
3
z
{\displaystyle {\begin{array}{ccccc}u_{1}&:&\mathbb {R} ^{3}&\rightarrow &\mathbb {R} \\~&~&(x,y,z)&\mapsto &x-y+3z\end{array}}}
u
2
:
R
3
→
R
(
x
,
y
,
z
)
↦
x
−
y
+
3
{\displaystyle {\begin{array}{ccccc}u_{2}&:&\mathbb {R} ^{3}&\rightarrow &\mathbb {R} \\~&~&(x,y,z)&\mapsto &x-y+3\end{array}}}
u
3
:
R
3
→
R
(
x
,
y
,
z
)
↦
(
x
−
y
)
z
{\displaystyle {\begin{array}{ccccc}u_{3}&:&\mathbb {R} ^{3}&\rightarrow &\mathbb {R} \\~&~&(x,y,z)&\mapsto &(x-y)z\end{array}}}
u
4
:
R
3
→
R
2
(
x
,
y
,
z
)
↦
(
x
−
y
,
z
)
{\displaystyle {\begin{array}{ccccc}u_{4}&:&\mathbb {R} ^{3}&\rightarrow &\mathbb {R} ^{2}\\~&~&(x,y,z)&\mapsto &(x-y,z)\end{array}}}
Solution
u
1
{\displaystyle u_{1}}
est l'application produit scalaire par le vecteur de coordonnées
(
1
,
−
1
,
3
)
{\displaystyle (1,-1,3)}
donc c'est une forme linéaire.
u
2
{\displaystyle u_{2}}
n'est pas linéaire car
u
2
(
0
,
0
,
0
)
≠
0
{\displaystyle u_{2}(0,0,0)\neq 0}
.
u
3
{\displaystyle u_{3}}
n'est pas linéaire mais quadratique : pour tout vecteur
v
∈
R
3
{\displaystyle v\in \mathbb {R} ^{3}}
et tout scalaire
λ
∈
R
{\displaystyle \lambda \in \mathbb {R} }
,
u
3
(
λ
v
)
=
λ
2
u
3
(
v
)
{\displaystyle u_{3}(\lambda v)=\lambda ^{2}u_{3}(v)}
est différent de
λ
u
3
(
v
)
{\displaystyle \lambda u_{3}(v)}
dès que
u
3
(
v
)
≠
0
{\displaystyle u_{3}(v)\neq 0}
et
λ
2
≠
λ
{\displaystyle \lambda ^{2}\neq \lambda }
(exemple :
v
=
(
1
,
0
,
1
)
{\displaystyle v=(1,0,1)}
et
λ
=
2
{\displaystyle \lambda =2}
).
u
4
{\displaystyle u_{4}}
est linéaire. Cela vient du fait que
u
4
(
v
)
=
(
f
(
v
)
,
g
(
v
)
)
{\displaystyle u_{4}(v)=(f(v),g(v))}
où
f
{\displaystyle f}
et
g
{\displaystyle g}
sont les formes linéaires produit scalaire par
(
1
,
−
1
,
0
)
{\displaystyle (1,-1,0)}
et
(
0
,
0
,
1
)
{\displaystyle (0,0,1)}
. On systématisera cet argument au chapitre « Matrice/Matrice d'une application linéaire », mais on peut déjà le voir sur cet exemple :
pour tous vecteurs
v
1
,
v
2
{\displaystyle v_{1},v_{2}}
et tout scalaire
λ
{\displaystyle \lambda }
, on a (par linéarité de
f
{\displaystyle f}
et
g
{\displaystyle g}
et par définition des opérations sur l'espace vectoriel d'arrivée
R
2
{\displaystyle \mathbb {R} ^{2}}
) :
u
4
(
λ
v
1
+
v
2
)
=
(
f
(
λ
v
1
+
v
2
)
,
g
(
λ
v
1
+
v
2
)
)
=
(
λ
f
(
v
1
)
+
f
(
v
2
)
,
λ
g
(
v
1
)
+
g
(
v
2
)
)
=
λ
(
f
(
v
1
)
,
g
(
v
1
)
)
+
(
f
(
v
2
)
,
g
(
v
2
)
)
=
λ
u
4
(
v
1
)
+
u
4
(
v
2
)
.
{\displaystyle {\begin{aligned}u_{4}\left(\lambda v_{1}+v_{2}\right)&=\left(f\left(\lambda v_{1}+v_{2}\right),g\left(\lambda v_{1}+v_{2}\right)\right)\\&=\left(\lambda f\left(v_{1}\right)+f\left(v_{2}\right),\lambda g\left(v_{1}\right)+g\left(v_{2}\right)\right)\\&=\lambda \left(f\left(v_{1}\right),g\left(v_{1}\right)\right)+\left(f\left(v_{2}\right),g\left(v_{2}\right)\right)\\&=\lambda u_{4}\left(v_{1}\right)+u_{4}\left(v_{2}\right).\end{aligned}}}
Pour chaque couple
(
E
,
F
)
{\displaystyle (E,F)}
d'espaces vectoriels et chaque application
E
→
F
{\displaystyle E\to F}
, indiquer si elle est linéaire ou non en justifiant la réponse.
E
=
R
2
{\displaystyle E=\mathbb {R} ^{2}}
,
F
=
R
{\displaystyle F=\mathbb {R} }
,
f
(
x
,
y
)
=
x
+
y
{\displaystyle f(x,y)=x+y}
,
g
(
x
,
y
)
=
x
+
y
−
1
{\displaystyle g(x,y)=x+y-1}
,
h
(
x
,
y
)
=
2
x
{\displaystyle h(x,y)=2x}
,
i
(
x
,
y
)
=
x
y
{\displaystyle i(x,y)=xy}
.
E
=
F
=
R
2
{\displaystyle E=F=\mathbb {R} ^{2}}
,
f
(
x
,
y
)
=
(
2
x
,
x
−
y
)
{\displaystyle f(x,y)=(2x,x-y)}
,
g
(
x
,
y
)
=
(
x
−
y
,
1
)
{\displaystyle g(x,y)=(x-y,1)}
,
h
(
x
,
y
)
=
(
x
(
y
−
2
)
,
x
)
{\displaystyle h(x,y)=(x(y-2),x)}
,
i
(
x
,
y
)
=
(
x
−
y
,
0
)
{\displaystyle i(x,y)=(x-y,0)}
.
E
=
R
3
{\displaystyle E=\mathbb {R} ^{3}}
,
F
=
R
2
{\displaystyle F=\mathbb {R} ^{2}}
,
f
(
x
,
y
)
=
(
2
x
−
3
y
+
5
z
,
2
y
)
{\displaystyle f(x,y)=(2x-3y+5z,2y)}
.
E
=
R
3
[
X
]
{\displaystyle E=\mathbb {R} _{3}[X]}
,
F
=
R
{\displaystyle F=\mathbb {R} }
,
f
(
p
)
=
p
(
0
)
{\displaystyle f(p)=p(0)}
,
g
(
p
)
=
p
(
1
)
−
p
′
(
0
)
{\displaystyle g(p)=p(1)-p'(0)}
,
h
(
p
)
=
p
(
0
)
p
(
1
)
{\displaystyle h(p)=p(0)p(1)}
.
Solution
f
{\displaystyle f}
est l'application produit scalaire par le vecteur de coordonnées
(
1
,
1
)
{\displaystyle (1,1)}
donc c'est une forme linéaire.
g
{\displaystyle g}
n'est pas linéaire car
g
(
0
,
0
)
≠
0
{\displaystyle g(0,0)\neq 0}
.
h
{\displaystyle h}
est l'application produit scalaire par le vecteur de coordonnées
(
2
,
0
)
{\displaystyle (2,0)}
donc c'est une forme linéaire.
i
{\displaystyle i}
n'est pas linéaire mais quadratique : pour tout vecteur
v
∈
R
2
{\displaystyle v\in \mathbb {R} ^{2}}
et tout scalaire
λ
∈
R
{\displaystyle \lambda \in \mathbb {R} }
,
i
(
λ
v
)
=
λ
2
i
(
v
)
{\displaystyle i(\lambda v)=\lambda ^{2}i(v)}
est différent de
λ
i
(
v
)
{\displaystyle \lambda i(v)}
dès que
i
(
v
)
≠
0
{\displaystyle i(v)\neq 0}
et
λ
2
≠
λ
{\displaystyle \lambda ^{2}\neq \lambda }
(exemple :
v
=
(
1
,
1
)
{\displaystyle v=(1,1)}
et
λ
=
2
{\displaystyle \lambda =2}
).
f
{\displaystyle f}
est l'application linéaire de matrice
(
2
0
1
−
1
)
{\displaystyle {\begin{pmatrix}2&0\\1&-1\end{pmatrix}}}
.
g
{\displaystyle g}
n'est pas linéaire car
g
(
0
,
0
)
≠
(
0
,
0
)
{\displaystyle g(0,0)\neq (0,0)}
.
h
=
(
h
1
,
h
2
)
{\displaystyle h=(h_{1},h_{2})}
n'est pas linéaire car
h
1
{\displaystyle h_{1}}
ne l'est pas :
2
h
1
(
1
,
2
)
=
0
≠
h
1
(
2
,
4
)
{\displaystyle 2h_{1}(1,2)=0\neq h_{1}(2,4)}
.
i
{\displaystyle i}
est l'application linéaire de matrice
(
1
−
1
0
0
)
{\displaystyle {\begin{pmatrix}1&-1\\0&0\end{pmatrix}}}
.
f
{\displaystyle f}
est l'application linéaire de matrice
(
2
−
3
5
0
2
0
)
{\displaystyle {\begin{pmatrix}2&-3&5\\0&2&0\end{pmatrix}}}
.
f
{\displaystyle f}
et
g
{\displaystyle g}
sont linéaires car les applications de dérivation ou d'évaluation en un point le sont.
h
{\displaystyle h}
n'est pas linéaire mais quadratique (exemple :
2
h
(
1
)
=
2
≠
2
2
=
h
(
2
)
{\displaystyle 2h(1)=2\neq 2^{2}=h(2)}
).
Montrer que l'application
u
:
R
2
→
R
2
(
x
,
y
)
↦
(
x
+
y
,
x
−
y
)
{\displaystyle {\begin{matrix}u&:&\mathbb {R} ^{2}&\to &\mathbb {R} ^{2}\\&&\left(x,y\right)&\mapsto &\left(x+y,x-y\right)\end{matrix}}}
est un automorphisme de
R
2
{\displaystyle \mathbb {R} ^{2}}
et calculer l'automorphisme réciproque.
Montrer que l'application
f
:
K
3
→
K
3
{\displaystyle f:K^{3}\to K^{3}}
définie par
f
(
x
y
z
)
=
(
x
−
2
y
+
2
z
x
+
2
y
−
z
−
y
+
z
)
{\displaystyle f{\begin{pmatrix}x\\y\\z\end{pmatrix}}={\begin{pmatrix}x-2y+2z\\x+2y-z\\-y+z\end{pmatrix}}}
est bijective et calculer son inverse.
Solution
f
(
x
y
z
)
=
(
x
′
y
′
z
′
)
⇔
{
x
−
2
y
+
2
z
=
x
′
x
+
2
y
−
z
=
y
′
−
y
+
z
=
z
′
}
⇔
{
x
=
x
′
−
2
z
′
y
=
−
x
′
+
y
′
+
3
z
′
z
=
−
x
′
+
y
′
+
4
z
′
{\displaystyle f{\begin{pmatrix}x\\y\\z\end{pmatrix}}={\begin{pmatrix}x'\\y'\\z'\end{pmatrix}}\Leftrightarrow \left\{{\begin{matrix}x-2y+2z=x'\\x+2y-z=y'\\-y+z=z'\end{matrix}}\right\}\Leftrightarrow {\begin{cases}x&=x'-2z'\\y&=-x'+y'+3z'\\z&=-x'+y'+4z'\end{cases}}}
donc
f
{\displaystyle f}
est bijective et sa bijection réciproque est donnée par
f
−
1
(
x
′
y
′
z
′
)
=
(
x
′
−
2
z
′
−
x
′
+
y
′
+
3
z
′
−
x
′
+
y
′
+
4
z
′
)
{\displaystyle f^{-1}{\begin{pmatrix}x'\\y'\\z'\end{pmatrix}}={\begin{pmatrix}x'-2z'\\-x'+y'+3z'\\-x'+y'+4z'\end{pmatrix}}}
.
Soit
d
∈
N
{\displaystyle d\in \mathbb {N} }
.
Soient
t
0
,
…
,
t
d
∈
K
{\displaystyle t_{0},\ldots ,t_{d}\in K}
deux à deux distincts et
f
:
K
d
[
X
]
→
K
d
+
1
{\displaystyle f:K_{d}[X]\to K^{d+1}}
l'application définie par
f
(
p
)
=
(
p
(
t
0
)
,
…
,
p
(
t
d
)
)
{\displaystyle f(p)=(p(t_{0}),\ldots ,p(t_{d}))}
. Montrer que
f
{\displaystyle f}
est linéaire et bijective.
Soient
t
k
=
cos
(
k
π
/
d
)
,
k
=
0
,
…
,
d
{\displaystyle t_{k}=\cos(k\pi /d),\;k=0,\ldots ,d}
. Montrer qu'il existe un unique polynôme
T
d
∈
R
d
[
X
]
{\displaystyle T_{d}\in \mathbb {R} _{d}[X]}
tel que
T
d
(
t
k
)
=
(
−
1
)
k
,
k
=
0
,
…
,
d
{\displaystyle T_{d}(t_{k})=(-1)^{k},\;k=0,\ldots ,d}
. Calculer
T
1
{\displaystyle T_{1}}
,
T
2
{\displaystyle T_{2}}
et
T
3
{\displaystyle T_{3}}
.
Solution
f
{\displaystyle f}
est linéaire car ses
d
+
1
{\displaystyle d+1}
composantes (évaluation en un point) le sont. Son noyau est réduit à
{
0
}
{\displaystyle \{0\}}
car un polynôme non nul de degré
≤
d
{\displaystyle \leq d}
ne peut pas avoir
d
+
1
{\displaystyle d+1}
racines. Elle est donc injective. Comme ses espaces de départ et d'arrivée ont même dimension (
d
+
1
{\displaystyle d+1}
), elle est finalement bijective. Voir aussi Interpolation de Lagrange .
L'existence et l'unicité de
T
d
{\displaystyle T_{d}}
sont garanties par la bijectivité de
f
{\displaystyle f}
. Voir aussi Polynômes de Tchebychev .
T
1
∈
R
1
[
X
]
,
T
1
(
1
)
=
1
,
T
1
(
−
1
)
=
−
1
⇔
T
1
(
X
)
=
X
{\displaystyle T_{1}\in \mathbb {R} _{1}[X],\;T_{1}(1)=1,\;T_{1}(-1)=-1\Leftrightarrow T_{1}(X)=X}
.
T
2
∈
R
2
[
X
]
,
T
2
(
1
)
=
1
,
T
2
(
0
)
=
−
1
,
T
2
(
−
1
)
=
1
⇔
T
2
(
X
)
=
2
X
2
−
1
{\displaystyle T_{2}\in \mathbb {R} _{2}[X],\;T_{2}(1)=1,\;T_{2}(0)=-1,\;T_{2}(-1)=1\Leftrightarrow T_{2}(X)=2X^{2}-1}
.
T
3
∈
R
2
[
X
]
,
T
3
(
1
)
=
1
,
T
3
(
1
/
2
)
=
−
1
,
T
3
(
−
1
/
2
)
=
1
,
T
3
(
−
1
)
=
−
1
⇔
T
3
(
X
)
=
4
X
3
−
3
X
{\displaystyle T_{3}\in \mathbb {R} _{2}[X],\;T_{3}(1)=1,\;T_{3}(1/2)=-1,\;T_{3}(-1/2)=1,\;T_{3}(-1)=-1\Leftrightarrow T_{3}(X)=4X^{3}-3X}
.
Applications linéaires proportionnelles
modifier
Soient
f
,
g
∈
L
(
E
,
F
)
{\displaystyle f,g\in \operatorname {L} \left(E,F\right)}
telles que
∀
x
∈
E
∃
λ
∈
K
f
(
x
)
=
λ
g
(
x
)
{\displaystyle \forall x\in E\quad \exists \lambda \in K\quad f(x)=\lambda g(x)}
.
Montrer que
f
{\displaystyle f}
est la composée de
g
{\displaystyle g}
par une homothétie de
F
{\displaystyle F}
, c'est-à-dire :
∃
λ
∈
K
∀
x
∈
E
f
(
x
)
=
λ
g
(
x
)
{\displaystyle \exists \lambda \in K\quad \forall x\in E\quad f(x)=\lambda g(x)}
.
Solution
Le résultat étant immédiat si
g
{\displaystyle g}
est l'application nulle, supposons
g
≠
0
{\displaystyle g\neq 0}
.
Pour tout
x
∈
E
{\displaystyle x\in E}
tel que
g
(
x
)
≠
0
{\displaystyle g(x)\neq 0}
, notons
λ
x
{\displaystyle \lambda _{x}}
l'unique scalaire tel que
f
(
x
)
=
λ
x
g
(
x
)
{\displaystyle f(x)=\lambda _{x}g(x)}
.
Soient
x
,
y
∈
E
{\displaystyle x,y\in E}
, d'images non nulles par
g
{\displaystyle g}
.
Si
(
g
(
x
)
,
g
(
y
)
)
{\displaystyle \left(g(x),g(y)\right)}
est libre alors
λ
x
=
λ
x
+
y
=
λ
y
{\displaystyle \lambda _{x}=\lambda _{x+y}=\lambda _{y}}
car
λ
x
g
(
x
)
+
λ
y
g
(
y
)
=
f
(
x
)
+
f
(
y
)
=
f
(
x
+
y
)
=
λ
x
+
y
g
(
x
+
y
)
=
λ
x
+
y
(
g
(
x
)
+
g
(
y
)
)
=
λ
x
+
y
g
(
x
)
+
λ
x
+
y
g
(
y
)
{\displaystyle \lambda _{x}g(x)+\lambda _{y}g(y)=f(x)+f(y)=f(x+y)=\lambda _{x+y}g(x+y)=\lambda _{x+y}\left(g(x)+g(y)\right)=\lambda _{x+y}g(x)+\lambda _{x+y}g(y)}
.
Si
g
(
y
)
=
μ
g
(
x
)
{\displaystyle g(y)=\mu g(x)}
(
≠
0
{\displaystyle \neq 0}
) alors
g
(
y
−
μ
x
)
=
0
{\displaystyle g(y-\mu x)=0}
donc
f
(
y
−
μ
x
)
=
0
{\displaystyle f(y-\mu x)=0}
, si bien que
λ
y
μ
g
(
x
)
=
λ
y
g
(
y
)
=
f
(
y
)
=
μ
f
(
x
)
=
μ
λ
x
g
(
x
)
{\displaystyle \lambda _{y}\mu g(x)=\lambda _{y}g(y)=f(y)=\mu f(x)=\mu \lambda _{x}g(x)}
.
Dans les deux cas, on en déduit que
λ
x
=
λ
y
{\displaystyle \lambda _{x}=\lambda _{y}}
. Ainsi, tous les
λ
x
{\displaystyle \lambda _{x}}
(pour
g
(
x
)
≠
0
{\displaystyle g(x)\neq 0}
) sont égaux à un même scalaire
λ
{\displaystyle \lambda }
.
L'égalité
f
(
x
)
=
λ
g
(
x
)
{\displaystyle f(x)=\lambda g(x)}
étant aussi vérifiée pour les
x
{\displaystyle x}
tels que
g
(
x
)
=
0
{\displaystyle g(x)=0}
, la conclusion s'ensuit.
Soit
f
:
C
→
C
,
z
↦
e
i
θ
z
¯
{\displaystyle f:\mathbb {C} \to \mathbb {C} ,\;z\mapsto \operatorname {e} ^{\mathrm {i} \theta }{\bar {z}}}
. On considère
C
{\displaystyle \mathbb {C} }
comme un
R
{\displaystyle \mathbb {R} }
-espace vectoriel et l'on fixe la base
ε
=
(
1
,
i
)
{\displaystyle \varepsilon =(1,\mathrm {i} )}
.
Montrer que
f
{\displaystyle f}
est
R
{\displaystyle \mathbb {R} }
-linéaire.
Calculer
A
:=
M
a
t
(
f
,
ε
,
ε
)
{\displaystyle A:=\mathrm {Mat} (f,\varepsilon ,\varepsilon )}
.
Existe-t-il
u
{\displaystyle u}
et
v
∈
C
∖
{
0
}
{\displaystyle v\in \mathbb {C} \setminus \{0\}}
tels que
f
(
u
)
=
u
{\displaystyle f(u)=u}
et
f
(
v
)
=
−
v
{\displaystyle f(v)=-v}
? Si c'est le cas, déterminer un tel
u
{\displaystyle u}
et un tel
v
{\displaystyle v}
.
Décrire géométriquement
f
{\displaystyle f}
.
Soit
g
:
C
→
C
,
z
↦
e
i
ρ
z
¯
{\displaystyle g:\mathbb {C} \to \mathbb {C} ,\;z\mapsto \operatorname {e} ^{\mathrm {i} \rho }{\bar {z}}}
. Calculer
M
a
t
(
g
∘
f
,
ε
,
ε
)
{\displaystyle \mathrm {Mat} (g\circ f,\varepsilon ,\varepsilon )}
et décrire géométriquement
g
∘
f
{\displaystyle g\circ f}
.
Solution
f
{\displaystyle f}
est composée des applications
s
:
z
↦
z
¯
{\displaystyle s:z\mapsto {\bar {z}}}
(
R
{\displaystyle \mathbb {R} }
-linéaire) et
r
:
w
↦
e
i
θ
w
{\displaystyle r:w\mapsto \operatorname {e} ^{\mathrm {i} \theta }w}
(
C
{\displaystyle \mathbb {C} }
- donc
R
{\displaystyle \mathbb {R} }
-linéaire) :
f
=
r
∘
s
{\displaystyle f=r\circ s}
. Donc
f
{\displaystyle f}
est
R
{\displaystyle \mathbb {R} }
-linéaire.
s
(
x
+
i
y
)
=
x
−
i
y
{\displaystyle s(x+\mathrm {i} y)=x-\mathrm {i} y}
donc
S
=
(
1
0
0
−
1
)
{\displaystyle S={\begin{pmatrix}1&0\\0&-1\end{pmatrix}}}
,
r
(
x
+
i
y
)
=
(
x
cos
θ
−
y
sin
θ
)
+
i
(
x
sin
θ
+
y
cos
θ
)
{\displaystyle r(x+\mathrm {i} y)=(x\cos \theta -y\sin \theta )+\mathrm {i} (x\sin \theta +y\cos \theta )}
donc
R
=
(
cos
θ
−
sin
θ
sin
θ
cos
θ
)
{\displaystyle R={\begin{pmatrix}\cos \theta &-\sin \theta \\\sin \theta &\cos \theta \end{pmatrix}}}
et
A
=
R
S
=
(
cos
θ
sin
θ
sin
θ
−
cos
θ
)
{\displaystyle A=RS={\begin{pmatrix}\cos \theta &\sin \theta \\\sin \theta &-\cos \theta \end{pmatrix}}}
.
f
(
x
+
i
y
)
=
x
+
i
y
⇔
{
x
(
cos
θ
−
1
)
+
y
sin
θ
=
0
x
sin
θ
−
y
(
cos
θ
+
1
)
=
0
{\displaystyle f(x+\mathrm {i} y)=x+\mathrm {i} y\Leftrightarrow {\begin{cases}x(\cos \theta -1)+y\sin \theta =0\\x\sin \theta -y(\cos \theta +1)=0\end{cases}}}
. Or
cos
θ
−
1
=
−
2
sin
2
θ
2
{\displaystyle \cos \theta -1=-2\sin ^{2}{\frac {\theta }{2}}}
,
cos
θ
+
1
=
2
cos
2
θ
2
{\displaystyle \cos \theta +1=2\cos ^{2}{\frac {\theta }{2}}}
et
sin
θ
=
2
cos
θ
2
sin
θ
2
{\displaystyle \sin \theta =2\cos {\frac {\theta }{2}}\sin {\frac {\theta }{2}}}
. Le système précédent se réécrit donc
{
2
sin
θ
2
(
−
sin
θ
2
x
+
cos
θ
2
y
)
=
0
2
cos
θ
2
(
sin
θ
2
x
−
cos
θ
2
y
)
=
0.
{\displaystyle {\begin{cases}2\sin {\frac {\theta }{2}}\left(-\sin {\frac {\theta }{2}}x+\cos {\frac {\theta }{2}}y\right)=0\\2\cos {\frac {\theta }{2}}\left(\sin {\frac {\theta }{2}}x-\cos {\frac {\theta }{2}}y\right)=0.\end{cases}}}
Une solution est donc
u
=
cos
θ
2
+
i
sin
θ
2
{\displaystyle u=\cos {\frac {\theta }{2}}+\mathrm {i} \sin {\frac {\theta }{2}}}
. De même,
f
(
x
+
i
y
)
=
−
(
x
+
i
y
)
⇔
{
x
(
cos
θ
+
1
)
+
y
sin
θ
=
0
x
sin
θ
+
y
(
−
cos
θ
+
1
)
=
0
⇔
x
cos
θ
2
+
y
sin
θ
2
=
0
{\displaystyle f(x+\mathrm {i} y)=-(x+\mathrm {i} y)\Leftrightarrow {\begin{cases}x(\cos \theta +1)+y\sin \theta =0\\x\sin \theta +y(-\cos \theta +1)=0\end{cases}}\Leftrightarrow x\cos {\frac {\theta }{2}}+y\sin {\frac {\theta }{2}}=0}
Une solution est donc
v
=
−
sin
θ
2
+
i
cos
θ
2
{\displaystyle v=-\sin {\frac {\theta }{2}}+\mathrm {i} \cos {\frac {\theta }{2}}}
. Ou globalement :
e
i
θ
u
¯
=
u
⇔
e
i
θ
/
2
u
¯
=
e
−
i
θ
/
2
u
⇔
e
−
i
θ
/
2
u
∈
R
⇔
u
∈
R
e
i
θ
/
2
{\displaystyle \operatorname {e} ^{\mathrm {i} \theta }{\bar {u}}=u\Leftrightarrow \operatorname {e} ^{\mathrm {i} \theta /2}{\bar {u}}=\operatorname {e} ^{-\mathrm {i} \theta /2}u\Leftrightarrow \operatorname {e} ^{-\mathrm {i} \theta /2}u\in \mathbb {R} \Leftrightarrow u\in \mathbb {R} \operatorname {e} ^{\mathrm {i} \theta /2}}
et de même,
e
i
θ
v
¯
=
−
v
⇔
e
i
θ
/
2
v
¯
=
−
e
−
i
θ
/
2
v
⇔
e
−
i
θ
/
2
v
∈
i
R
⇔
v
∈
R
i
e
i
θ
/
2
{\displaystyle \operatorname {e} ^{\mathrm {i} \theta }{\bar {v}}=-v\Leftrightarrow \operatorname {e} ^{\mathrm {i} \theta /2}{\bar {v}}=-\operatorname {e} ^{-\mathrm {i} \theta /2}v\Leftrightarrow \operatorname {e} ^{-\mathrm {i} \theta /2}v\in \mathrm {i} \mathbb {R} \Leftrightarrow v\in \mathbb {R} \mathrm {i} \operatorname {e} ^{\mathrm {i} \theta /2}}
.
(
u
,
v
)
{\displaystyle (u,v)}
est une base de
C
{\displaystyle \mathbb {C} }
, car
R
{\displaystyle \mathbb {R} }
-libre (en fait,
v
=
i
u
{\displaystyle v=\mathrm {i} u}
) et
f
{\displaystyle f}
est la symétrie par rapport à
R
u
{\displaystyle \mathbb {R} u}
, parallèlement à
R
v
{\displaystyle \mathbb {R} v}
(c'est-à-dire la symétrie orthogonale par rapport à
R
u
{\displaystyle \mathbb {R} u}
).
M
a
t
(
g
∘
f
,
ε
,
ε
)
=
(
cos
ρ
sin
ρ
sin
ρ
−
cos
ρ
)
(
cos
θ
sin
θ
sin
θ
−
cos
θ
)
=
(
cos
t
−
sin
t
sin
t
cos
t
)
{\displaystyle \mathrm {Mat} (g\circ f,\varepsilon ,\varepsilon )={\begin{pmatrix}\cos \rho &\sin \rho \\\sin \rho &-\cos \rho \end{pmatrix}}{\begin{pmatrix}\cos \theta &\sin \theta \\\sin \theta &-\cos \theta \end{pmatrix}}={\begin{pmatrix}\cos t&-\sin t\\\sin t&\cos t\end{pmatrix}}}
avec
t
=
ρ
−
θ
{\displaystyle t=\rho -\theta }
, donc
g
∘
f
{\displaystyle g\circ f}
est la rotation d'angle
ρ
−
θ
{\displaystyle \rho -\theta }
. On pouvait d'ailleurs le trouver directement :
g
(
f
(
z
)
)
=
g
(
e
i
θ
z
¯
)
=
e
i
ρ
e
i
θ
z
¯
¯
=
e
i
(
ρ
−
θ
)
z
{\displaystyle g(f(z))=g(\operatorname {e} ^{\mathrm {i} \theta }{\bar {z}})=\operatorname {e} ^{\mathrm {i} \rho }{\overline {\operatorname {e} ^{\mathrm {i} \theta }{\bar {z}}}}=\operatorname {e} ^{\mathrm {i} (\rho -\theta )}z}
.