Feb PDF
Feb PDF
Feb PDF
Reviewed work(s):
Source: The American Mathematical Monthly, Vol. 118, No. 2 (February 2011), pp. 178-185
Published by: Mathematical Association of America
Stable URL: http://www.jstor.org/stable/10.4169/amer.math.monthly.118.02.178 .
Accessed: 22/09/2012 23:58
Your use of the JSTOR archive indicates your acceptance of the Terms & Conditions of Use, available at .
http://www.jstor.org/page/info/about/policies/terms.jsp
.
JSTOR is a not-for-profit service that helps scholars, researchers, and students discover, use, and build upon a wide range of
content in a trusted digital archive. We use information technology and tools to increase productivity and facilitate new forms
of scholarship. For more information about JSTOR, please contact [email protected].
Mathematical Association of America is collaborating with JSTOR to digitize, preserve and extend access to
The American Mathematical Monthly.
http://www.jstor.org
PROBLEMS AND SOLUTIONS
Edited by Gerald A. Edgar, Doug Hensley, Douglas B. West
with the collaboration of Mike Bennett, Itshak Borosh, Paul Bracken, Ezra A. Brown,
Randall Dougherty, Tamás Erdélyi, Zachary Franco, Christian Friesen, Ira M. Ges-
sel, László Lipták, Frederick W. Luttmann, Vania Mascioni, Frank B. Miles, Bog-
dan Petrenko, Richard Pfiefer, Cecil C. Rousseau, Leonard Smiley, Kenneth Stolarsky,
Richard Stong, Walter Stromquist, Daniel Ullman, Charles Vanden Eynden, Sam Van-
dervelde, and Fuzhen Zhang.
PROBLEMS
11551. Proposed by Gregory Galperin, Eastern Illinois University, Charleston, IL, and
Yury Ionin, Central Michigan University, Mount Pleasant, MI. Given a finite set S of
closed bounded convex sets in Rn having positive volume, prove that there exists a
finite set X of points in Rn such that each A ∈ S contains at least one element of X
and any A, B ∈ S with the same volume contain the same number of elements of X .
11552. Proposed by Weidong Jiang, Weihai Vocational College, Weihai, China. In tri-
angle ABC, let A1 , B1 , C1 be the points opposite A, B, C at which the angle bisectors
of the triangle meet the opposite sides. Let R and r be the circumradius and inradius
of ABC. Let a, b, c be the lengths of the sides opposite A, B, C, and let a1 , b1 , c1 be
the lengths of the line segments B1 C1 , C1 A1 , A1 B1 . Prove that
a1 b1 c1 r
+ + ≥1+ .
a b c R
11553. Proposed by Mihály Bencze, Brasov, Romania. For a positive integer k, let α(k)
be the largest odd divisor of k. Prove that for each positive integer n,
n
n(n + 1) X n − k + 1 n(n + 3)
≤ α(k) ≤ .
3 k=1
k 3
11554. Proposed by Zhang Yun, Xi’an Jiao Tong University Sunshine High School,
Xi’an, China. In triangle ABC, let I be the incenter, and let A0 , B 0 , C 0 be the reflections
of I through sides BC, CA, AB, respectively. Prove that the lines AA0 , BB0 , and CC0 are
concurrent.
11555. Proposed by Duong Viet Thong, National Economics University, R 1 Hanoi, Viet-
nam. Let f be a continuous real-valued function on [0, 1] such that R c 0 f (x) d x = 0.
Prove that there exists c in the interval (0, 1) such that c2 f (c) = 0 (x + x 2 ) f (x) d x.
doi:10.4169/amer.math.monthly.118.02.178
9 9 9 9
+ + +
a(b + c + d) b(c + d + a) c(d + a + b) d(a + b + c)
16 16 16
≥ + + .
(a + b)(c + d) (a + c)(b + d) (a + d)(b + c)
SOLUTIONS
An Arctan Series
11438 [2009, 464]. Proposed by David H. Bailey, Lawrence Berkeley National Labo-
ratory, Berkeley, CA, Jonathan M. Borwein, University of Newcastle, Newcastle, Aus-
tralia and Dalhousie University, Halifax, Canada, and Jörg Waldvogel, Swiss Federal
Institute of Technology ETH, Zurich, Switzerland. Let
∞
X x −1
P(x) = arctan √ √ .
k=1
(k + x + 1) k + 1 + (k + 2) k + x
√1 √1
√ √
k+1
− k+n k+n− k+1
= √ √ .
1+ √1 · √1 1+ k+1· k+n
k+1 k+n
√1 − √1
k+1 k+n n−1
= √ √ .
1+ √ 1
k+1
1
· √k+n (k + n + 1) k + 1 + (k + 2) k + n
α−β
arctan α − arctan β = arctan ,
1 + αβ
Editorial comment. The proposers report that they discovered the value −3π/4 ex-
perimentally. They ask whether there are more general closed forms for P, say at
half-integers.
Also solved by R. Bagby, N. Bagis (Greece) & M. L. Glasser, D. Beckwith, M. Benito, Ó. Ciaurri, E. Fernández
& L. Roncal (Spain), M. Chamberland, R. Chapman (U.K.), Y. Dumont (France), M. Goldenberg &
M. Kaplan, O. Kouba (Syria), G. Lamb, O. P. Lossers (Netherlands), R. Nandan, M. Omarjee (France),
A. H. Sabuwala, R. Stong, M. Tetiva (Romania), M. Vowe (Switzerland), GCHQ Problem Solving Group
(U.K.), Microsoft Research Problems Group, and the proposers.
a finite limit as t → ∞.
Also solved by R. Bagby, W. J. Cowieson, H. Guggenheimer, O. Kouba (Syria), J. H. Lindsey II, O. P. Lossers
(Netherlands), J. Simons (U.K.), R. Stong, N. Thornber, and the proposer.
Solution by Jim Simons, Cheltenham, U.K. Fix all the B j (and therefore all the C j ),
and all the A j except Ai and Ai+1 for some particular i, and consider varying the
line Ai Ai+1 through Bi . Let |Bi−1 Bi+1 | = l, α = ∠Bi Bi−1 Bi+1 ,β = ∠Bi Bi−1 Ai ,
γ = ∠Bi Bi+1 Bi−1 , δ = ∠Bi Bi+1 Ai+1 and θ = ∠Ai Bi Bi−1 , so that α + γ − θ =
∠Ai+1 Bi Bi+1 . Now
l sin γ l sin α
|Bi−1 Bi | = and |Bi Bi+1 | = .
sin(α + γ ) sin(α + γ )
If h i is the distance of Ai from the line Bi−1 Bi , then
|Bi−1 Bi | |Bi Bi+1 |
hi = and h i+1 = .
cot β + cot θ cot δ + cot(α + γ − θ )
Writing 1 for 1/a(Ai Bi Bi−1 ) + 1/a(Ai+1 Bi+1 Bi ), we conclude that
2 sin2 (α + γ ) 2 sin2 (α + γ )
1= (cot β θ) cot δ + cot(α + γ − θ ) .
+ cot +
l sin γ
2 2
l sin α
2 2
Also solved by R. Chapman (U.K.), P. P. Dályay (Hungary), J. H. Lindsey II, Á. Plaza & S. Falcón (Spain), R.
Stong, GCHQ Problem Solving Group (U.K.), and the proposer.
2 −k−2
and√ nk=1 1/ak (1 + ak ) < 1/4. Combining these, we see that the left side is
less than n/2. For n ≥ 8, the right side satisfies
√ r
2n/2
1 a1 + an an n
√ > √ > √ > .
4 a1 an 4 3 4 3 2
Direct calculation shows that the inequality holds for smaller n, the closest call being
at n = 3.
Also solved by R. Chapman (U.K.), L. Csete (Hungary), P. P. Dályay (Hungary), J.-P. Grivaux (France), E. Hys-
nelaj (Australia) & E. Bojaxhiu (Germany), O. Kouba (Syria), J. H. Lindsey II, O. P. Lossers (Netherlands),
K. McInturff, P. Perfetti (Italy), C. R. & S. Selvaraj, R. Stong, M. Tetiva (Romania), Z. Vörös (Hungary),
GCHQ Problem Solving Group (U.K.), Microsoft Research Problems Group, and the proposer.
Assuming (1) and taking β(z) = {z}a , which has period one and is bounded for a > 0,
we have
Z 1 n oa Z 1 Z 1 Z 1
n 1
lim g(x) d x = z a dz g(x) d x = g(x) d x.
n→∞ x=0 x 0 x=0 a + 1 x=0
For the proof of (1), we extend the Riemann–Lebesgue lemma:
The proof of this lemma proceeds just as in one of the standard proofs of the Riemann-
Lebesgue lemma: It is easy to check that it holds for f = χ[a,b] , the characteristic
function of an interval. By linearity, it then holds for finite linear combinations of
characteristic functions of intervals, that is, for step functions. However, step functions
are dense in L 1 (R), so the result holds for all f ∈ L 1 (R) by approximation.
To obtain (1) from the lemma, let g ∈ L 1 ([0, 1]), and define f : R → R by f (y) =
y g(1/y) for y ≥ 1 and f (y) = 0 otherwise. Letting y = 1/x in the change of vari-
−2
This equation holds as well with absolute value bars on the integrands, and therefore
f ∈ L 1 (R). The same change of variable yields
Z ∞ Z ∞ Z 1
g(1/y) n
β(ny) f (y) dy = β(ny) 2
dy = β g(x) d x.
−∞ 1 y 0 x
The required result is now an application of the lemma.
Also solved by K. F. Andersen (Canada), M. R. Avidon, R. Bagby, D. Borwein (Canada), R. Chapman (U.K.),
W. J. Cowieson, M. Eyvasi (Iran), P. J. Fitzsimmons, J.-P. Grivaux (France), E. A. Herman, M. Kochanski
(U.K.), O. Kouba (Syria), J. H. Lindsey II, O. P. Lossers (Netherlands), V. S. Miller, M. Omarjee (France),
E. Omey (Belgium), P. Perfetti (Italy), Á. Plaza & S. Falcón (Spain), K. Schilling, J. Simons (U.K.), A. Stadler
(Switzerland), A. Stenger, R. Stong, J. V. Tejedor (Spain), M. Tetiva (Romania), E. I. Verriest, L. Zhou, GCHQ
Problem Solving Group (U.K.), NSA Problems Group, and the proposer.
Solution
√ by Oliver Geupel, Brühl, Germany. We use Stirling’s formula, which says that
n+1/2 −n
n! ≈ 2π n e , together with the infinite product
∞
4z 2
Y
cosh z = 1+ .
m=1
(2m − 1)2 π 2