Problems & Solutions by

Achilleas Sinefakopoulos


"Solving problems is a practical art, like swimming, or skiing, or playing the piano: you can learn it only by imitation and practice. . . . if you wish to learn swimming you have to go in the water, and if you wish to become a problem solver you have to solve problems." George Polya.


A. Problems and solutions from math journals

B. Problems and solutions from math contests


A. Problems from magazines.

 

Problems to which my solution has been published

CRUX 1909, MM 1464, MM 1532, CRUX 2442,  AMM 10710, AMM 10759, MM 1617

Problem proposals of mine that have been published:

MS 26.4, MM 1495, AMM 10804, MM 1614

Some problems for which I submitted solutions:

AMERICAN MATHEMATICAL MONTHLY

10309, 10321, 10473, 10474, 10490, 10494, 10578, 10607, 10697, 10739, 10747, 10750, 10810, 10824

MATHEMATICS MAGAZINE

1410, 1420, 1422, 1425, 1465, 1469, 1471, 1472, 1473, 1491, 1509, 1512, 1528, 1533, 1557, 1572, 1573, 1589, 1595, 1611, 1612, 1630, 1637

CRUX MATHEMATICORUM

1809, 1821, 1906, 1983, 1991, 1998, 2444, 2445, 2480,  2486, 2493, 2503, 2510, 2525, 2532, 2537, 2543,  2546, 2547, 2550,2559

COLLEGE MATHEMATICS JOURNAL

 

QUANTUM (Greek Edition)

 


1. Problems to which my solution has been published.

CRUX 1909. [1994:17; 1994:295] Proposed by Charles R. Diminnie, Saint Bonaventure University, Saint Bonaventure, New York.

Solve the recurrence

p0=1,   pn+1 =5pn (5pn4-5pn2+1)

