Soient Aar+By-|-C*+D=o, A!x+B'y+C'z+D'=o

les équations des deux plans. L'angle cherché est égal à l'angle des normales menées de l'origine aux deux plans donnés. Désignons par a, p, y les angles que fait avec les axes la première normale, par a, p', Y les angles de la seconde normale, et par V l'angle cherché. Les axes étant supposés rectangulaires, on a (n° 417)

cos V = cos a cos a + cos $ cos p' -f- cos y cos y' ; d'où, en vertu des formules (7),

f y v -4- AA' + BB' + CC

(10) cos V = -H . — '

VA2 + B2 -f C2 VA'2 + B/2 + G'2 Pour que les deux plans soient perpendiculaires entre eux, il est nécessaire et il suffit que Ton ait (n) AA' + BB'+CC' = o.