Mesure principale [Angles orientés]

Bonjour,
J'ai du mal à trouver la solution

Soient a et b deux réels tel que b non nul.
Soit (ox, oy) un angle orienté de deux demi-droites dont une mesure en radian est a.pi/b
Montrer que a.pi/b + 2.pi.E(b-a/2b) est la mesure principale de (ox, oy) où E(x) est la partie entière du nombre réel x.

salam

si a et b sont réels , alors on peut simplifier la question:

on pose x = a/b

===> montrer que : pi.x + 2pi.E( 1/2 (1-x)) est ..........

______________________________

on pose x=n+ e ( n=E(x) , et 0=<e<1 )

si mo est la mesure principale alors : pi.x = mo + 2k.pi ====>mo = pi.x - 2k.pi

1ercas:

-pi < mo < pi

====> -pi < pi.x - 2k.pi < pi

====> x-1 < 2k < x+1

====>(x-1)/2 < k < (x+1)/2

====>(a-b)/2b < k < (a+b)/2b

or (a+b)/2b - (a-b)/2b = 1

donc : k-1 < (a-b)/2b < k

===> k-1 =E((a-b)/2b)

===> k = E( (a-b)/2b + 1) = E ( (b-a)2b )

conclusion : mo = (a/b)pi + 2.pi.E( (b-a)/2b )

--------
2e cas mo = pi

===> a=b ====>( b-a)/2b = 0 ; la relation est vérifiée.

_____________________________________

Et si l'on part de -pi < mo < pi => -pi < a.pi/b + 2kp < pi
après quelques lignes on trouve (-b-a)/2b < k < (b-a)/2b
et puisque k appartient à Z , k = E((b-a)/2b) donc mo = a.pi/b + 2.pi.E(b-a/2b)

Est-ce juste ?

salam canon

ce n'est pas visible


revoyer ma correction rectifiée.

__________________________________________

C'est bon. Merci