Tout d’abord, on prolonge la définition de G à tout x réel ≥0 par G(x)=G(⌊x⌋) et G(0)=0
G est une fonction de comptage qui apparait de façon naturelle en écrivant avec α>0 :
(1−2−α)(1−3−α)1=α∫1+∞tα+1G(t)dt
en faisant quelques changements de variables on trouve:
(1−2−α)(1−3−α)(1−2−αn)(1−3−αn)=α∫1+∞tα+1G(t)−G(t/2n)−G(t/3n)+G(t/6n)dt
ainsi G(t)−G(t/2n)−G(t/3n)+G(t/6n) est aussi une fonction de comptage (qui compte les diviseurs de 2n−13n−1 ≤t ) et lorsque t≥6n−1 ce nombre de diviseurs vaut n2 .
En prenant t=6n on obtient G(6n)−G(3n)−G(2n)+G(1)=n2
Si ma méthode est juste, il faudrait que le pb soit aussi relié à "arithmétique" ou "dénombrement" ?