# The American Mathematical Monthly

### January 2011 Contents

For subscribers, read recent issues online (Requires MAA Membership)

## ARTICLES

#### Why Eisenstein Proved the Eisenstein Criterion and Why Schönemann Discovered It First

David A. Cox
Abstract: This article explores the history of the Eisenstein irreducibility criterion and explains how Theodor Schönemann discovered this criterion before Eisenstein. Both were inspired by Gauss's Disquisitiones Arithmeticae, though they took very different routes to their discoveries. The article will discuss a variety of topics from 19th-century number theory, including Gauss's lemma, finite fields, the lemniscate, elliptic integrals, abelian groups, the Gaussian integers, and Hensel's lemma.

#### How Small Can a Polynomial Be Near Infinity?

Jennifer M. Johnson; János Kollár
Abstract: We give bounds for real polynomials in two variables near infinity and near a zero. The bounds depend only on the degree of the polynomial and are simple to state.

#### Arnol'd, the Jacobi Identity, and Orthocenters

Nikolai V. Ivanov
Abstract: The three altitudes of a plane triangle pass through a single point, called the orthocenter of the triangle. This property holds literally in Euclidean geometry, and, properly interpreted, also in hyperbolic and spherical geometries. Recently, V. I. Arnol'd offered a fresh look at this circle of ideas and connected it with the well-known Jacobi identity. The main goal of this article is to present an elementary version of Arnol'd's approach. In addition, several related ideas, including ones of M. Chasles, W. Fenchel and T. Jørgensen, and A. A. Kirillov, are discussed.

#### Two Extensions of Results of Archimedes

Nicholas Pippenger
Abstract: We review the two results in the Method of Archimedes, show how they follow from Cavalieri's principle, and show how two extensions of them can also be proved using Cavalieri's principle.

#### On Polynomial Rings with a Goldbach Property

Paul Pollack
Abstract: David Hayes observed in 1965 that when R = Z, every element of R[T] of degree n ≥ 1 is a sum of two irreducibles in R[T] of degree n. We show that this result continues to hold for any Noetherian domain R with infinitely many maximal ideals.

#### Measurable Functions with a Given Set of Integrability Exponents

Alfonso Villani
Abstract: Given a measure space (Ω, A, μ), it is well known that for every A-measurable function ƒ : Ω → R the set ε(ƒ) = {p ∈ (0, +∞) : ƒLp(μ)} is always an interval, possibly degenerate, but, in general, it cannot be any given interval I ⊆ (0, +∞). Thus we consider the problem of characterizing those measure spaces for which ε(ƒ) can be an arbitrary subinterval of (0, +∞). We show that they are precisely the measure spaces such that there is no inclusion between different Lp spaces.

#### Operator Reverse Monotonicity of the Inverse

Alexis Akira Toda
Abstract: In statistics and econometrics, the equivalence between matrix inequalities ABB-1A-1 is used to obtain a lower bound on the variance matrix, where A, B are symmetric and positive definite. The same property holds for linear operators on Hilbert spaces that are bijective, self-adjoint, and positive definite. I give a short and elementary proof of this fact.

The American Mathematical Monthly Homepage