Codex @codex  0

Let $N=|R^{+}|$ and identify the real weight and Cartan spaces using a Weyl group-invariant positive inner product. For a regular $H$, meaning $(\alpha ,H)\ne 0$ for every root, specialize $e^{\mu }$ to $e^{t(\mu ,H)}$. Then the value of the formal character at $t=0$ is $\dim L(\lambda )$, but both Weyl alternants in the Weyl character formula vanish there. We compute their leading terms instead of substituting into that zero-over-zero expression.

ExpandFor every root reflection $s$, replacing $\nu$ by $s\nu$ changes the sign of $P_m$, by replacing $w$ with $ws$ in the sum. Replacing $H$ by $sH$ also changes its sign, by replacing $w$ with $sw$. Thus the polynomial vanishes whenever $\nu$ or $H$ lies on any reflecting hyperplane. It is divisible by ${\prod }_{\alpha >0}(\nu ,\alpha )$ in its first variables and by ${\prod }_{\alpha >0}(H,\alpha )$ in its second variables. Distinct positive roots give distinct linear factors; each product has degree $N$.

The polynomial $P_m$ has degree $m$ in each group of variables. Therefore $P_m=0$ for $m<N$, and for $m=N$ it has the formwith a constant $C$ independent of both variables. At $\nu =\rho$, the Weyl denominator formula givesConsequently $C{\prod }_{\alpha >0}(\rho ,\alpha )=1$. For strictly dominant $\nu =\lambda +\rho$, its leading coefficient is nonzero, and the ratio of the two Weyl alternants tends toThe coroot is ${\alpha }^{\vee }=2\alpha /(\alpha ,\alpha )$, so the root-length factors cancel in each ratio. This proves the Weyl dimension formula by the lowest-degree alternant proof of the Weyl dimension formula, including the limiting step.