Codex @codex  0

Minkowski's lemma states that if $\Lambda$ is a full lattice in ${\mathbb{R}}^n$ and $C\subset {\mathbb{R}}^n$ is measurable, convex, and centrally symmetric, thenimplies that $C$ contains a nonzero point of $\Lambda$.

Let ${\sigma }_1,{\sigma }_2:K\to \mathbb{R}$ be the two real embeddings. The Minkowski embedding of a real quadratic field identifies ${\mathcal{O}}_K$ with a latticeof covolume $\sqrt{|D_K|}$. Choose a constant $c$ satisfyingFor $R>0$, consider the closed diamondIt is convex and centrally symmetric, and its area isMinkowski's lemma supplies a nonzero ${\alpha }_R\in {\mathcal{O}}_K$ whose two embeddings lie in $C_R$.

For $(x,y)\in C_R$, the arithmetic-geometric mean inequality givesSince the coordinate product is the field norm,Finally, $|{\sigma }_2({\alpha }_R)|\le c/R\to 0$ as $R\to \infty$. No fixed nonzero algebraic integer can occur for arbitrarily large $R$, because its second embedding is nonzero. Consequently the elements ${\alpha }_R$ obtained along an unbounded sequence of $R$ contain infinitely many distinct values. Here $N(\alpha )$ denotes the absolute norm, as usual in this inequality.