Calculons
\overrightarrow{\mathrm{BG}} \cdot \overrightarrow{\mathrm{EC}}.
D'après la relation de Chasles, on a
\overrightarrow{\mathrm{EC}}=\overrightarrow{\mathrm{EF}}+\overrightarrow{\mathrm{FC}}.
Par linéarité,
\overrightarrow{\mathrm{BG}} \cdot \overrightarrow{\mathrm{EC}}=\overrightarrow{\mathrm{BG}} \cdot \overrightarrow{\mathrm{EF}}+\overrightarrow{\mathrm{BG}} \cdot \overrightarrow{\mathrm{FC}}.
D'une part, les diagonales du carré
\text{BCGF} sont perpendiculaires donc
\overrightarrow{\mathrm{BG}} \cdot \overrightarrow{\mathrm{FC}}=0. D'autre part,
(\mathrm{EF}) \perp(\mathrm{BFC}) donc
\overrightarrow{\mathrm{BG}} \cdot \overrightarrow{\mathrm{EF}}=0.
Ainsi,
\overrightarrow{\mathrm{BG}} \cdot \overrightarrow{\mathrm{EC}}=0 : les droites
\text{(BG)} et
\text{(EC)} sont donc orthogonales.
Pour s'entraîner
exercices
et
p. 102