Pour trouver les n tels que z soit réel positif, tu peut
1) Soit faire un cercle trigo. sur lequel tu représente les différent

sur lequel tu "vois" immédiatement que

est réel positif ssi n est multiple de 24 (et que dans ce cas

).
A mon avis, c'est la meilleure méthode et on voit parfaitement ce qu'on fait, mais ça peut éventuellement être considéré comme "pas assez formel" par certains.
2) Soit utiliser le fait (si tu le connait) que le

en question a comme argument

(et comme module 1) puis le fait qu'un complexe est réel positif ssi son argument est de la forme

avec

dans

.
3) Soit le faire "à la main" en commençant par dire que

est réel <=> le sinus est nul <=>

avec

puis en disant qu'il est réel positif si on a
en plus \!\geq\!0)
c'est à dire
\!\geq\!0)
c'est à dire

pair soit encore

avec

.
Dans les cas 2) et 3), tu termine en disant qu'il faut (et il suffit) que

sauf que, pour que

soit entier, il faut que 5 divise

donc que 5 divise

vu que 5 est premier avec 24.
Donc on doit avoir

avec

et donc

.
P.S. Et ta série d'équivalent est totalement fausse vu que cos(x)>=0 n'est pas du tout équivalent à -pi/2<=x<=pi/2.
Il est par exemple complètement évident que lorsque x=2.pi (qui n'est pas entre -pi/2 et pi/2) cos(x)>=0 vu que cos(2.pi)=1.
En fait, pour que cos(x)>=0, il faut que -pi/2<=x<=pi/2
à 2k.pi près, c'est à dire qu'il faut qu'il existe k dans Z tel que 2k.pi-pi/2<=x<=2k.pi+pi/2