for pn in terms of n. [ This problem was inspired by Crux 1809 [1994: 19]

MM 1464. [1995:68; 1996:66] Proposed by Bill Correll, Jr., student, Denison University, Granville, Ohio.

Find all positive rational numbers r ¹ 1 such that r1/( r-1 ) is rational.

MM 1532. [1997:299; 1998:320] Proposed by Herbert Gulicher, Westfalishe Wilhedns-Universitat, Munster, Germany.

Let Ä ABC, Ä ACP and Ä BCQ be non-overlapping triangles in the plane with Ð CAP and Ð CBQ right angles. Let M be the foot of the perpendicular to AB. Prove that lines AQ, BP and CM are concurrent if and only if Ð BCQ =Ð ACP.

CRUX 2442. [1999:239; 2000:247] Proposed by Michael Lambrou, University of Crete, Crete, Greece.

Let {án}n³ 1, {xn}n³ 1, {yn}n³ 1,…,{zn}n³ 1, be a finite number of given sequences of non-negative numbers, where all án > 0. Suppose that å án is divergent and all the other infinite series, å xn, å yn,…, å zn, are convergent. Let An = Ó1£ k£ n ák.

(a) Show that, for every å > 0, there is an n Î N such that, simultaneously,

0 £ Anxnn < å , 0 £ Anynn < å, …,  0 £ Anznn < å .

(b) From part (a), it is clear that if limn® ¥ Anxnn exists, it must have value zero. Construct an example of sequences as above such that the stated limit does not exist.

 AMM 10710. [1999:68; 2000: 572] Proposed by Bogdan Suceava, Michigan State University, EastLansing, MI.

Let ABC be an acute triangle with incenter I and let D, E and F be the points where the circle inscribed in ABC touches BC, CA and AB, respectively. Let M be the intersection of the line through A parallel to BC and DE, and let N be the intersection of the line through A parallel to BC and DF. Let P and Q be the midpoints of DM and DN, respectively. Prove that A, E, F, I, P, and Q are on the same circle.

AMM 10759. [1999:778; 2000: 867] Proposed by Calin Popescu, Universite Catholique de Louvain, Louvain-la-Neuve, Belgium.

In triangle ABC, let há denote the altitude to the side BC and let rá denote the exradius relative to side BC, i.e., the radius of the circle tangent to the extensions of sides AB and AC and to the side BC externally. Define hb, hc, rb and rc correspondingly. Prove that

for any integer n, and determine conditions for equality.

MM 1617. [2001:6?; 2002:68] Proposed by Zhang Yun, First Middle School of Jin Chang City, Gan Su Province, China.

Let A1A2A3A4 be a cyclic quadrilateral that also has an inscribed circle. Let B1, B2, B3, and B4, respectively, be the points on sides A1A2, A2A3, A3A4, and A4A1 at which the inscribed circle is tangent to the quadrilateral. Prove that

  Back to top


2. Problem proposals of mine that have been published.

MS 26.4. Let ABC be a triangle and let D and E be the points on BC such that Ð ADB is a right angle and Ð DAB = Ð EAC. Prove that

area Ä EAC > area Ä DAB Û AC > AB.

Solution

MM 1495. Let angles B and C of Ä ABC be acute, and let K be a point on arc BC of its circumcircle. Let L be the intersection of chords AK and BC. The feet of the perpendiculars from L to AB and to AC are M and N, respectively. Prove that if the area of Ä ABC equals that of quadrilateral AMKN, then either AK bisects angle A or AK is a diameter of the circumcircle of Ä ABC.

Notes: (1) This is a converse of Problem #2 of the 1987 International Mathematical Olympiad. (2) Unfortunately, I had missed the second possibility in my original statement of the problem.

Solution

AMM 10804. Let ABCD be a convex quadrilateral with an incircle that contacs AB at E and
CD at F. Show that ABCD has a circumcircle if and only if AE / EB = DF / FC.

Äåßôå åðáëÞèåõóç ìå Maple V, áðü ôïí Doron Zeilberger

MM 1614. Determine the minimum values of each of x+y-xy and x+y+xy, where x and y are positive real numbers such that (x+y-xy)(x+y+xy)=xy.

  Back to top


3. Some problems for which I submitted solutions.

PROBLEMS FROM

THE AMERICAN MATHEMATICAL MONTHLY

AMM 10309. Proposed by Walter Rudin, University of Wisconsin, Madison, WI.

Compute

when A > B > 0. The answer should be given as an algebraic function of A and B.

Solution (PDF)

AMM 10321. Proposed by Carl Axness, Sandia National laboratories, Alburque, NM, Reinhard Schafke, University of Essen, Essen, Germany, and David Arterburn, New Mexico Tech., Socorro, NM.

Let ì be a positive real number. Prove

Solution (PDF)

 AMM 10473. Proposed by Emre Alkan (student), Bosphorus University, Istanbul, Turkey.

Prove that there are infinitely many positive integers m such that

is an odd integer.

AMM 10474. Proposed by Harry Tamvakis (student), The University of Chicago, Chicago, IL.

Consider a triangle ABC and a point P in the interior of ABC, and let the lines AP, BP, CP meet the lines BC, CA, AB at the points D, E, F, respectively. Show that Ð EDF is a right angle if and only if

AMM 10490. Proposed by Seung-Jin Bang, Ajou University, Suwon, Korea.

Show that

for every positive integer n.

AMM 10494. Proposed by WMC Problems Group, Western Maryland College, Westminster, MD.

For each positive integer n, evaluate the sum

AMM 10578. Proposed by Herbert S. Wilf, University of Pennsylvania, Philadelphia, PA.

Consider the sequence y2, y3, … defined by the recurrence relation

(n+1)(n-2)yn+1 = n(n2 - n - 1)yn - (n-1)3yn-1

and initial conditions y2 = y3 =1. Show that yn is an integer if and only if n is prime.

Solution (PDF)

AMM 10607. Proposed by Juan-Bosco Romero Marquez, Universidad de Valladolid, Valladolid, Spain.

Evaluate

for x > 0.

Solution (PDF)

AMM 10697. Proposed by Jose L. Diaz, Universitat Politecnica de Catalunya, Terrasso, Spain.

Given n distinct nonzero complex numbers z1, z2,…, zn, show that

Solution (PDF)

AMM 10739. Proposed by Oscar Ciaurri, Logrono, Spain.

Suppose that f : [0, 1] ® R has a continuous second derivative with f''(x) > 0 on (0, 1), and suppose that f(0) = 0. Choose á Î (0, 1) such that f'(á) < f(1). Show that there is a unique b Î (á, 1) such that f'(á) = f(b) / b.

Solution (PDF)

AMM 10747. Proposed by Athanasios Kalakos, Athens, Greece.

Find all differential functions f : R ® R that are twice differential on an open interval containing 0, have exactly one real root, satisfy f(1) =1, and satisfy f'(f(t)) = 2f(t), for every t Î R.

Solution (PDF)

  Back to top

PROBLEMS FROM

MATHEMATICS MAGAZINE

MM 1410. [1992:348; 1993:341] Proposed by Seung-Jin Bang, Seoul, Republic of Korea.

Prove that ë n1/3 + (n+1)1/3û = ë (8n+3)1/3û for every positive integer n.

MM 1420. [1993:126; 1994:148] Proposed by Cristian Turcu, London, England.

If á, â, ã, ä are real numbers, n is an odd integer, cos á + cos â + cos ã+ cos ä = 0, sin á + sin â + sin ã + sin ä = 0, prove that cos ná + cos nâ + cos nã+ cos nä = 0 and sin ná + sin nâ + sin nã + sin nä =0

MM 1422. [1993:127; 1994:151] Proposed by David Callan, University of Wisconsin, Madison, Wisconsin.

Let A and B be r ´ n matrices with r £ n and rank A = r. Suppose that there is a nonzero constant k such that the determinant of every one of the C(n, r) r-square submatrices of B is k times the corresponding subdeterminant of A. Show that A and B have the same row space.

MM 1425. [1993:192; 1994:227] Proposed by William P. Wardlaw, U.S.. Naval Academy, Annapolis, Maryland.

Let p be a prime number and let A be a (p-1) ´ (p-1) matrix over the field of rational numbers such that Ap = I ¹ A . Show that if f(x) is any nonzero polynomial with rational coefficients and degree less than p-1, then f(A) is nonsingular.

MM 1465. [1994:68; 1995:67] Proposed by Steven W. Knox, University of Illinois, Urbana, Illinois.

It is well known that given any coloring of the plane by two colors, there exists an equilateral triangle with monochromatic vertices. As a generalization, show that given any two-coloring of the plane and any triangle T, there exists a triangle similar to T with monochromatic vertices.

MM 1469. Proposed by Roger Izard, Dallas, Texas.

In triangle EDB, A and C lie on EB and ED, respectively; CB and DA intersect at F. Also,

DC× AB =4, and Area(Ä CFA) + Area(Ä DFB) = 14/5.

Prove that DEB is a right angle.

MM 1471. Proposed by Bill Correll, Jr., student, Denison University, Granville, Ohio.

For positive integers n, define f(n) to be the smallest positive integer j such that

where denotes the floor function. Let

Prove that

(i) {f(n)}n³ 1 consists of all integers except the perfect squares, and

(ii) f(n) + c(n) = 2n.

MM 1472. Proposed by Erhan Gurel, Middle East Technical University, Ankara, Turkey.

Let Q denote an arbitrary convex quadrilateral inscribed in a fixed circle, and let F(Q) be the set of inscribed convex quadrilaterals whose sides are parallel to those of Q. Prove that the quadrilateral in F(Q) of maximum area is the one whose diagonals are perpendicular to one another.

MM 1473. Proposed by Gerald A. Heuer, Concordia College, Moorhead, Minnesota.

Let Bn(z) denote the determinant of the (2n+1)´ (2n+1) matrix whose entries are given by b(1,j) = 1 for all j, b(j,j) = 2 for j=2,3,…, 2n+1, b(i+1,n+i+1) = b(n+i+1,i) = -z for i=1,2,…,n, and all other b(i,j)=0. For example

Find all (complex) roots of Bn(z).

MM 1491. [1996:66; 1997:68] Proposed by Wu Wei Chao,He Nan Normal University, Xin Xiang City, He Nan Province, China.

Find all functions f: R® R such that

(i) f(x + f(y) + y× f(x))= y + f(x) + x× f(y) for all x,y in R;

(ii) {f(x)/x: x Î R, x ¹ 0} is a finite set.

MM 1509. Proposed by David Callan, University of Wisconsin, Madison, Wisconsin.

Let A be a real n´ n matrix satisfying (i) each row sums to 1; (ii) each entry immediately above the main diagonal is 1/2; (iii) all other entries above the main diagonal are 0. Prove that the permanent of A is 1/2n-1.

(The permanent of a matrix is. Thus, it is similar in form to the determinant:

MM 1512. Proposed by Arthur L. Holshouser, Charlotte, North Carolina, and Benjamin G. Klein, Davidson College, Davinson, North Carolina.

Let R be a commutative ring such that x3 = x for every x Î R. For x, y Î R, let F(x, y) = xy-x2y-xy2-x2y2. If F(a,b) = a and F(a, c) = b, prove that F(a, c) = a.

MM 1528. [1997:224; 1998:230] Proposed by Florin S. Pirvanescu, Slatina, Romania.

Let M be a point in the interior of convex polygon A1A2...An. If dk is the distance from M to AkAk+1 (An+1 = A1), show that

(d1 + d2)(d2 + d3) × × × (dn + d1) £ 2n × cosn (ð/n) × MA1× MA2× × × × × MAn

and determine when equality holds.

MM 1533. Proposed by Joaquin Gomez Rey, I.B., " Luis Bunuel", Alcorcon, Madrid, Spain.

Solve the recurrence relation

in terms of á0.

Solution (PDF)

MM 1557. [1998:316; 1999:329] Proposed by Peter Y.Woo, Biola University, La Miranda, California.

Let PQ be the diameter of a circle with A and B two distinct points on the circle on the same side of PQ. Let C be the intersection of the tangents to the circle at A and B. Let the tangent to the circle at Q meet PA, PB, and PC at A', B', and C', respectively. Prove that C' is the midpoint of A'B'.

Solution (PDF)

MM 1572. [1999:149; 2000:160] Proposed by Western Maryland College Problems Group, Westminster, Maryland.

Let b0=1 and b1 satisfy 0< b1 < 1. For n ³ 1, define bn+1 by

.

Show that (bn)(n³ 0) converges, and compute its limit in terms of b1.

Solution (PDF)

MM 1573. [1999:149; 2000:161] Proposed by Jiro Fukuta, Proffesor Emeritus,Gifu University, Gifu-ken,Japan.

            Given Ä ABC, let AD be a cevian to the side BC, and let E be on segment AD. The circumcircle of Ä ACD intercects the line BE at points M and N, and the circumcircle of Ä ABD intercects the line CE at points P and Q. Prove that the points M, N, P, and Q lie on a common circle and its center is on the line perpendicular to the side BC at the point D.

Solution (PDF)

   Back to top

PROBLEMS FROM

CRUX MATHEMATICORUM

CRUX 1809. [1993:16; 1994:19] Proposed by David Doster, Choate Rosemary Hall, Wallingford, Connecticut.

Solve the recurrence pn+1 =5pn3 - 3pn for n ³ 0, where p0=1.

CRUX 1821. [1993:77; 1994:52] Proposed by Gerd Baron, Technische Universitat, Vienna, and Walter Janous, Ursulinengymnasium, Innsbruck, Austria.

Determine all pairs (a,b) of nonnegative real numbers such that the functional equation

f(f(x)) + f(x) = ax + b

has a unique continuous solution f : R ® R.

CRUX 1906. [1994:17] Proposed by K.R.S. Sastry, Addis Abebba, Ethiopia.

Let AP bisect angle A of triangle ABC with P on BC. Let Q be the point on segment BC such that BQ = CP. Prove that (AQ)2 = (AP)2 + (b - c)2.

CRUX 1983. Proposed by K.R.S. Sastry, Dodballapur, India.

A convex quadrilateral ABCD has an inscribed circle with center I and also has a circumscribed circle. Let the line parallel to AB through I meet AD in A' and BC in B'. Prove that the length of A'B' is a quarter of the perimeter of ABCD.

CRUX 1991. Proposed by Toshio Seimiya, Kawasaki, Japan.

Ù is a fixed circle with center O. Let M be the foot of the perpendicular from O to a fixed line å, and let P be a variable point on Ù. Let à be the circle with diameter PM intersecting Ù and å again at X and Y, respectively. Prove that the line XY always passes through a fixed point.

CRUX 1998. Proposed by John Clyde, student, New Plymouth High School, New Plymouth, Idaho.

Let á = sin10° , b = sin50° , c = sin70° . Prove that

(i) á + b = c, (ii) á-1 + b-1 = c-1 + 6, (iii) 8ábc = 1.

CRUX 2444. [1999:239] Proposed by Michael Lambrou, University of Crete, Crete, Greece.

Determine

Solution (PDF)

CRUX 2445. [1999:239] Proposed by Michael Lambrou, University of Crete, Crete, Greece.

Let A, B be a partition of the set C ={ qÎ Q: 0 < q < 1} (so that A, B are disjoint sets whose union is C). Show that there exist sequences {an}, {bn} of elements of A and B respectively such that (an - bn) ® 0 as n ® ¥ .

Solution (PDF)

CRUX 2480. [1999: 430] Proposed by Joakin Gomez Rey, IES Luis Bunuel, Alcorcon, Spain.

Writing for Euler's totient function, evaluate

CRUX 2486. [1999: 431] Proposed by Joe Howard, New Mexico Highlands University, Las Vegas, NM, USA.

It is well-known that cos(20° )× cos(40° )× cos(80° )= 1 / 8.

Show that sin(20° )× sin(40° )× sin(80° ) =.

CRUX 2493. [1999: 506] Proposed by Toshio Seimiya, Kawasaki, Japan.

Suppose that ABCD is a convex cyclic quadrilateral, that Ð ACB = 2Ð CAD, and that Ð ACD = 2Ð BAC.

Prove that BC + CD = AC

CRUX 2503. [2000: 45] Proposed by Toshio Seimiya, Kawasaki, Japan.

The incircle of Ä ABC touches BC at D, and the excicle opposite to B touches BC at E. Suppose that AD=AE. Prove that

2Ð BCA-Ð ABC=180°

CRUX 2510. [2000: 46] Proposed by Ho-joo Lee, student, Kwangwoon University, South Korea.

In Ä ABC, Ð ABC =Ð ACB = 80° and P is on the segment AB such that AP = BC. Find Ð BPC.

   Back to top


Abbreviations:

AMM

: The American Mathematical Monthly

CRUX

: Crux Ìathematicorum

MM

: Mathematics Magazine

MS

: Mathematical Spectrum

  


Back to my Home Page

E-mail address: asin@math.cornell.edu

Last modified on January 19, 2003