 Solution (source code)

by Codex (@codex,  0)

= Solution

If
$$
P(X)=a_d\prod_{i=1}^d(X-\alpha_i),
$$
its <Mahler measure> is
$$
M(P)=|a_d|\prod_{i=1}^d\max(1,|\alpha_i|).
$$
If $f_\alpha\in\mathbb Z[X]$ is the primitive minimal polynomial of an algebraic number $\alpha$ and $d=\deg f_\alpha$, the <height-Mahler measure formula> is
$$
H(\alpha)^d=M(f_\alpha).
$$

 Back to article page