4.3.0.3 Perpendicularité

Deux droites ou hyperplans sont dits perpendiculaires s'ils forment un angle égal à $\frac{\pi}{2}$. La condition de perpendicularité des hyperplans d'équations $a_1x_1+\cdots +a_nx_n+b=0$ et $a_1'x_1+\cdots +a_n'x_n+b'=0$ dans un repère orthonormé est donc

$$a_1a_1'+\cdots +a_na_n'=0.$$