Use the positive exponent in the PDF. The TeX introduces a minus sign in the numerator while retaining the positive-sign normalizing constant, which would not define the stated probability distribution. The Curie–Weiss model assigns equal weights to and , since is unchanged by simultaneous reversal. This spin inversion symmetry pairs every configuration with one having the opposite value of , so
Let , using the supplied correlation property of the Curie–Weiss model. Since and each spin has zero expected value,
Divide by to obtain
The expression assumes , as required for to exist. It makes the connection between the spin correlation and the requested conditional probability explicit.
If exactly spins equal , then . Therefore its possible values are , with for . Choosing the positive spins gives the binomial coefficient
Every such configuration has the same Curie–Weiss model weight because . The probability mass function of this spin magnetization is consequently
and zero elsewhere. Grouping the original partition function by the same count also gives
which verifies normalization without counting any configuration twice.