Problems Ted Eisenberg, Section Editor *********************************************************
This section of the Journal offers readers an opportunity to exchange interesting mathematical problems and solutions. Please send them to Ted Eisenberg, Department of Mathematics, Ben-Gurion University, Beer-Sheva, Israel or fax to: 972-86-477-648. Questions concerning proposals and/or solutions can be sent e-mail to
————————————————————–
Solutions to the problems stated in this issue should be posted before March 15, 2018
• 5475: Proposed by Kenneth Korbin, New York, NY √ a + b = 14 ab − 48, √ Given positive integers a, b, c and d such that b + c = 14√bc − 48, c + d = 14 cd − 48, with a < b < c < d. Express the values of b, c, and d in terms of a.
• 5476: Proposed by Ed Gray, Highland Beach, FL
Find all triangles with integer area and perimeter that are numerically equal.
• 5477: Proposed by Daniel Sitaru, “Theodor Costescu” National Economic College, Drobeta Turnu-Sevrin, Meredinti, Romania
Compute: √ √ √ ! 1 − 1 + x2 3 1 + x2 · ... · n 1 + x2 L = lim ln n + lim . n→∞ x→0 x2
• 5478: Proposed by D. M. Btinetu-Giurgiu, “Matei Basarab” National Collge, Bucharest, Romania and Neculai Stanciu, “George Emil Palade” Secondary School, Buzu, Romania
Compute: Z π/2 π π cos2 x sin x sin2 cos x + cos x sin2 sin x dx. 0 2 2
• 5479: Proposed by Jos´eLuis D´ıaz-Barrero, Barcelona Tech, Barcelona, Spain
Let f : [0, 1] → < be a continuous convex function. Prove that
2 Z 1/3 3 Z 2/3 5 Z 8/15 f(t)dt + f(t)dt ≥ f(t)dt. 5 0 10 0 8 0
1 • 5480: Proposed by Ovidiu Furdui, Technical University of Cluj-Napoca, Cluj-Napoca, Romania
Let n ≥ 1 be a nonnegative integer. Prove that in C[0, 2π]
span{1, sin x, sin(2x),..., sin(nx)} = span{1, sin x, sin2 x, . . . , sinn x}
if and only if n = 1.
k X We mention that span{v1, v2, . . . , vk} = ajvj, aj ∈ <, j = 1, . . . , k, denotes the set of j=1 all linear combinations with v1, v2, . . . , vk.
Solutions
• 5457: Proposed by Kenneth Korbin, New York, NY
12 Given angle A with sin A = . A circle with radius 1 and a circle with radius x are each 13 tangent to both sides of the angle. The circles are also tangent to each other. Find x.
Solution by Anthony J. Bevelacqua, University of North Dakota, Grand Forks, ND
The angle bisector passes through the centers C and D of the two circles, and the radii from the centers to the points of tangency P and Q of the circles with a side of the angle make right angles 6 CPO and 6 DQO. Thus we have a pair of similar right triangles as follows.
D
C
O P Q
Here 6 DOQ = A/2 and |CD| = 1 + x. Suppose x > 1. Then |CP | = 1 and |DQ| = x. We have
|CP | 1 sin(A/2) = = |CO| |CO|
2 so |CO| sin(A/2) = 1. And |DQ| |DQ| x sin(A/2) = = = |DO| |DC| + |CO| 1 + x + |CO| so sin(A/2) + x sin(A/2) + |CO| sin(A/2) = x. Thus 1 + sin(A/2) x = . 1 − sin(A/2) p Now sin A = 12/13 so cos A = 1 − sin2 A = 5/13, and thus r 1 − cos(A) √ √ sin(A/2) = = 2 13/13 or 3 13/13. 2 Therefore √ √ 13 + 2 13 13 + 3 13 x = √ ≈ 3.491 or x = √ ≈ 10.908. 13 − 2 13 13 − 3 13 If x < 1 then scale the plane by 1/x and appeal to the last paragraph. This gives two more values of x: √ √ 13 − 2 13 13 − 3 13 x = √ ≈ 0.286 or x = √ ≈ 0.092. 13 + 2 13 13 + 3 13
Editor0s Comment : David Stone and John Hawkins of Georgia Southern University, Statesboro, GA generalized the problem. First, they proved the following lemma:
Let A be an angle, 0 < A < π. Suppose a circle C1 of radius r = 1 is inscribed in A and a larger circle C2 of radius R = x is also inscribed in A, with C2 tangent to C1. Then 1 + sin α 1 x = , α = A. 1 − sin α 2
They proved this lemma by showing that it held when angle A is acute and also obtuse. Then they magnified the entire figure by a factor of r, so that the smaller circle C1 has a radius of r and the larger circle C2 has a radius of R = rx, and this allowed them to generalize the lemma: Let A be an angle, 0 < A < π. Suppose that two circles, circle C1 of radius r and C2 of radius R are also inscribed in A, with C2 tangent to C1. Then 1 + sin α 1 R = r, α = A. 1 − sin α 2
They went on to say that “with the result stated in this way, we see the co-dependency between r and R − if we know one we know the other.” Applying the lemma they went on to solve the problem. In conclusion they stated the following: We can apply this result in several interesting ways. For example, as a Corollary, if 1 A = 60◦, then sin α = sin 30◦ = . Let circle C of radius 1 be inscribed in A. Then we 2 0 have a larger inscribed circle C1 tangent to C0 which has radius 1 + sin α 1 + 1/2 R = · 1 = = 3. 1 1 − sin α 1 − 1/2
3 And in continuing on in this manner we have a larger inscribed circle C2 tangent to C1 which has radius 1 + sin α R = · 3 = 32. 2 1 − sin α There is an infinite sequence of expanding inscribed pairwise tangent circles having radii n Rn = 3 , n ≥ 0.
Not to be outdone, we have a smaller inscribed circle C−1, tangent to C0 which has 1 − sin α 1 radius R = · 1 = −1 1 + sin α 3 Continuing, there is an infinite sequence of shrinking inscribed pairwise tangent circles of 1 radii R = , n ≥ 0. −n 3n We could carry out this construction for any angle A, (but the numbers won’t work out so nicely.) In summary they stated: Given values for R and r, we can solve the Corollary equation for α and then find A. That is, given tangent circles of radii r and R, with r < R, we R − r can compute the angle A which will “circumscribe” the circles: A = 2 sin−1 . R + r
Also solved by Arkady Alt, San Jose, CA; Charles Burnette, Academia Sinica, Taipei, Taiwan; Bruno Salgueiro Fanego, Viveiro, Spain; Ed Gray, Highland Beach, FL; Paul M. Harms, North Newton, KS; David A. Huckaby, Angelo State University, San Angelo TX; Kee-Wai, Lau, Hong Kong, China; David E. Manes, Oneonta, NY; Charles McCracken, Dayton, OH; Vijaya Prasad, Nalluri, India; Trey Smith, Angelo State University, San Angelo, TX; Ioannis D. Sfikas, National and Kapodistrian University of Athens, Greece; Albert Stadler, Herrliberg, Switzerland; David Stone and John Hawkins, Georgia Southern University, Statesboro, GA, and the proposer.
• 5458: Proposed by Michal Kremzer, Gliwice, Silesia, Poland
Find two pairs of integers (a, b) from the set {1, 2, 3, 4, 5, 6, 7, 8, 9} such that for all positive integers n, the number c = 537aaa b . . . b 18403 | {z } is composite, where there are 2n numbers b between a and 1 in the string above.
Solution 1 by Bruno Salgueiro Fanego, Viveiro, Spain
Note that c = 18403 + b · 105 · 1...1 +a · 102n+5 · 111 + 537 · 102n+8 |{z} 2n times = 18403 + b00000 · 1...1 +102n+5 · 537aaa. |{z} 2n times
Thus, if (a, b) ∈ {(2, 7), (9, 7)}, since 18403 ≡7 0, 700000 ≡7 0, 537222 ≡7 0, and 537999 ≡7 0, where ≡7 denotes congruence modulo 7, then 2n+5 c ≡7 0 + 0 · 1 1...1 +10 · 0 ≡7 0, |{z} 2n times
4 so c is divisible by 7 and, hence composite.
Solution 2 by Ed Gray, Highland Beach, FL
The two pairs which guarantee that c = 537aaa bbbbbb . . . bb 18403 is always composite | {z } 2n times are: a = 2, b = 7 and a = 9, b = 7. We will show that with these integers, c is always divisible by 7.
A test for divisibility by 7 is as follows: double the last digit and subtract it from the remaining truncated number. If the result is divisible by 7, then so was the original number. As a simple example, consider the number 826. Double the last digit which gives 12, and subtract it from the leading truncated number, which is 82. Then 82 − 12 = 70, which is divisible by 7, so 826 is divisible by 7.
Now consider our number. It’s last digit is 3, and we double it to get 6. Subtracting 6 from the “truncated” number, we have 537aaa bbbbbb . . . bb 1834. | {z } 2n times We note that 1834 is divisible by 7; that if we let b = 7, every b will be divisible by 7. It remains to find 2 values for a such that 537aaa is divisible by 7. If a = 2, we have the number 537222 = 7 · 76746, and if a = 9, we have the number 537999 = 7 · 76857. This concludes the proof.
Solution 3 by David E. Manes, Oneonta, NY
Two pairs of integers (a, b) that satisfy the problem are (2, 7) and (9, b) where b is any nonnegative integer. For the pair (2, 7), the integer c is always divisible by the prime 7 and for the pair (9, b), c is always divisible by 11. n n−1 Given: N is a positive integer and N = an10 + an−110 + ··· + a110 + a0. Then
N ≡ (100a2 + 10a1 + a0) − (100a5 + 10a4 + a3) + (100a8 + 10a7 + a6) − · · · (mod 7).
For this case, N is divisible by 7 if and only if N ≡ 0 (mod 7). Moreover,
n n−1 N ≡ (−1) an + (−1) an−1 + · · · − a1 + a0 (mod 11) and N is divisible by 11 if and only if N ≡ 0 (mod 11). Let n be a positive integer and define Cn = 537aaab . . . b18403 where the number of digits b is 2n. If a = 2 and b = 7, then C1 = 5372227718403, C2 = 537222777718403 and C3 = 53722277777718403. Therefore, modulo 7,
C1 ≡ 403 − 718 + 227 − 372 + 5 ≡ 4 − 4 + 3 − 1 + 5 ≡ 0 (mod 7),
C2 ≡ 403 − 718 + 777 − 222 + 537 ≡ 4 − 4 + 0 − 5 + 5 ≡ 0 (mod 7),
C3 ≡ 403 − 718 + 777 − 277 + 722 − 53 ≡ 4 − 4 + 0 − 4 + 1 − 4 ≡ 0 (mod 7).
Thus, C1,C2 and C3 are all divisible by 7 and hence, each one is composite. Furthermore, C3n+1 ≡ C1 (mod 7), C3n+2 ≡ C2 (mod 7) and C3n ≡ C3 (mod 7) for all positive integers n. Hence, if a = 2 and b = 7, then Cn is always composite since all of these integers are divisible by 7.
5 If a = 9 and b is any nonnegative integer, then the number of digits in Cn is always odd and
Cn ≡ 5 − 3 + 7 − a + a − a + b − b + ··· + b − b + 1 − 8 + 4 − 0 + 3 ≡ 9 − a (mod 11).
Therefore, for all positive integers n, the prime 11 is a divisor of Cn if and only if a = 9 and the value of b is superfluous. Hence, Cn is always composite.
Solution 4 Anthony J. Bevelacqu, University of North Dakota, Grand Forks, ND
We have 2n z }| { c = 18403 + 105 · b · (1 ··· 1) + 105+2n · (a · 111 + 103 · 537). Note that c > 18403 = 7 · 11 · 239. 2n z }| { Since 10 ≡ −1 mod 11 we have (1 ··· 1) ≡ 0 mod 11 for any n and so c ≡ −(a + 2) mod 11. Thus c will be divisible by 11 when a = 9 for any choice of the digit b and for any non-negative n. Now if b = 7 we have c ≡ 105+2n(6a + 2) mod 7. Thus c will be divisible by 7 when a = 2 for any number of digits b = 7. Therefore c will be composite when (a, b) = (9, b) for any choice of the digit b and when (a, b) = (2, 7).
Editor0s comments : Most of the other solvers of this problem noticed that an even number of b digits forces the number formed by them alone, to be divisible by 11. Hence, they found the value a = 9 makes the number 537aaa18403 divisible by 11, and so (9, any digit) solves the problem. The solutions listed above pick up another ordered pair. But then The Honor Students at Ashland University in Ashland, Ohio upped the ante by finding additional ordered pairs to (9, any other digit). Using MAPLE they found 6 pairs of values for (a, b) that satisfy the problem. They checked these values for all positive integers n ≤ 25. Letting c = 537aaa b . . . b 18403 they found | {z } that:
(a, b) c is divisible by (2, 7) 7 (4, 1) 29 (4, 5) 13 (6, 5) 17 (6, 9) 59 (7, 5) 89 David Stone and John Hawkins of Georgia Southern University, Statesboro, GA found all of the solutions in the above table and an additional one (4, 8), which is divisible by 13. They also found that if b = 0 were allowed, then (2, 0) is divisible by 7, for all n ≥ 0. With respect to the pair (4, 8) they stated that it seemingly has a unique property. If cn = 537aaab....b18403 as defined in the problem, then no single prime divides all cn, but 7 divides all c3k, 3 divides all c3k+1, and and 13 divides all c3k+2.
Also solved by Brian D. Beasley, Presbyterian College, Clinton, SC; Pat Costello, Eastern Kentucky University, Richmond, KY; Kee-Wai Lau, Hong
6 Kong, China; Zachary Morgan, student at Eastern Kentucky University, Richmond, KY; Nathan Russell, Eastern Kentucky University, Richmond, KY; Albert Stadler, Herrliberg, Switzerland; David Stone and John Hawkins, Georgia Southern University, Statesboro, GA, and the proposer.
• 5459: Proposed by Arsalan Wares, Valdosta State University, Valdosta, GA
Triangle ABC is an arbitrary acute triangle. Points X,Y , and Z are midpoints of three sides of 4ABC. Line segments XD and XE are perpendiculars drawn from point X to two of the sides of 4ABC. Line segments YF and YG are perpendiculars drawn from point Y to two of the sides of 4ABC. Line segments ZJ and ZH are perpendiculars drawn from point Z to two of the sides of 4ABC. Moreover, P = ZJ ∩ FY,Q = ZH ∩ DX, and R = YG ∩ XE. Three of the triangles, and three of the quadrilaterals in the figure are shaded. If the sum of the areas of the three shaded triangles is 5, find the sum of the areas of the three shaded quadrilaterals.
7 Solution 1 by David A. Huckaby, Angelo State University, San Angelo, TX
Let a be the area of triangle ABC. Since Y and Z are the midpoints of AC and AB, respectively, 4AY Z is similar to 4ACB with a scale factor of 2, so that the area of 1 1 4AY Z is 4 a. Similarly, the areas of 4BXZ and 4CXY are each 4 a, and therefore the 1 area of 4XYZ is also 4 a.
1 The area of rectangle GY ZH is 2 a, since it has the same height and base as 4XYZ. 1 Similarly, the areas of rectangles FYXD and EXZJ are each 2 a.
Consider the sum of the areas of these three rectangles:
area of three rectangles = area of six outer white triangles +2(area of three pink triangles) + 3(area of 4XYZ),
that is,
1 1 3( a) = area of six outer white triangles + 2(5) + 3( a), 2 4
3 so that the sum of the areas of the six outer white triangles is 4 a − 10.
Now consider the sum of the areas of triangles AY Z, BXZ, and CXY :
area of triangles AY Z, BXZ, and CXY = area of six outer white triangles +area of three pink triangles + area of three blue quadrilaterals,
that is,
1 3 3( a) = a − 10 + 5 + area of three blue quadrilaterals, 4 4
so that the sum of the areas of the three blue quadrilaterals is 5.
8 Solution 2 by Andrea Fanchini, Cant´u,Italy
We use barycentric coordinates and the usual Conway’s notations with reference to the triangle ABC. Then we have X(0 : 1 : 1),Y (1 : 0 : 1),Z(1 : 1 : 0). • Coordinates of points D, E, F, G, H, J. Line segments XD and XE perpendiculars drawn from point X to two of the sides of 4ABC are
2 2 XAB∞⊥ :(c + SA)x − SBy + SBz = 0, XAC∞⊥ :(b + SA)x + SC y − SC z = 0 therefore the points D,E have coordinates
2 2 D = XAB∞⊥ ∩ AB = (SB : c + SA : 0),E = XAC∞⊥ ∩ AC = (SC : 0 : b + SA) then cyclically
2 2 2 2 G = (0 : SC : a +SB),J = (b +SC : 0 : SA),F = (c +SB : SA : 0),H = (0 : a +SC : SB)
• Coordinates of point P, Q, R. Coordinates of point P are
2 2 P = ZAC∞⊥ ∩ Y AB∞⊥ = (2S − a SA : SASC : SASB) then cyclically
2 2 2 2 Q = (SBSC : 2S − b SB : SASB),R = (SBSC : SASC : 2S − c SC ) • Areas of the three shaded triangles. Areas of the three shaded triangles are S S S S S S [PZY ] = B C [ABC], [QZX] = A C [ABC], [RXY ] = A B [ABC] 4S2 4S2 4S2 If the sum of the areas of the three shaded triangles is 5, we have
[ABC] [PZY ] + [QZX] + [RXY ] = , ⇒ [ABC] = 20 4 • Areas of the three shaded quadrilaterals. Area of the quadrilateral [AF P J] is given from [AF J] + [PFJ] so
S2 S2 S S S2 (S2 + S S ) [AF J] = A [ABC], [PFJ] = A B C [ABC], ⇒ [AF P J] = A B C [ABC] 4b2c2 4b2c2S2 4b2c2S2 then cyclically
S2 (S2 + S S ) S2 (S2 + S S ) [BDQH] = B A C [ABC], [CERG] = C A B [ABC] 4a2c2S2 4a2b2S2 therefore a2S2 (S2 + S S ) + b2S2 (S2 + S S ) + c2S2 (S2 + S S ) [AF P J]+[BDQH]+[CERG] = A B C B A C C A B [ABC] 4a2b2c2S2 but [ABC] = 20 then
S2(a2S2 + b2S2 + c2S2 ) + S S S (a2S + b2S + c2S ) [AF P J]+[BDQH]+[CERG] = 5 A B C A B C A B C a2b2c2S2
9 2 2 2 2 now a SA + b SB + c SC = 2S then a2S2 + b2S2 + c2S2 + 2S S S [AF P J] + [BDQH] + [CERG] = 5 A B C A B C a2b2c2 2 2 2 2 2 2 2 2 2 finally a SA + b SB + c SC + 2SASBSC = a b c so we have that also [AF P J] + [BDQH] + [CERG] = 5.
Solution 3 by Nikos Kalapodis, Patras, Greece
We denote with [S] the area of shape S. Let XL, YM and ZN be the heights of triangle XYZ and K its orthocenter. Then the quadrilaterals PZKY , QXKZ and RYKX are parallelograms. It follows that [PZY ] = [KZY ], [QZX] = [KZX], and [RXY ] = [KXY ]. Therefore [PZY ] + [QZX] + [RXY ] = [KZY ] + [KZX] + [KXY ] = [XYZ] (1). Furthermore since the triangles AZY , BXZ, CYX and XYZ are congruent with orthocenters P , Q, R and K respectively, it easily follows that [AF P J] = [XNKM], [BHQD] = [Y LKN] and [CERG] = [ZMKL]. Therefore [AF P J] + [BHQD] + [CERG] = [XNKM] + [Y LKN] + [ZMKL] = [XYZ] (2). From (1) and (2) we get that [AF P Z] + [BHQD] + [CERG] = [PZY ] + [QZX] + [RXY ] = 5.
Solution 4 by Angel´ Plaza, University of Las Palmas de Gran Canaria, Spain
Triangles ∆AZY , ∆ZBX and ∆YXC are equal. Also the sum of the areas of the saded triangles is equal to the area of for example ∆AZY . Also the sum of the areas of the
10 three shaded quadrilaterals is equal to the area of one of the triangles, for example ∆AZY . Therefore, the requested sum is equal to 5.
Also solved by Bruno Salgueiro Fanego, Viveiro, Spain; Ed Gray, Highland Beach, FL; Kee-Wai, Lau, Hong Kong, China; David E. Manes, Oneonta, NY; Sachit Misra, Nelhi, India; Neculai Stanciu,“George Emil Palade” School, Buzau,˘ Romania and Titu Zvonaru, Comanesti,˘ Romania; David Stone and John Hawkins, Georgia Southern University, Statesboro, GA and the proposer.
• 5460: Proposed by Angle´ Plaza,Universidad de Las Palmas de Gran Canaria, Spain
If a, b > 0 and x, y > 0 then prove that
a3 b3 a2 + b2 + ≥ . ax + by bx + ay x + y
Solution 1 by Dionne Bailey, Elsie Campbell, and Charles Diminnie, Angelo State University, San Angelo,TX
Since a, b, x, y > 0, we have
a3 (bx + ay)(x + y) + b3 (ax + by)(x + y) − a2 + b2 (ax + by)(bx + ay) = a2 (bx + ay)[a (x + y) − (ax + by)] + b2 (ax + by)[b (x + y) − (bx + ay)] = a2 (a − b) y (bx + ay) + b2 (b − a) y (ax + by) = (a − b) y a2 (bx + ay) − b2 (ax + by) = (a − b) y ab (a − b) x + a3 − b3 y = (a − b)2 y abx + a2 + ab + b2 y ≥ 0, (1)
with equality if and only if a = b.
Since a, b, x, y > 0, we need only to divide (1) by the positive quantity (ax + by)(bx + ay)(x + y) and to re-arrange terms to obtain the desired inequality. Further, equality is attained if and only if a = b.
Solution 2 by Henry Ricardo, Westchester Area Math Circle, NY
Using the Engel form of the Cauchy-Schwarz inequality (or Bergstr¨om’sinequality) and the AGM inequality, we see that
a3 b3 a4 b4 + = + ax + by bx + ay a2x + aby b2x + aby (a2 + b2)2 ≥ (a2 + b2)x + 2aby (a2 + b2)2 a2 + b2 ≥ = . (a2 + b2)x + (a2 + b2)y x + y
Solution 3 by Anna Valkova Tomova, Varna, Bulgaria
11 We move the expression to the left of the right side of the inequality. Now we have to prove that the new left part is non-negative. Again we will use the capabilities of the mathematical site
a3 b3 a2 + b2 + − ax + by bx + ay x + b
y(a4y + a3bx − a3by − 2a2b2x + ab3x − ab2y + b4y) = . (x + y)(ay + bx)(ax + by)
y(a − b)2(a2y + abx + aby + b2y) = . (x + y)ay + bx)(ax + by)
Since the numbers involved in the expression are conditionally positive, we have proved the inequality because the equivalent expression is positive too.
Conclusion: The application of information technology enhances the quality of education in mathematics in all of its stages of study. Of course, it should be checked at every stage so as not to allow ridiculous errors. In this sense, “E-Mathematics” does not replace the classic, it continues development with new, more efficient vehicles.
Editor0s Comments : Brian Bradie of Christopher Newport University in Newport News VA stated that this problem is a generalization of two inequalities that appeared in Problem B-1201 in the February 2017 issue of the Fibonacci Quarterly:
a3 b3 a2 + b2 + ≥ aFn + bFn+1 bFn + aFn+1 Fn+2
a3 b3 a2 + b2 + ≥ aLn + bLn+1 bLn + aLn+1 Ln+2
Three other generalizations of this problem were made by D.M.Batinetu-Giurgiu˘ of the “Matei Basarab” National College in Bucharest, Romania.
1. A generalization with “two variables:” am+2 bm+2 a2 + b2 If m ≥ 0 and a, b, x, y > 0, then + ≥ . (ax + by)m (bx + ay)m (x + y)m Proof: am+2 bm+2 a2m+2 b2m+2 + = + (ax + by)m (bx + ay)m (a2x + aby)m (b2x + aby)m
J.Radon AM≥GM (a2)m+1 (b2)m+1 z}|{ (a2 + b2)m+1 z}|{ (a2 + b2)m+1 = + ≥ ≥ (a2x + aby)m (b2x + aby)m (a2 + b2)x + 2aby)m ((a2 + b2)x + (a2 + b2)y)m
12 (a2 + b2)m+1 a2 + b2 = = . Q.E.D. (a2 + b2)m(x + y)m (x + y)m
Corollary 1. If m = 1, then we obtain the problem 5460.
2. A generalization with “three variables:”
If m ≥ 0 and a, b, c, x, y, z > 0, then am+2 bm+2 cm+2 a2 + b2 + c2 + + ≥ . (ax + by + cz)m (bx + cy + az)m (cx + ay + bz)m (x + y + z)m Proof: am+2 bm+2 cm+2 + + (ax + by + cz)m (bx + cy + az)m .(cx + ay + bz)m
(a2)m+1 (b2)m+1 (c2)m+1 = + + (a2x + aby + acz)m (b2x + bcy + abz)m (c2x + acy + bcz)m
J.Radon z}|{ (a2 + b2 + c2)m+1 ≥ ((a2 + b2 + c2)x + (ab + bc + ca)y + (bc + ca + ab)z)m
(a2 + b2 + c2)m+1 a2 + b2 + c2 ≥ = , Q.E.D. (a2 + b2 + c2)m(x + y + z)m (x + y + z)m
In the last inequality we are utilizing the fact that a2 + b2 + c2 ≥ ab + bc + ca where a, b, c > 0.
3. A generalization with “n variables:”
If t, x, y, ak > 0, n ∈ N, n ≥ 2, n ∈ {1, 2, . . . , n} such that n n X 2 X t ak ≥ akak+1, an+1 = a1, then t=1 k=1
n 3 n X ak 1 X 2 ≥ ak. xak + yak+1 x + ty k=1 k=1
Proof:
n !2 X 2 Bergstrom ak n 3 n 2 2 X ak X (ak) z}|{ k=1 = 2 ≥ n xak + yak+1 xa + ya a k=1 k=1 k k k+1 X 2 (xak + yakak+1) k=1
13 n !2 n !2 X X a2 a2 k k n 1 X k=1 = k=1 = a2, Q.E.D. n n n n x + ty k X 2 X X 2 X 2 k=1 x ak + y akak+1 x ak + ty ak k=1 k=1 k=1 k=1
Also solved by Arkady Alt (3 solutions), San Jose, CA; Bruno Salgueiro Fanego Viveiro, Spain; D.M.Batinetu-Giurgiu˘ of the “Matei Basarab” National College in Bucharest, Romania; D.M.Batinetu-Giurgiu˘ of the “Matei Basarab” National College in Bucharest, Romania with Neculai Stanciu, “George Emil Palade” School, Buzau,˘ Romania; Brian Bradie, Christopher Newport University, Newport News, VA; Ed Gray, Highland Beach, FL; Paul M. Harms, North Newton, KS; Kee-Wai, Lau, Hong Kong, China; Nikos Kalapodis, Patras, Greece; Moti Levy, Rehovot, Israel; David E. Manes, Oneonta, NY; Paolo Perfetti, Department of Mathematics, Tor Vergata University, Rome, Italy; Ioannis D. Sfikas, National and Kapodistrian University of Athens, Greece; Albert Stadler, Herrliberg, Switzerland; Neculai Stanciu, “George Emil Palade” School in Buzau, Romanina with Titu Zvonaru of Comanesti,˘ Romania; and the proposer.
• 5461: Proposed by Jos´eLuis D´ıaz-Barrero, Barcelona Tech, Barcelona, Spain
Compute the following sum: ∞ X cos (2n − 1) 2 . n=1 (2n − 1)
Solution 1 by Brian Bradie, Christopher Newport University, Newport, VA
π Consider the function f(x) = − x on the interval [0, π]. Because 2 2 Z π π − x dx = 0 π 0 2 and, for positive integer n, ( 4 2 Z π π , n odd − x cos nx dx = n2π π 0 2 0, n even
it follows that the Fourier cosine series for f is
∞ 4 X cos(2n − 1)x . π (2n − 1)2 n=1 The function f is continuous at x = 1, so
∞ 4 X cos(2n − 1) f(1) = ; π (2n − 1)2 n=1
14 therefore, ∞ X cos(2n − 1) π π π = f(1) = − 1 . (2n − 1)2 4 4 2 n=1
Solution 2 by Ed Gray, Highland Beach, FL
Many of these infinite series can be solved by finding a function whose Fourier series expansion results in the given series. The series at hand reprsents an even function so suitable candidates are functions like f(x) = x2, f(x) = |x|, etc. A perusal of some functions reveals that the function f(x) = |x|, π < x < π, seems just was we need.
The expression is: ∞ π 4 X cos(kx) 1. f(x) = − . 2 π k2 k≥1,odd Since the sum involves odd terms only, we let k = 2n − 1. Further, we eliminate x by letting x = 1.(Since an even function, x = −1 would do just as well.) In either case, f(1) = f(−1) = |1| = 1 and equation (1) becomes: ∞ π 4 X cos(2n − 1) 2. 1 = − , or 2 π (2n − 1)2 n=1 ∞ 4 X cos(2n − 1) π 3. = − 1. π (2n − 1)2 2 n=1 π Multiplying by . 4 ∞ X cos(2n − 1) π2 π 4. = − . (2n − 1)2 8 4 n=1
Solution 3 by Paolo Perfetti, Department of Mathematics, Tor Vergata University, Rome, Italy
∞ ∞ X cos(2n − 1) 1 X Z 1 Z 1 = (ei(2n−1) + e−i(2n−1)) t2n−2dt u2n−2du (2n − 1)2 2 n=1 n=1 0 0
∞ ∞ e−i Z 1 dt Z 1 du X ei Z 1 dt Z 1 du X = (tuei)2k + (tue−i)2k 2 t2 u2 2 t2 u2 0 0 n=1 0 0 n=1
e−i Z 1 Z 1 e2i ei Z 1 Z 1 e−2i = dt du 2 2i + dt du 2 −2i . 2 0 0 1 − (tu) e 2 0 0 1 − (tu) e
The change x = tu, y = u yields
ei Z 1 dy Z y 1 e−i Z 1 dy Z y 1 dx 2 2i + dx 2 −2i 2 0 y 0 1 − x e 2 0 y 0 1 − x e
15 i Z 1 Z y −i Z 1 Z y e dy 1 i e dy 1 1 = dx i + 11 + xe + dx −i + −i 4 0 y 0 1 − xe 4 0 y 0 1 − xe 1 + xe
1 Z 1 dy h i 0 1 Z 1 dy h i y i i = Ln(1 − xe + Ln(1 + xe 4 0 y y 4 0 y 0
1 Z 1 dy h i 0 1 Z 1 dy h i y −i −i = Ln(1 − xe + Ln(1 + xe 4 0 y y 4 0 y 0
−1 Z 1 Ln(1 − yei) 1 Z 1 Ln(1 + yei) −1 Z 1 Ln(1 − ye−i) 1 Z 1 Ln(1 + ye−i) = dy + dy + dy + dy 4 0 y 4 0 y 4 0 y 4 0 y
i i −i −i −1 Z e Ln(1 − y) 1 Z −e Ln(1 − y) −1 Z e Ln(1 − y) 1 Z −e = dy + dy + dy + Ln(1 − y)ydy 4 0 y 4 0 y 4 0 y 4 0
1 1 1 1 = Li (ei) − Li (−ei) + Li (e−i) − d Li (−e−i). 4 2 4 2 4 2 4 2
The relation
1 π2 (Ln(−z))2 Li ( ) + Li (z) = − − 2 z 2 6 2 gives
1 π2 (Ln(−ei))2 1 π2 (Ln(ei))2 1 i2 π2 − 2π − − − − − = − (i(π − 1))2 + = . 4 6 2 4 6 2 8 8 8
Solution 4 by Ioannis D. Sfikas, National and Kapodistrian University of Athens, Greece
A given 2π-periodic function f can be represented as by the convergent series
∞ a0 X f(x) = + [a cos(nx) + b sin(nx)]. 2 n n n=1
The convergence of the series means that the sequence (sn(x)) of partial sums, defined by
n a0 X s (x) = + [a cos(kx) + b sin(kx)], n 2 n n k=1 converges at a given point x to f(x), sn(x) → f(x). Consider f to be a 2π-periodic function defined by f(x) = |x| for x ∈ [−π, π]. Note that f is even. Since the product of Z n even functions with the odd function is odd, it follows that f(x) sin(nx)dx = 0. −n
Hence bn = 0 for all n ≥ 1. To compute an note that the product of an even function with an even function is even, so that 1 Z n 2 Z π 2 Z π an = f(x) cos(nx)dx = f(x) cos(nx)dx = x cos(nx)dx. n −n n 0 n 0
16 2 Z π 4 If n = 0 then a0 = xdx = π. Hence an = 0 if n is even and an = − 2 when n is n 0 n π odd, and hence ∞ π 4 X cos(2n − 1)x f(x) ∼ − . 2 π (2n − 1)2 n=1
1 Since the series P converges, the M−Weierstarss test implies that the above series n2 converges. Furthermore, f is continuous at every point and it is smooth except at points mπ, with m odd. Hence the Fourier series of f converges to f at every point. In particular, ∞ π 4 X cos(2n − 1)x |x| = − , 2 π (2n − 1)2 n=1 for x ∈ [−π, π]. Substituting x = 0, we find that
∞ X 1 n2 = , (2n − 1)2 8 n=1 and substituting x = 1, we find that
∞ X cos(2n − 1) π π = − 1 ≈ 0.448302. (2n − 1)2 4 2 n=1
Also solved by Bruno Salgueiro Fanego Viveiro, Spain; Kee-Wai Lau, Hong Kong, China; Moti Levy, Rehovot, Israel; Henry Ricardo, Westchester Area Math Circle, NY; Albert Stadler, Herrliberg, Switzerland; Anna V. Tomova, Varna, Bulgaria, and the proposer.
• 5462: Proposed by Ovidiu Furdui, Technical University of Cluj-Napoca, Cluj-Napoca, Romania
Let n ≥ 1 be an integer. Calculate
π Z 2 cos x n dx. 0 1 + psin(2x)
Solution 1 by Moti Levy, Rehovot, Israel
First simplification by setting t = 4x − π, √ Z π Z π t π Z π t 2 cos x 1 cos 4 + 4 2 cos 4 In := √ n dx = q n dt = q n dt 0 1 + sin 2x 4 −π t 4 0 t 1 + cos 2 1 + cos 2 √ 1− cos t √ 2 Further simplification by the change of variable w = t : 1+ cos 2 √ s s t 1 − w 2 t 2 1 − w 2 t 1 − w 4 cos = , cos = 1 + , sin = 1 − 2 1 + w 4 2 1 + w 2 1 + w
17 1 Z 1 1 √ n−2 √ In = n (1 + w) − w dw. 2 0 w By the binomial theorem,
n−2 X n − 2 (1 + w)n−2 = wk, n ≥ 2 k k=0 after interchanging integration and summation,
n−2 Z 1 1 X n − 2 k− 1 k+ 1 I = w 2 − w 2 dw n 2n k k=0 0 n−2 ! 1 X n − 2 1 1 = − 2n k k + 1 k + 3 k=0 2 2 n−2 n−2 1 X = k , n ≥ 2. 2n k + 1 k + 3 k=0 2 2 For n = 1,
1 Z 1 1 − w 1 Z 1 1 − x2 √ I1 = dw = 2 dx 2 0 1 + w w 0 1 + x Z 1 2 π = 2 − 1 dx = − 1. 0 1 + x 2
Solution 2 by Albert Stadler, Herrliberg, Switzerland π The transformation x → − x yields π 2 π Z 2 cos x Z 2 sin x n dx = n dx. 0 1 + psin(2x) 0 1 + psin(2x)
Therefore
π π π p Z 2 cos x 1 Z 2 cos x + sin x 1 Z 2 (cos x + sin x)2 n dx = n dx = n dx 0 1 + psin(2x) 2 0 1 + psin(2x) 2 0 1 + psin(2x)
π p π p π √ 1 Z 2 (1 + sin(2x) Z 4 (1 + sin(2x) 1 Z 2 1 + sin x = n dx = n dx = √ n dx 2 0 1 + psin(2x) 0 1 + psin(2x) 2 0 1 + sin x
√ y= sin x Z 1 p 2 Z 1 z}|{ 1 + y y 1 y = n · p dy = n · p dy 0 (1 + y) 1 − y4 0 (1 + y) 1 − y2
2z y= 2 1+z Z 1 1 2z 1 + z2 2(1 − z2) Z 1 z(1 + z2)n−2 Z ∞ z(1 + z2)n−2 z}|{= · · · dz = 4 dz = dz, 2z 1 + z2 1 − z2 (1 + z2)2 (1 + z)2n (1 + z)2n 0 1 + (1+z2)n 0 0 Z 1 z(1 + z2)n−2 Z ∞ z(1 + z2)n−2 where we have used that n dz = n dz, 0 (1 + z) 0 (1 + z)
18 as follows by performing the change of variables z → 1/z.
π Z 2 cos x Obviously, for n = 0, dx = 1. 0 0 1 + p(2x)
For n = 1 we have π ∞ ∞ Z 2 cos x Z z Z 1 1 π dx = 2 2 2 dz = 2 − 2 dz = − 1. 0 1 + p(2x) 0 (1 + z) (1 + z ) 0 1 + z (1 + z) 2
For n ≥ 2 we use the Binomial Theorem to expand the integrand. Z ∞ z(1 + z2)n−2 Z ∞ z(1 + 2z + z2 − 2z)n−2 2 2n dz = 2 2n dz 0 (1 + z) 0 (1 + z) n−2 n−2 X n − 2 Z ∞ zj+1 X n − 2 (j + 1)!2 =2 (−2)j dz = 2 (−2)j j (1 + z)2j+4 j (2j + 3)! j=0 0 j=0 n−2 X (j + 1)! = −(n − 2)! (−2)j+1(j + 1) , (n − 2 − j)!(2j + 3)! j=0 where we have used that Z ∞ zj+1 j + 1 Z ∞ zj (j + 1)j Z ∞ z(j−1) dz = dz = dz = 2j+4 2j+3 (2j+2) 0 (1 + z) 2j + 3 0 (1 + z) (2j + 3)(2j + 2) 0 (1 + z) (j + 1)j Z ∞ 1 (j + 1)!2 ... = dz = , applying repeated (j+3) (2j + 3)(2j + 2) ··· (j + 3) 0 (1 + z) (2j + 3)! integration by parts. So the integral evaluates to a rational number for all natural numbers n except for n = 1.
Solution 3 by Kee-Wai Lau, Hong Kong, China
Denote the integral of the problem by In. We show that
π − 2 , for n = 1 2 n−1 n−1 In = X (1) n k − 2n−1 2k + 1 k=0 , for n ≥ 2. (n − 1)2n−1
π Z 2 sin x π Let Jn = n dx. By substituting x = − y into In, we see that 0 1 + psin(2x) 2 2 In = Jn. Since 1 + sin(2x) = (cos x + sin x) , so √ Z π p Z π In + Jn 1 2 1 + sin(2x) 1 1 + sin x In = = n dx = √ n dx. 2 2 0 1 + psin(2x) 4 0 1 + sin x
By putting x = π − y we see that √ √ Z π 1 + sin x Z π/2 1 + sin y √ n dx = √ n dy. π 1 + sin y 2 1 + sin x 0
19 √ Z π/2 1 1 + sin x 2 Hence, In = √ n dx. By putting sin x = cos θ so that 2 0 1 + sin x Z π/2 cos θdθ cos xdx = −2 sin θ cos θdθ and so In = n . We have 0 (1 + cos θ)
Z π/2 Z π/2 Z /2 cos θdθ π dθ π 1 2 θ π − 2 I1 = = − = − sec d = . 0 1 + cos θ 2 0 1 + cos θ 2 2 0 2 2
For n ≥ 2, integrating by parts, we have
Z π/2 cos θdθ Z π/2 d(sin θ) Z π/2 sin2 θdθ Z π/2 (1 − cos θ)dθ In = n = n = 1−n n+1 = 1−n n . 0 (1 + cos θ) 0 (1 + cos θ) 0 (1 + cos θ) 0 (1 + cos θ)
Z π/2 Z π/4 dθ n 2n Hence (1 − n)In = 1 − n n = 1 − n−1 sec θdθ. 0 (1 + cos θ) 2 0
By putting t = tan θ, we obtain
n − 1 π/4 1 1 n−1 ! n−1 Z Z n−1 Z X n − 1 X k sec2n θθ = 1 + t2 dt + t2k dt = . . k 2k + 1 0 0 0 k=0 k=0
Thus (1) holds and this completes the solution.
Also solved by Arkady Alt, San Jose, CA; Ed Gray, Highland Beach, FL; Paolo Perfetti, Department of Mathematics, Tor Vergata University, Rome, Italy, and the proposer.
20 Problems Ted Eisenberg, Section Editor *********************************************************
This section of the Journal offers readers an opportunity to exchange interesting mathematical problems and solutions. Please send them to Ted Eisenberg, Department of Mathematics, Ben-Gurion University, Beer-Sheva, Israel or fax to: 972-86-477-648. Questions concerning proposals and/or solutions can be sent e-mail to
————————————————————–
Solutions to the problems stated in this issue should be posted before April 15, 2018
5481: Proposed by Kenneth Korbin, New York, NY A triangle with integer area has integer length sides (3, x, x + 1). Find five possible values of x with x > 4.
5482: Proposed by Daniel Sitaru, “Theodor Costescu” National Economic College, Drobeta Turnu-Severin, Mehedinti, Romania Prove that if n is a natural number then (tan5◦)n (tan4◦)n (tan3◦)n 3 + + ≥ . (tan4◦)n + (tan3◦)n (tan3◦)n + (tan2◦)n (tan2◦)n + (tan1◦)n 2
5483: Proposed by D.M. Ba˘tinetu-Giurgiu, “Matei Basarab” National College, Bucharest and Neculai Stanciu, “George Emil Palade” School Buza˘u, Romania π If a, b > 0, and x ∈ 0, then show that 2 sin x 2ab tan x 6ab (i)(a + b) · + · ≥ . x a + b x a + b √ (ii) a · tan x + b · sin x > 2x ab.
5484: Proposed by Mohsen Soltanifar, Dalla Lana School of Public Health, University of Toronto, Canada
Let X1,X2 be two continuous positive valued random variables on the real line with corresponding mean, median, and mode x1, x˜1, xˆ1 and x2, x˜2, xˆ2 respectively. Assume for their associated CDFs, (Cummulative Distribution Functions) we have
FX1 (t) ≤ FX2 (t)(t > 0). Prove or give a counter example:
1 (i) x2 ≤ x1, (ii)x ˜2 ≤ x˜1, (iii)x ˆ2 ≤ xˆ1.
5485: Proposed by Jos´eLuis D´ıaz-Barrero, Barcelona Tech, Barcelona, Spain Let x, y, z be three positive real numbers. Show that Y X (2x + 3y + z + 1) (4x + 2y + 1)−3 ≥ 3. cyclic cyclic
5486: Proposed by Ovidiu Furdui, Technical University of Cluj-Napoca, Cluj-Napoca, Romania
Let (xn)n≥0 be the sequence defined by x0 = 0, x1 = 1, x2 = 1 and ∞ X xn x = x + x + x + n, ∀n ≥ 0. Prove that the series converges and find n+3 n+2 n+1 n 2n n=1 its sum.
Solutions
5463: Proposed by Kenneth Korbin, New York, NY Let N be a positive integer. Find triangular numbers x and y such that x2 + 14xy + y2 = 72N 2 − 12N − 12.
Solution 1 by Dionne Bailey, Elsie Campbell, and Charles Diminnie, Angelo State University, San Angelo, TX n (n + 1) The nth triangular number T is given by T = . To simplify matters, we will n n 2 assume that x ≤ y. Then, by trial and error, we found the following solutions for the first four values of N.
N 72N 2 − 12N − 1 x y 1 59 T4 = 10 T6 = 21 2 263 T10 = 55 T12 = 78 . 3 611 T16 = 136 T18 = 171 4 1103 T22 = 253 T24 = 300
This leads to the conjecture that one solution consists of
(6N − 2) (6N − 1) x = T = = (3N − 1) (6N − 1) = 18N 2 − 9N + 1 (1) 6N−2 2 and 6N (6N + 1) y = T = = 3N (6N + 1) = 18N 2 + 3N. (2) 6N 2
2 After some algebraic simplification, we obtain 2 x2 + 14xy + y2 = 18N 2 − 9N + 1 + 14 18N 2 − 9N + 1 18N 2 + 3N 2 + 18N 2 + 3N = 5184N 4 − 1728N 3 + 24N + 1 2 = 72N 2 − 12N − 1 and hence, (1) and (2) provide a solution for each N ≥ 1.
Solution 2 by Albert Stadler, Herrliberg, Switzerland (aN + b)(aN + b − 1) (cN + d)(cN + d − 1) We put x = , y = . 2 2
(aN + b)2(aN + b − 1)2 (aN + b)(aN + b − 1)(cN + d)2(cN + d − 1)2 (cN + d)2(cN + d − 1)2 +14 + 4 4 4 = (72N 2 − 12N − 1)2. By comparing the coefficients of N 4,N 3,N 2,N and the statement of the problem we find the solutions (6N − 1)(6N − 2) (6N + 1)6N (x, y) = , and 2 2 (6N + 1)6N (6N − 1)(6N − 2) (x, y) = , . 2 2
Also solved by Brian D. Beasley, Presbyterian College, Clinton, SC; Anthony Bevelacqua, University of North Dakota, Grand Forks, ND; Jeremiah Bartz, University of North Dakota, Grand Forks, ND; Bruno Salgueiro Fanego, Viveiro, Spain; Ed Gray, Highland Beach, FL; Kee-Wai Lau, Hong Kong, China; David E. Manes, Oneonta, NY; Ioannis D. Sfikas, National and Kapodistrian University of Athens, Greece; Titu Zvonaru, Comanesti˘ and Neculai Stanciu,“George Emil Palade” School Buzau,˘ Romania; David Stone and John Hawkins, Georgia Southern University, Statesboro, GA, and the proposer.
5464: Proposed by Ed Gray, Highland Beach, FL Let ABC be an equilateral triangle with side length s that is colored white on the front side and black on the back side. Its orientation is such that vertex A is at lower left, B is its apex, and C is at lower right. We take the paper at B and fold it straight down along the bisector of angle B, thus exposing part of the back side which is black. We continue to fold until the black part becomes 1/2 of the existing figure, the other half being white. The problem is to determine the position of the fold, the distance defined by x (as a function of s) which is the distance from B to the fold.
Solution 1 by David E. Manes, Oneonta, NY √ 3 √ If x = (2 − 2)s, then the area of the resulting black triangle equals the sum of the 2 areas of the two resulting white triangles.
3 √ Introduce the coordinates A(−s/2, 0),B(0, 3s/2) and√C(s/2, 0). Then triangle ABC is an equilateral triangle with side length s and altitude 3s/2). In view of the coordinates x and y, let t denote the distance from vertex B to the fold. The equation of the line L √ s containing the points B and C is y = − 3 x − . Note that for a given value of t, the √ 2 √ √ 3 3s 3s value of y is given by y = s − t. For example, let t = . Then y = and 2 4 4 vertex B has been moved to the origin, thus creating three equilateral triangles two of s which are white. Substituting the above value of y in the equation for L yields x = so 4 √ ! s 3 that the point P , s is a base vertex for the black triangle and an apex for one of 4 4 the white triangles with side PC. By symmetry, the side length for the black triangle is √ ! √ s s 3 s2 3 2 = so that its area A is given by A = = s2. However, the 4 2 B B 4 2 16 v u √ !2 us2 3s s side length PC = t + = , hence the sum of the areas A of the two 4 4 2 W √ ! √ 3 s2 3 white triangles is A = 2 = s2. Since A > A , it follows that the W 4 2 8 W B √ √ 3s 3 value of t is greater than . For this reason, let t = s + k, where k is a real √4 4 3 number such that 0 < k < s. Then 4 √ √ √ ! √ 3 3 3 3 y = s − t = − s + k = s − k. 2 2 4 4 √ s 3 Substituting this value of y in the equation for L, one obtains x = + k. Hence, the 4 3 √ √ ! s 3 3 point P = + k, s − k is a base vertex for the black triangle and an apex for 4 3 4 the white triangle with side PC. Therefore, the side length of the black triangle is √ ! √ √ √ !2 s 3 s 2 3 3 s 2 3 2 + k = + k so that its area is A = + k . Moreover, for 4 3 2 3 B 4 2 3 the white triangle v u √ !2 √ !2 √ u 3 s 3 s 2 3 PC = t k − + s − k = − k. 3 4 4 2 3
√ √ !2 3 s 2 3 Therefore, the sum of the areas of the two white triangles is A = − k . W 2 2 3 Setting AW = AB, we get √ √ ! √ √ ! 3 s2 2 3 4 3 s2 2 3 4 − sk + k2 = + sk + k2 . 2 4 3 3 4 4 3 3 This equation simplifies to the following quadratic equation in k: 4 √ s2 k2 − 2 3sk + = 0 3 4 4 √ √ 3 3 √ 3 with roots k = 2 s. The positive square root of 2 yields a value of k > s 2 2 √ 4 3 3 √ and so is inadmissable. Therefore, k = − 2 s, whence 2 2 √ √ 3 3 √ t = + k = (2 − 2)s. 4 2 Observe that using this value of t, the area of the black triangle as well as the sum of √ 3 √ the areas of the two white triangles is 3 − 2 s2. 2 Solution 2 by Kee-Wai Lau, Hong Kong, China When B reaches the midpoint of AC, the black part is only 1/3 of the existing figure, which is a trapezium. So we need to push B downwards further. The black part is then x2 an equilateral triangle with base 2x tan 30◦, height x and hence area √ . The distance √ 3 3s between the fold and AC equals − x. The white part now consists of two congruent 2 √ ! 3s 2x equilateral triangles of lengths − x sec 30◦ = s − √ . Since the area of the 2 3 √ 3 2x 2 x2 white part equals the area of the black part, we have s − √ = √ . Solving, we √ √ 2 3 3 3 2 − 2 s obtain x = . 2 Editor0s Comment: David Stone and John Hawkins both Georgia Southern University in Statesboro, GA generalized the statement as follows: “The problem asked for the configuration in which the black triangle covered half of the final figure. We could just as well determine when the black triangle covers any given portion of the final figure; say one fourth or nine tenths.” 1 1 They did this by looking at two cases: 1) 0 < λ < and 2) < λ < 1, where the Black 3 3 1 Area=λTotal Area. The constant comes from when the vertex of the Black Triangle 3 lies on the base of the White Triangle. Letting x be the length of the height of the black triangle (measured from its vertex to the fold line) they found that for the first case, where the vertex√ of the Black Triangle lies in the interior of the White Triangle that: r λ 3 x = · s and in the second case, where the vertex of the Black Triangle lies in 1 + λ 2 2λ − p2λ(1 − λ) the exterior of the White Triangle that x = · h, where h is the altitude 3λ − 1 1 of the given White Triangle. When λ = we obtain the statement of the problem and 2 using their formula reaffirms the above answers. 2a2 In concluding their comment they noted, “Another nice example: with λ = , 2a2 + 1 1 which is very close to 1, we find that x = 1 − h. That is, in a precisely 2a + 1 measurable way, we must fold almost all the way down to get a figure which is almost all black.”
5 Also solved by Brian D. Beasley, Presbyterian College, Clinton, SC; Bruno Salgueiro Fanego (two solutions), Viveiro, Spain; David A. Huckaby, Angelo State University San Angelo, TX; and the proposer.
5465: Proposed by Arsalan Wares, Valdosta State University, Valdosta, GA Quadrilateral ABCD is a rectangle with diagonal AC. Points P,R,T,Q and S are on sides AB and DC and they are connected as shown. Three of the triangles inside the rectangle are shaded pink, and three are shaded blue. Which is larger, the sum of the areas of the pink triangles or the sum of the areas of the blue triangles?
Solution by David A. Huckaby, Angelo State University, San Angelo, TX
Let p be the sum of the areas of the pink triangles, b the sum of the areas of the blue triangles, and w the sum of the areas of the three white polygons below the diagonal.
p + w = the sum of the areas of triangles DPQ, QRS, and STC 1 1 1 = (AD · DQ) + (AD · QS) + (AD · SC) 2 2 2 1 = [AD · (DQ + QS + SC)] 2 1 = (AD · DC) 2 = the area of triangle ADC = b + w
So p = b, that is, the sum of the areas of the pink triangles is equal to the sum of the areas of the blue triangles.
6 Also solved by Michael N. Fried, Ben-Gurion University of the Negev, Beer-Sheva, Israel; Ed Gray, Highland Beach, FL; Kee-Wai Lau, Hong Kong, China; Albert Stadler, Herrliberg, Switzerland; David Stone and John Hawkins, Georgia Southern University, Statesboro, GA, and the proposer.
5466: Proposed by D.M. Ba˘tinetu−Giurgiu, “Matei Basarab” National College, Bucharest, Romania and Neculai Stanciu, “Geroge Emil Palade” School, Buza˘u, Romania Let f : (0, +∞) → (0, +∞) be a continuous function. Evaluate
2 (n√+1) Z n+1 (n+1)! x lim f dx. n→∞ n2 n√ n n!
Solution 1 by Moti Levy, Rehovot, Israel
The mean value theorem of the integral calculus states: Let f (x) be continuous function, then
Z b f (x) dx = (b − a) f (ξ) , a ≤ ξ ≤ b. a Therefore,
2 (n√+1) 2 2 ! 2 2 Z n+1 (n+1)! x (n + 1) n ξ n (n + 1) f dx = − √n f , √n ≤ ξ ≤ . n2 n+1p n+1p n√ n (n + 1)! n! n n! (n + 1)! n! Taking limits of both sides,
2 (n√+1) 2 2 ! Z n+1 (n+1)! x (n + 1) n ξ lim f dx = lim − √n lim f . n→∞ n2 n→∞ n+1p n→∞ n√ n (n + 1)! n! n n! Since f (x) is continuous then
ξ ξ n lim f = f lim = f lim √ n→∞ n n→∞ n n→∞ n n! Using Stirling’s asymptotic formula, we have √ n n n! ∼ . (1) e By (1), n n2 √ ∼ e, √ ∼ e · n, n n! n n! which implies that n f lim √ = f (e) n→∞ n n! and that (n + 1)2 n2 − √ ∼ e. n+1p(n + 1)! n n!
7 We conclude that 2 (n√+1) Z n+1 (n+1)! x lim f dx = ef (e) . n→∞ n2 n√ n n!
Solution 2 by Bruno Salgueiro Fanego,Viveiro, Spain Let’s proceed as in http://www./oei.es/historico/oim/revistaoim/numero 53/261 Bruno.pdf:
Let n ∈ N; since f is continuous on (xn, xn+1), by the mean value theorem of integral Z xn+1 x ξn calculus, we have that f dx = f (xn+1 − xn)for some ξn ∈ (xn, xn+1). xn n n x ξ x Since n < n < n+1 , n n n
(n + 1)n+1 r 2n r n n n xn n n n n (n + 1)! (n + 1) (n + 1)n! n + 1 lim = lim = lim = lim n = lim = lim = e n→∞ n n→∞ nnn! n→∞ n! n→∞ n n→∞ (n + 1)!nn n→∞ n n! x x n + 1 x n + 1 and lim n+1 = lim n+1 · = lim n+1 · lim = e · 1 = e, by the n→∞ n n→∞ n + 1 n n→∞ n + 1 n→∞ n ξ sandwich rule we obtain that lim n = e, and, hence, n→∞ n ξ ξ lim f n = lim n = f(e). n→∞ n n→∞ n Moreover, from Stolz’ rule,
(xn+1 − xn) xn lim (xn+1 − xn) = lim = lim = e. n→∞ n→∞ (n + 1) − n n→∞ n
So, the required limit is equal to
Z xn+1 x ξn lim f dx = lim f lim (xn+1 − xn) = ef(e). n→∞ n→∞ n→∞ xn n n
Solution 3 by Ioannis D. Sfikas, National and Kapodistrian University of Athens, Greece This particular problem is similar to Problem 121, which was proposed by D.M. B˘atinetu-Giurgiu(“Matei Basarab” National College, Bucharest, Romania) and Neculai Stanciu (“George Emil Palade” School, Buz˘au,Romania) to the Math Problems Journal, Volume 5, Issue 2 (2015), pp. 420-421. We’ll use the following lemma.
Lemma: Let f :[a, b] → < be continuous and (xn)n, (yn)n two convergent sequences of [a, b] that have the same limit c, then
Z yn f(t)dt = f(c)(yn − xn) + O(yn − xn). xn Proof: Let > 0 , then there exists δ > 0 such that |f(t) − f(c)| < , whenever |x − c| < δ. Since xn, yn → c, the there is an n0 ∈ N such that xn, yn ∈ (C − δ, C + δ),
8 whenever n > n0. Therefore,
Z yn Z yn
f(t)dt − f(c)(yn − xn) ≤ |f(t) − f(c)| dt ≤ |yn − xn| . xn xn Note that the given integral equals
(n+1)2 n+1√ Z n (n+1)! In = n f(t)dt, n n√ n! x this comes directly from the substitution t = . Let x , y be the lower, upper bound of n n n n the last integral respectively then xn, yn → e, since √ → e, and thus n n! (n + 1)2 n + 1 (n + 1) = −→ e, as n −→ ∞. Note that by Stolz’ theorem n n+1p(n + 1)! n n+1p(n + 1)!
(n + 1)2 n2 n(yn − xn) = − √ −→ e, as n −→ ∞. n+1p(n + 1)! n n!
By the lemma we have
In = n [f(c)(yn − xn) + O(yn − xn)] = ef(e) + O(1), which proves that the limit equals ef(e).
Also solved by Arkady Alt, San Jose, CA; Kee-Wai Lau, Hong Kong, China; Soumitra Mandal, Scottish Church College, Chandan -Nagar, West Bengal, India; Paolo Perfetti, Department of Mathematics, Tor Vergata University, Rome, Italy; Albert Stadler, Herrliberg, Switzerland; Anna V. Tomova, Varna, Bulgaria, and the proposers.
5467: Proposed by Jos´eLuis D´ıaz-Barrero, Barcelona Tech, Barcelona, Spain In an arbitrary triangle 4ABC, let a, b, c denote the lengths of the sides, R its circumradius, and let ha, hb, hc respectively, denote the lengths of the corresponding altitudes. Prove the inequality
a2 + bc b2 + ca c2 + ab 3abc r 1 + + ≥ 3 , b + c c + a a + b 2R ha · hb · hc and give the conditions under which equality holds.
Solution 1 by Paolo Perfetti, Department of Mathematics, Tor Vergata University, Rome, Italy
We know that ha = (bc)/(2R) and cyclic so the inequality actually is
1 2 2 2 3 a + bc b + ca c + ab 3abc 8R 3 1 + + ≥ = 3(abc) 3 . b + c c + a a + b 2R (abc)2 We prove the stronger one
9 a2 + bc b2 + ca c2 + ab + + ≥ a + b + c, b + c c + a a + b that is
a2 + bc b2 + ca c2 + ab − a + − b + − c ≥ 0, b + c c + a a + b or
(a − b)(a − c) (b − c)(b − a) (c − a)(c − b) + + ≥ 0. b + c a + c a + b We can suppose a ≥ b ≥ c by symmetry so we come to
(a − b)(a − c) (a − c)(b − c) (a − b)(b − c) + ≥ . b + c a + b a + c This is implied by
(a − b)(a − c) (a − b)(b − c) (a − b)(b − c) + ≥ , b + c a + b a + c | {z } a−c≥a−b or
a − c b − c b − c + ≥ . b + c a + b a + c This is in turn implied by
a − c b − c b − c + ≥ a + c a + b a + c | {z } a≥b and this evidently holds true by a − c ≥ b − c ≥ 0. The equality case is a = b = c.
Solution 2 by Dionne Bailey, Elsie Campbell, and Charles Diminnie, Angelo State University, San Angelo, TX We will prove the following slight improvement:
a2 + bc b2 + ca c2 + ab + + ≥ a + b + c b + c c + a a + b √ ≥ 3 3 abc 3abc r 1 = 3 , (1) 2R ha · hb · hc with equality if and only if a = b = c. To begin, we note that