![{\displaystyle \mathbf {S} =\cos .0\alpha +\cos .1\alpha +\cos .2\alpha +\cos .3\alpha +\ldots +\cos .(n-1)\alpha }](https://wikimedia.org/api/rest_v1/media/math/render/svg/6cf752e3dc1c10717034d7dc97cb59b0d08afc81)
![{\displaystyle -2\mathbf {S} \cos .\alpha -2\cos .\alpha \cos .0\alpha -2\cos .\alpha \cos .1\alpha \ldots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/6df9e773536cd4a4f8d2a67eb0cb1ccc7772b24b)
![{\displaystyle -2\cos .\alpha \cos .(n-2)\alpha -2\cos .\alpha \cos .(n-1)\alpha }](https://wikimedia.org/api/rest_v1/media/math/render/svg/63617b8f7ade67d54ba446ad9155c75531caf6b2)
![{\displaystyle +\mathbf {S} +\cos .0\alpha \ldots +\cos .(n-3)\alpha +\cos .(n-2)\alpha +\cos .(n-1)\alpha .}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b539f2712be495c0908aacc35f542dbcded52380)
Si l’on remarque maintenant que
étant un multiple de la circonférence entière, les quantités
![{\displaystyle \cos .(n-1).\alpha ,\qquad \cos .(n-2).\alpha ,\qquad \cos .(n-3).\alpha ,\quad {\text{etc}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/94bb8a0b7fd6a5d6000067f4364e0fa648096136)
sont respectivement les mêmes que celles que l’on désignerait par
on en conclura les résultats suivants :
![{\displaystyle \cos .o\alpha -2\cos .\alpha \cos .(n-1).\alpha +\cos .(n-2)\alpha =0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/854c178ee952cf37be2a2b4213faa2ae00da8549)
et
![{\displaystyle \cos .1\alpha -2\cos .\alpha \cos .0\alpha +\cos .(n-1)\alpha =0.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8c0c033cc4dddd4c1bc431e55380a25701fc8f96)
On aura donc en général
ainsi la somme cherchée
doit être nulle. On a représenté
par
et l’on trouve que la somme des
termes dus au développement de
est nulle ; il en sera de même de la somme des termes dus au développement de
donc la somme des produits terme à terme des deux premières séries est nulle. Il faut excepter le cas où l’arc représenté par
serait nul, car l’équation
est satisfaite par celle-ci :
Ce cas est précisément celui où l’on a
c’est-à-dire où les arcs
et
sont les mêmes ; alors le terme
donne encore un développement dont la somme est nulle. Mais le terme ![{\displaystyle {\frac {1}{2}}\cos .j(\mu -\nu )q}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0bd8bde80843f45df21c943ea916d8bd1cef1e57)