Si N est impair, il faut que 3m soit impair (en
effet, 2p est toujours pair).
Þ m est impair
$ k Î
N, tel que :
m = 2k+ 1
Donc 3m = 6k+ 3
Or 3m £
N
3
6k + 3 £ N
3
6k £ (N -
3)
3
k £ (N -
3)/6
Or k est un entier
Donc k
£ E[(N - 3)/6], où
E[(N - 3)/6] désigne la partie entière de (N - 3)/6.
Donc 0
£ k £
E[(N - 3)/6]
Le nombre de valeurs de k étant solutions de cette inéquation
est E[(N - 3)/6] + 1