Soient un angle dans l’espace euclidien non-orienté et plans. Que vaut la moyenne des amplitudes des projections de sur chacun de ces plans ?
Solutions
1Reveal solutionsAre you sure? Give it a try first.
Les projections et la moyenne sont des applications linéaires, ainsi la composée de ces applications est aussi linéaire (en l’amplitude de l’angle de départ). Par conséquent, il suffit de considérer l’image de l’angle est plat, de la normer et de la multiplier par l’amplitude de . On trouve qu’elle vaut car une projection d’angle plat est toujours un angle plat, ce qui conclut.
