Stay tuned for January as Mel Nathanson brings in 2014 with a bang with a paper titled "Additive Systems and a Theorem of de Bruijn." Happy New Year from the American Mathematical Monthly. —Scott Chapman
Vol. 120, No. 10, pp.867-967.
JOURNAL SUBSCRIBERS AND MAA MEMBERS:
To read the full articles, please log in to the member portal by clicking on 'Login' in the upper right corner. Once logged in, click on 'My Profile' in the upper right corner.
ARTICLES
Quick, Does 23/67 Equal 33/97? A Mathematician’s Secret from Euclid to Today
David Pengelley
How might we determine in practice whether 23/67 equals 33/97? Is there a quick alternative to cross-multiplying?
How about reducing? Cross-multiplying checks equality of products, whereas reducing is about the opposite, factoring and cancelling. Do these very different approaches to equality of fractions always reach the same conclusion? In fact, they wouldn’t, but for a critical prime-free property of the natural numbers more basic than, but essentially equivalent to, uniqueness of prime factorization.
This property has ancient, though very recently upturned, origins, and was key to number theory even through Euler’s work. We contrast three prime-free arguments for the property, which remedy a method of Euclid, use similarities of circles, or follow a clever proof in the style of Euclid, as in Barry Mazur’s essay [22].
To purchase the article from JSTOR: http://dx.doi.org/10.4169/amer.math.monthly.120.10.867
Linear Algebra via Complex Analysis
Alexander P. Campbell and Daniel Daners
The resolvent $$(\lambda I-A)^{-1}$$ of a matrix $$A$$ is naturally an analytic function of $$\lambda\in\mathbb{C}$$, and the eigenvalues are isolated singularities. We compute the Laurent expansion of the resolvent about the eigenvalues of $$A$$. Using the Laurent expansion, we prove the Jordan decomposition theorem, prove the Cayley–Hamilton theorem, and determine the minimal polynomial of $$A$$. The proofs do not make use of determinants, and many results naturally generalize to operators on Banach spaces.
To purchase the article from JSTOR: http://dx.doi.org/10.4169/amer.math.monthly.120.10.877
Rigorous Computer Analysis of the Chow–Robbins Game
Olle Häggström and Johan Wästlund
Flip a coin repeatedly, and stop whenever you want. Your payoff is the proportion of heads, and you wish to maximize this payoff in expectation. This so-called Chow–Robbins game is amenable to computer analysis, but while simple-minded number crunching can show that it is best to continue in a given position, establishing rigorously that stopping is optimal seems at first sight to require “backward induction from infinity”.
We establish a simple upper bound on the expected payoff in a given position, allowing efficient and rigorous computer analysis of positions early in the game. In particular, we confirm that with 5 heads and 3 tails, stopping is optimal.
To purchase the article from JSTOR: http://dx.doi.org/10.4169/amer.math.monthly.120.10.893
From Pascal’s Theorem to d-Constructible Curves
Will Traves
We prove a generalization of both Pascal’s Theorem and its converse, the Braikenridge–Maclaurin Theorem: If two sets of $$k$$ lines meet in $$k^{2}$$ distinct points, and if $$dk$$ of those points lie on an irreducible curve $$C$$ of degree $$d$$, then the remaining $$k(k-d)$$ points lie on a unique curve $$S$$ of degree $$k-d$$. If $$S$$ is a curve of degree $$k-d$$ produced in this manner using a curve $$C$$ of degree $$d$$, we say that $$S$$ is $$d$$-constructible. For fixed degree $$d$$, we show that almost every curve of high degree is not $$d$$-constructible. In contrast, almost all curves of degree 3 or less are $$d$$-constructible. The proof of this last result uses the group structure on an elliptic curve and is inspired by a construction due to Möbius. The exposition is embellished with several exercises designed to amuse the reader.
To purchase the article from JSTOR: http://dx.doi.org/10.4169/amer.math.monthly.120.10.901
The Cuoco Configuration
Roger E. Howe
Following A. Cuoco, a proof of the Law of Cosines is given using squares constructed on sides of the triangle. Then the configuration consisting of the original triangle and the triangle defined by the centers of these squares is studied, and several remarkable relationships are found.
To purchase the article from JSTOR: http://dx.doi.org/10.4169/amer.math.monthly.120.10.916
NOTES
A Generalization of the Leibniz Rule
Ulrich Abel
We present a generalization of the Leibniz Rule. One of its consequences is the celebrated Abel identity.
To purchase the article from JSTOR: http://dx.doi.org/10.4169/amer.math.monthly.120.10.924
The Parbelos, a Parabolic Analog of the Arbelos
Jonathan Sondow
The arbelos is a classical geometric shape bounded by three mutually tangent semicircles with collinear diameters. We introduce a parabolic analog, the parbelos. After a review of the parabola, we use theorems of Archimedes and Lambert to demonstrate seven properties of the parbelos, drawing analogies to similar properties of the arbelos, some of which may be new.
To purchase the article from JSTOR: http://dx.doi.org/10.4169/amer.math.monthly.120.10.929
Inequalities for Gamma Function Ratios
G. J. O. Jameson
A short proof is given of a comprehensive system of inequalities for $$\Gamma(x+y)/\Gamma(x)$$ including results obtained independently by Artin, Wendel, and Gautschi. Applications include inequalities for binomial coefficients and the Bohr–Mollerup theorem.
To purchase the article from JSTOR: http://dx.doi.org/10.4169/amer.math.monthly.120.10.936
PROBLEMS AND SOLUTIONS
Problems 11740-11746
Solutions 11598, 11610, 11617, 11618, 11619, 11622, 11627
To purchase from JSTOR: http://dx.doi.org/10.4169/amer.math.monthly.120.10.941
REVIEWS
Real Analysis Through Modern Infinitesimals, by Nader Vakil
Reviewed by James M. Henle and Michael G. Henle
JSTOR: http://dx.doi.org/10.4169/amer.math.monthly.120.10.949