paroxystique33 a écrit:...l'ensemble des points M doit être privé de A du fait qu'on utilise M une seule fois par opération...
Ca n'a absolument rien à voir avec la choucroute.
Si A est exclu des solution, ça vient on ne peut plus bêtement du fait que la fonction Argument n'est définie
que pour les complexes non nuls donc que dans l'équation que tu cherche à résoudre Arg((z-z_A)/(z_B-z_C))=alpha [pi] (ou [2pi]), ça n'a pas de sens de prendre M=A vu que ça donnerais z-z_A=0 (*).
De la même façon,
le vrai énoncé commence forcément par "soient A,B,C des points
tels que B et C soient distincts" vu que si B=C, la division par z_B-z_C n'a pas de sens.
Donc ce "privé de A", c'est exactement comme si tu avait à résoudre une équation du style f(x)=a : bien évidement, l'ensemble des solution doit être une partie du domaine de définition de la fonction f. Et si on écrit le théorème proprement et pas "à la salaud", le fait que M doit être différent de A (ou que x soit dans Df dans le cas de f(x)=a), ça doit déjà apparaitre dans l'équation de départ : quand on écrit pas comme un cochon, on doit
forcément écrire que x est dans Df
avant d'écrire f(x)=???. Par exemple, on doit justifier qu'une certaine quantité A est positive
avant d'écrire racine(A).
Bref, formulé correctement, le théorème, c'est :
Soient A,B,C trois points du plan
avec B distinct de C et alpha un réel.
L'ensemble des points M
distincts de A tels que Arg((z-z_A)/(z_B-z_C))=alpha [pi] est...
Ensuite, le fait que l'ensemble des solution du bidule en question soit une droite ou une demi droite, ça dépend du modulo que tu met à la fin de l'équation : si tu met du "modulo 2pi", les solution c'est une demi-droite (ouverte en A) et si tu met du "modulo pi", les solution c'est une droite privée de A.
(*) Et évidement, ça serait exactement la même chose (et pour cause) si on parlait d'angle de vecteurs à la place : l'angle entre les vecteurs U et V n'existe évidement que si les vecteurs U et V
sont non nuls donc l'angle (BC,AM) n'existe que lorsque B et C sont distincts et que A et M sont distincts.