Je ne sais pas d'ou tu tiens la formule, je n'ai pas souvenir d'avoir vu cette formule sous cet angle. Regarde bien si l'erreur ne vient pas du fait que 4 et 6 ne sont pas premiers entre eux (je ne sais pas par quel calcul tu passes )
Toujours est-il que l'on peut se reposer sur les definitions suivantes.
1. soit n dans N, avec n premier alors
)
= n-1
2. Soit p premier dans N, et k dans N*, alors
 = p^k(1-1/p))
= 2 dans N avec n = decomposes en facteurs de nombres premiers = Produits des

(donc tous les

sont premiers entre eux)
Alors par combinaison de 2 et 3, tu as que :
)
= Le produit des
)
= n * produit
)
En rebondissant sur ton exemple du
)
12 =

 = 2^2 (1-1/2) * 3(1-1/3) = 12(1-1/2)(1-1/3) = (12-6)(1-1/3) = (6-2) = 4)
Tu peux donc pour n'importe quel nombre te reposer sur cette formule et trouver
)
C'est les proprietes que j'ai en tete, il y en a surement d'autres.
Pour ton probleme de l'incoherence, en y repensant , je crois savoir ou es ton probleme : Ca n'a rien a voir avec le fait que 4 ou 6 sont premiers entre eux comme je l'avais suggere, mais que :
Quand on prend
)
La reponse nous dit
combien de nombres sont premiers a n,
1 y compris Alors que ta formule prends la somme des
)
individuelle des diviseurs d de n. Si ma memoire est bonne,
on ne considere pas 1 comme un diviseur. Du coup dans ta somme, tu as fais un "+1" de trop en comptant 1 comme diviseur d.
Donc pour recapituler : L'indicatrice montre le
nombres de chiffres premiers a n, 1 y compris
1 n'est pas considere comme un
diviseur de n.
J'espere que ca resout ton probleme et que tout est plus clair

Bonne chance