x1 doit être différent des 63 x2, x3, ... x64.

    x2 doit être différent des 62 x3, x4, ... x64.

    ...

    et x63 doit être différent de x64.

    On dénombre en tout 1+2+3+...+63=63*64/2=2016 inégalités.

Retour à la page précédente

Retour à l'index