je remonte le fil.
Dans la
doc , on passe de la formule:
=cos(b)cos(c)+sin(b)sin(c)sin(\hat{A}))
à la formule "duale" avec le triangle polaire A'B'C' du triangle ABC:
= -\cos(\hat{B})\cos(\hat{C})+\sin(\hat{B})\sin(\hat{C})sin(a))
J'ai réussi à montrer que les angles de A'B'C' sont les côtés de ABC
mais j'ai des souçis pour les côtés de A'B'C' sont les angles de ABC:
en effet ,

est un vecteur normal du plan affine (OAB)
et

est un vecteur normal du plan affine (OAC)
mais que vaut le cosinus de l'angle

je ne vois pas s'il vaut cos(A) ou -cos(A) à cause des deux orientations possibles d'une droite perpendiculaire d'un plan.
et aussi la formule de Picard:
=\hat{A}+\hat{B}+\hat{C}-\pi)
ne serait qu'une indication. je crois qu'il faut que je considère le triangle
comme l'intersection de trois fuseaux.
enfin, the last but not the least, quel élément différentiel infinitésimal doit
on intégrer pour calculer l'aire de la sphère (et trouver

)
merçi de m'aider. :briques: