Documente Academic
Documente Profesional
Documente Cultură
J291. Let ABC be a triangle such that ∠BCA = 2∠ABC and let P be a point in its interior
such that P A = AC and P B = P C. Evaluate the ratio of areas of triangles P AB and
P AC.
J292. Find the least real number k such that for every positive real numbers x, y, z, the following
inequality holds: Y
(2xy + yz + zx) ≤ k(x + y + z)6 .
cyc
(x + y 2 + z 2 )2 − 8xyz = 1.
S289. Let x, y, z be positive real numbers such that x ≤ 4, y ≤ 9 and x + y + z = 49. Prove
that
1 1 1
√ + √ + √ ≥ 1.
x y z
S292. Given triangle ABC, prove that there exists X on the side BC such that the inradii of
triangles AXB and AXC are equal and find a ruler and compass construction.
S293. Let a, b, c be distinct real numbers and let n be a positive integer. Find all nonzero
complex numbers z such that
c a b
az n + bz + = bz n + cz + = cz n + az + .
z z z
S294. Let s(n) be the sum of digits of n2 + 1. Define the sequence (an )n≥0 by an+1 = s(an ),
with a0 an arbitrary positive integer. Prove that there is n0 such that an+3 = an for all
n ≥ n0 .
U290. Prove that there are infinitely many consecutive triples of primes (pn−1 , pn , pn+1 ) such
that 12 (pn+1 + pn−1 ) ≤ pn .
U291. Let f : R → R be a bounded function and let S be the set of all increasing maps
ϕ : R → R. Prove that there is a unique function g in S satisfying the conditions:
a) f (x) ≤ g(x), for all x ∈ R.
b) If h ∈ S and f (x) ≤ h(x) for all x ∈ R, then g(x) ≤ h(x) for all x ∈ R.
U293. Let f : (0, ∞) → R be a bounded continuous function P and let α ∈ [0, 1). Suppose there
exist real numbers a0 , . . . , ak , with k ≥ 2, so that kp=0 ap = 0 and
k
X
α
lim x ap f (x + p) = α.
x→∞ p=0
Prove that α = 0.
O290. Let Ω1 and Ω2 be the two circles in the plane of triangle ABC. Let α1 , α2 be the circles
through A that are tangent to both Ω1 and Ω2 . Similarly, define β1 , β2 for B and γ1 , γ2
for C. Let A1 be the second intersection of circles α1 and α2 . Similarly, define B1 and
C1 . Prove that the lines AA1 , BB1 , CC1 are concurrent.
a2 b2 c2 a+b+c
√ +√ +√ ≥ .
2
4a + ab + 4b2 2
4b + bc + 4c2 2
4c + ca + 4a2 3
xyz
O293. Let x, y, z be positive real numbers and let t2 = max(x,y,z) . Prove that
O294. Let ABC be a triangle with orthocenter H and let D, E, F be the feet of the altitudes
from A, B and C. Let X, Y , Z be the reflections of D, E, F across EF , F D, and
DE, respecitvely. Prove that the circumcircles of triangles HAX, HBY , HCZ share a
common point, other than H.
J295. Let a, b, c be positive integers such that (a − b)2 + (b − c)2 + (c − a)2 = 6abc. Prove that
a3 + b3 + c3 + 1 is not divisible by a + b + c + 1.
J296. Several positive integers are written on a board. At each step, we can pick any two
numbers u and v, where u ≥ v, and replace them with u + v and u − v. Prove that after
a finite number of steps we can never obtain the initial set of numbers.
ab bc ca
+ + ≥ 3,
ba cb ac
where all numbers are written in base x.
J298. Consider a right angle ∠BAC and circles ω1 , ω2 , ω3 , ω4 passing through A. The centers
of circles ω1 and ω2 lie on ray AB and the centers of circles ω3 and ω4 lie on ray AC.
Prove that the four points of intersection, other than A, of the four circles are concyclic.
J299. Prove that no matter how we choose n numbers from the set {1, 2, . . . , 2n}, one of them
will be a square-free integer.
S296. A ball in Vienna is attended by n ladies (some of which are wearing red dresses) and m
gentlemen. Some ladies and some gentlemen are acquainted. Dancing floor is occupied
by acquainted mixed pairs. At some point during the night, all the present gentlemen
were seen on the dancing floor. At some other time, all the ladies wearing red dresses
were on the dancing floor. Show that at some point there could be all gentlemen and all
red-dressed ladies on the dancing floor.
S297. Let ABC be a triangle and let A1 , A2 , B1 , B2 , C1 , C2 be points that trisect segments BC,
CA, AB, respectively. Cevians AA1 , AA2 , BB1 , BB2 , CC1 , CC2 intersect each other at
the vertices of a convex hexagon that does not have any intersection points inside it.
Prove that if the hexagon is cyclic then our triangle is equilateral.
S299. Let ABCD be a trapezoid with AB k CD and let P an arbitrary point in its plane. If
{E} = P D ∩ AC, {F } = P C ∩ BD, {M } = P D ∩ AF and {N } = P C ∩ BE, prove that
M N k AB.
S300. Let x, y, z be positive numbers and a, b > 0 such that a + b = 1. Prove that
U295. Let a be a real number such that (bnac)n≥1 is an arithmetic sequence. Prove that a is
an integer.
U296. Let a and b be real nonzero numbers and let z0 ∈ C\R be a root √to the equation
z n+1 + az + nb = 0, where n is a positive integer. Prove that |z0 | ≥ n+1 b.
U298. Determine all pairs (m, n) of positive integers such that the polynomial
f = (X + Y )2 (mXY + n) + 1
is irreducible in Z[X, Y ].
U299. Let ABC be a triangle with incircle ω and let A0 , B0 , C0 be points outside ω. Tangents
from A0 to ω intersect BC at A1 and A2 . Points B1 , B2 and C1 , C2 are defined similarly.
Prove that A1 , A2 , B1 , B2 , C1 , C2 lie on a conic if and only if triangle ABC and A0 B0 C0
are perspective.
U300. Let f : [a, b] → [a, b] be a function having lateral limits in every point. If
for all x ∈ [a, b], prove that there is an x0 ∈ [a, b] such that limt→x0 f (t) = x0 .
Prove that
2
a (x + 3yz) + b(y + 3xz) + c (z + 3xy) ≤ (a + b + c).
3
O296. Let m be a positive integer. Prove that φ(n) divides mn, only for finitely many square-
free integers n, where φ is Euler’s totient function.
O297. Cells of an 11 × 11 square are colored in n colors. It is known that the number of cells
of each color is greater than 6 and less than 14. Prove that one can find a row and a
column whose cells are colored in at least four different colors.
O298. Let n be a square-free positive integer. Find the number of functions f : {1, 2, . . . , n} →
{1, 2, . . . , n} such that f (1)f (2) · · · f (n) divides n.
O300. Let ABC be a triangle with circumcircle Γ and incircle ω. Let D, E, F be the tangency
points of ω with BC, CA, AB, respectively, let Q be the second intersection of AD
with Γ, and let the T be the intersection of the tangents at B and C with respect to Γ.
Furthermore, let QT intersect Γ for the second time at R. Prove that AR, EF , BC are
concurrent.
x4 y4 z4
+ + = 1,
2x2 + yz 2y 2 + zx 2z 2 + xy
J303. Let ABC be an equilateral triangle. Consider a diameter XY of the circle centered at C
which passes through A and B such that lines AB and XY as well as lines AX and BY
meet outside this circle. Let Z be the point of intersection of AX and BY . Prove that
AX · XZ + BY · Y Z + 2CZ 2 = XZ · Y Z + 6AB 2 .
J304. Let √
a, b, c be real numbers such that a + b + c = 1. LetpM1 be the maximum value of
√ √
a + b + 3 c and let M2 be the maximum value of a + b + 3 c. Prove that M1 = M2
and find this value.
J305. Consider a triangle ABC with ∠ABC = 30◦ . Suppose the length of the angle bisector
from vertex B is twice the length of the angle bisector from vertex A. Find the measure
of ∠BAC.
J306. Let S be a nonempty set of positive real numbers such that for any a, b, c in S, the
number ab + bc + ca is rational. Prove that for any a and b in S, ab is a rational number.
S304. Let M be a point inside triangle ABC. Line AM intersects the circumcircle of triangle
M BC for the second time at D. Similarly, line BM intersects the circumcircle of triangle
M CA for the second time at E and line CM intersects the circumcircle of triangle M AB
for the second time at F . Prove that
AD BE CF 9
+ + ≥ .
MD ME MF 2
x2 + y 2 + z 2 = 2(xy + yz + zx) + 1.
S306. Points M, N, K lie on sides BC, CA, AB of a triangle ABC, respectively and are different
from its vertices. Triangle M N K is called beautiful if ∠BAC = ∠KM N and ∠ABC =
∠KN M . If in triangle ABC there are two beautiful triangles with a common vertex,
prove that triangle ABC is right.
U304. In a finite graph G, we call a subset S of the set of vertices a dominating set if the
following conditions are satisfied
(i) the subgraph induced by S is connected,
(ii) every vertex of G is either in S or is adjacent to a vertex of S.
Given a positive integer k, find the maximum number of edges of G such that there are
no dominating sets of size k or less.
Proposed by Cosmin Pohoata, Princeton University, USA
U305. Let (an )n≥1 be a sequence of positive real numbers such that a1 + a2 + . . . + an < n2 for
all n ≥ 1. Prove that
1 1 1
lim + + ... + = ∞.
n→∞ a1 a2 an
Proposed by Mihai Piticari Campulung, Moldovenesc, Romania
U306. Let n be a natural number. Prove the identity
n Z ∞
X 2k+1 4n+1 1
π= + dx
2k 2n 1 (1 + x2 )n+1
k=1 k
k n
and derive the estimate
n
X 2k+1
2 4
n
√ < π − < n√ .
2 n 2k 2 n
k=1 k
k
Proposed by Albert Stadler, Herrliberg, Switzerland
O302. Let ABC be an isosceles triangle with AB = AC and let M ∈ (BC) and N ∈ (AC)
such that ∠BAM = ∠M N C. Suppose that lines M N and AB intersect at P . Prove
that the bisectors of angles BAM and BP M intersect at a point lying on line BC.
O304. Let C1 and C2 be non-intersecting circles centered at O1 and O2 . One common external
tangent of these circles touches Ci at Pi (i = 1, 2). The other common external tangent
touches Ci at Qi (i = 1, 2). Denote by M the midpoint of Q1 Q2 . Let Pi M intersect Ci at
Ri and R1 R2 intersect Ci again at Si (i = 1, 2). P1 S1 intersects P2 S2 at A. The tangent
to C1 at R1 and the tangent to C2 at R2 intersect at B. Prove that AB ⊥ O1 O2 .
O305. Prove that for any positive integers m and a, there is a positive integer n such that
an + n is divisible by m.
O306. Let ABC be a triangle with incircle γ and circumcircle Γ. Let Ω be the circle tangent
to rays AB, AC, and to Γ externally, and let A0 be the tangency point of Ω with Γ. Let
the tangents from A0 to γ intersect Γ again at B 0 and C 0 . Finally, let X be the tangency
point of the chord B 0 C 0 with γ. Prove that the circumcircle of triangle BXC is tangent
to γ.
J307. Prove that for each positive integer n there is a perfect square whose sum of digits is
equal to 4n .
J308. Are there triples (p, q, r) of primes for which (p2 − 7)(q 2 − 7)(r2 − 7) is a perfect square?
J309. Let n be an integer greater than 3 and let S be a set of n points in the plane that are not
the vertices of a convex polygon and such that no three are collinear. Prove that there
is a triangle with the vertices among these points having exactly one other point from S
in its interior.
Find the least amount of checkers that Alice needs to satisfy both conditions.
J312. Let ABC be a triangle with circumcircle Γ and let P be a point in its interior. Let M
be the midpoint of side BC and let lines AP , BP , CP intersect BC, CA, AB at X, Y ,
Z, respectively. Furthermore, let line Y Z intersect Γ at points U and V . Prove that M ,
X, U , V are concyclic.
S307. Let ABC be a triangle such that ∠ABC − ∠ACB = 60◦ . Suppose that the length of the
altitude from A is 41 BC. Find ∠ABC.
S308. Let n be a positive integer and let Gn be an n × n grid with the number 1 written in
each of its unit squares. An operation consists of multiplying all entries of a column or
all entries of a row by −1. Determine the number of distinct grids that can be obtained
after applying a finite number of operations on Gn .
S309. Let ABCD be a circumscriptible quadrilateral, which lies stricly inside a circle ω. Let
ωA be the circle outside of ABCD that is tangent to AB, AD, and to ω at A0 . Similarly,
define B 0 , C 0 , D0 . Prove that lines AA0 , BB 0 , CC 0 , DD0 are concurrent.
S310. Let a, b, c be nonzero complex numbers such that |a| = |b| = |c| = k. Prove that
p p p √
| − a + b + c| + |a − b + c| + |a + b − c| ≤ 3 k.
j=0 j=0
U307. Prove that any polynomial f ∈ R[X] can be written as a difference of increasing poly-
nomials.
U308. Let a1 , b1 , c1 , a2 , b2 , c2 be positive real numbers. Consider the functions X(x, y) and
Y (x, y) which satisfy the system of functional equations
x
= 1 + a1 x + b1 y + c1 Y,
X
y
= 1 + a2 x + b2 y + c2 X.
Y
Prove that if 0 < x1 ≤ x2 and 0 < y2 ≤ y1 , then X(x1 , y1 ) ≤ X(x2 , y2 ) and Y (x1 , y1 ) ≥
Y (x2 , y2 ).
U310. Let E be an ellipse with foci F and G, and let P be a point in its exterior. Let A and
B be the points where the tangents from P to E intersect E, such that A is closer to F .
Furthermore, let X be the intersection of AG with BF . Prove that XP bisects ∠AXB.
U311. Let f : [0, 1] → [0, 1] be a nondecreasing concave function such that f (0) = 0 and
f (1) = 1. Prove that
Z 1
1
(f (x)f −1 (x))2 dx ≥ .
0 12
U312. Let p be a prime and let R be a commutative ring with characteristic p. Prove that the
sets Sk = {x ∈ R | xp = k}, where k ∈ {1, . . . , p}, have the same number of elements.
O308. Let ABC be a triangle and let X, Y be points in its plane such that
AX : BX : CX = AY : BY : CY.
for all nonnegative real numbers a, b, c with ab + bc + ca > 0. Find when equality holds.
O310. Let ABC be a triangle and let P be a point in its interior. Let X, Y , Z be the
intersections of AP , BP , CP with sides BC, CA, AB, respectively. Prove that
XB Y C ZA R
· · ≤ .
XY Y Z ZX 2r
Proposed by Titu Andreescu, University of Texas at Dallas, USA
O311. Let ABC be a triangle with circumcircle Γ centered at O. Let the tangents to Γ at
vertices B and C intersect each other at X. Consider the circle X centered at X with
radius XB, and let M be the point of intersection of the internal angle bisector of angle
A with X such that M lies in the interior of triangle ABC. Denote by P the intersection
of OM with the side BC and by E and F be the orthogonal projections of M on CA
and AB, respectively. Prove that P E and F P are perpendicular.
f (f (x)) − 3f (x) + 2x = 0
and for which there exists x0 > 0 such that f (x0 ) = 2x0 .
J314. Alice was dreaming. In her dream, she thought that primes of the form 3k + 1 are weird.
Then she thought it would be interesting to find a sequence of consecutive integers all of
which are greater than 1 and which are not divisible by weird primes. She quickly found
five consecutive numbers with this property:
8 = 23 , 9 = 32 , 10 = 2 · 5, 11 = 11, 12 = 22 · 3.
x3 + y 3 + z 3 + u3 + v 3 + w3 = 53353.
J317. In triangle ABC, the angle-bisector of angle A intersects line BC at D and the circum-
ference of triangle ABC at E. The external angle-bisector of angle A intersects line BC
at F and the circumference of triangle ABC at G. Prove that DG ⊥ EF .
x2 y + y 2 z + z 2 x = p and xy 2 + yz 2 + zx2 = q.
S315. Consider triangle ABC with inradius r. Let M and M 0 be two points inside the triangle
such that ∠M AB = ∠M 0 AC and ∠M BA = ∠M 0 BC. Denote by da , db , dc and d0a , d0b , d0c
the distances from M and M 0 to the sides BC, CA, AB, respectively. Prove that
S316. Circles C1 (O1 , R1 ) and C2 (O2 , R2 ) intersect in points U and V . Points A1 , A2 , A3 lie on
C1 and points B1 , B2 , B3 lie on C2 such that A1 B1 , A2 B2 , A3 B3 are passing through U .
Denote by M1 , M2 , M3 the midpoints of A1 B1 , A2 B2 , A3 B3 . Prove that M1 M2 M3 V is a
cyclic quadrilateral.
S317. Let ABC be an acute triangle inscribed in a circle of radius 1. Prove that
tan A tan B tan C 1 1 1
+ + ≥ 4 + + − 3.
tan3 B tan3 C tan3 A a2 b2 c2
S318. Points A1 , B1 , C1 , D1 , E1 , F1 are lying on the sides AB, BC, CD, DE, EF, F A of a convex
hexagon ABCDEF such that
AA1 AF1 CC1 CB1 ED1 EE1
= = = = = = λ.
AB AF CD BC ED EF
2
[ACE] λ
Prove that A1 D1 , B1 E1 , C1 F1 are concurrent if and only if [BDF ] = 1−λ .
U313. Let X and Y be nonnegative definite Hermitian matrices such that X − Y is also non-
negative definite. Prove that tr(X 2 ) ≥ tr(Y 2 )
U315. Let X and Y be complex matrices of the same order with XY 2 − Y 2 X = Y . Prove that
Y is nilpotent.
U316. The sequence {Fn } is defined by F1 = F2 = 1, Fn+2 = Fn+1 + Fn for n ≥ 1. For any
nonnegative integer m, let v2 (m) be the highest power of 2 dividing m. Prove that there
is exactly one positive real number µ such that the equation
v2 (bµnc!) = v2 (F1 . . . Fn )
U317. For any positive integers s, t, p, prove that there is a number M (s, t, p) such that every
graph G with a matching of size at least M (s, t, p) contains either a complete graph
Ks , an induced copy of the complete bipartite graph Kt,t , or a matching of size p as an
induced subgraph. Does the result remain true if we replace the word “matching” by
“path”?
(−1)q(k)
U318. Determine all possible values of ∞
P
k=1 k2
, where q(x) is a quadratic polynomial that
assumes only integer values at integer places.
O313. Find all positive integers n for which there are positive integers a0 , a1 , . . . , an such that
a0 + a1 + · · · + an = 5(n − 1) and
1 1 1
+ + ··· + = 2.
a0 a1 an
O314. Prove that every polynomial p(x) with integer coefficients can be represented as a sum
of cubes of several polynomials that return integer values for any integer x.
O316. Prove that for all integers k ≥ 2 there exists a power of 2 such that at least half of the
last k digits are nines. For example, for k = 2 and k = 3 we have 212 = . . . 96 and
253 = . . . 992.
O317. Twelve scientists met at a math conference. It is known that every two scientists have a
common friend among the rest of the people. Prove that there is a scientist who knows
at least five people from the attendees of the conference.
O318. Find all polynomials f ∈ Z[X] with the property that for any distinct primes p and q,
f (p) and f (q) are relatively prime.
J319. Let 0 = a0 < a1 < . . . < an < an+1 = 1 such that a1 + a2 + · · · + an = 1. Prove that
a1 a2 an 1
+ + ··· + ≥ .
a2 − a0 a3 − a1 an+1 − an−1 an
J320. Find all positive integers n for which 2014n + 11n is a perfect square.
J321. Let x, y, z be positive real numbers such that xyz(x + y + z) = 3. Prove that
1 1 1 54
2
+ 2+ 2+ ≥ 9.
x y z (x + y + z)2
J322. Let ABC be a triangle with centroid G. The parallel lines through a point P situated in
0 0 0
the plane of the triangle to the medians AA , BB , CC intersect lines BC, CA, AB at
A1 , B1 , C1 , respectively. Prove that
0 0 0 3
A A1 + B B1 + C C1 ≥ P G.
2
J324. Let ABC be a triangle and let X, Y , Z be the reflections of A, B, C in the opposite
sides. Let Xb , Xc be the orthogonal projections of X on AC, AB, Yc , Ya the orthogonal
projections of Y on BA, BC, and Za , Zb the orthogonal projections of Z on CB, CA,
respectively. Prove that Xb , Xc , Yc , Ya , Za , Zb are concyclic.
S319. Let a, b, c be positive real numbers such that a + b + c = 1. Prove that for any positive
real number t,
(at2 + bt + c)(bt2 + ct + a)(ct2 + at + b) ≥ t3 .
S320. Let ABC be a triangle with circumcenter O and incenter I. Let D, E, F be the tangency
points of the incircle with BC, CA, AB, respectively. Prove that line OI is perpendicular
to angle bisector of ∠EDF if and only if ∠BAC = 60◦ .
S321. Let x be a real number such that xm (x + 1) and xn (x + 1) are rational for some relatively
prime positive integers m and n. Prove that x is rational.
S322. Let ABCD be a cyclic quadrilateral. Points E and F lie on the sides AB and BC,
respectively, such that ∠BF E = 2∠BDE. Prove that
EF FC CD
= + .
AE AE AD
x + y + (x − y)2 = xy.
U319. Let A, B, C be the measures (in radians) of the angles of a triangle with circumradius
R and inradius r. Prove that
A B C 2R
+ + ≤ − 1.
B C A r
Proposed by Nermin Hodžić, Bosnia and Herzegovina and Salem Malikić, Canada
U320. Evaluate X 2n
.
22n + 1
n≥0
U322. Evaluate
∞
X 16n2 − 12n + 1
.
n(4n − 2)!
n=1
U324. Let f : [0, 1] → R be a differentiable function such that f (1) = 0. Prove that there is
c ∈ (0, 1) such that |f (c)| ≤ |f 0 (c)|.
O319. Let f (x) and g(x) be arbitrary functions defined for all x ∈ R. Prove that there is a
function h(x) such that (f (x) + h(x))2014 + (g(x) + h(x))2014 is an even function for all
x ∈ R.
O320. Let n be a positive integer and let 0 < yi ≤ xi < 1 for 1 ≤ i ≤ n. Prove that
1 − x1 · · · xn 1 − x1 1 − xn
≤ + ··· + .
1 − y1 · · · yn 1 − y1 1 − yn
O321. Each of the diagonals AD, BE, CF of the convex hexagon ABCDEF divide its area in
half. Prove that
AB 2 + CD2 + EF 2 = BC 2 + DE 2 + F A2 .
O322. Let ABC be a triangle with circumcircle Γ and let M be the midpoint of arc BC not
containing A. Lines `b and `c passing through B and C, respectively, are parallel to
AM and meet Γ at P 6= B and Q 6= C. Line P Q intersects AB and AC at X and Y ,
respectively, and the circumcircle of AXY intersects AM again at N .
Prove that the perpendicular bisectors of BC, XY , and M N are concurrent.
Also solved by Archisman Gupta, RKMV, Agartala, Tripura, India; Joshua Benabou, Manhasset High
School, NY, USA; Daniel Lasaosa, Pamplona, Navarra, Spain; Arber Igrishta, Eqrem Qabej, Vushtrri, Ko-
sovo; Mathematical Group Galaktika shqiptare, Albania; Paolo Perfetti, Università degli studi di Tor Vergata
Roma, Italy; Alessandro Ventullo, Milan, Italy; Polyahedra, Polk State College, FL, USA; AN-anduud Pro-
blem Solving Group, Ulaanbaatar, Mongolia; Ioan Viorel Codreanu, Satulung, Maramures, Romania; Viet
Quoc Hoang, University of Auckland, New Zealand.
Solution by Shohruh Ibragimov, Lyceum Nr.2 under the SamIES, Samarkand, Uzbekistan
From Hölder’s inequality we easily obtain (13a3 + 14b3 )(13 + 14)(13 + 14) ≥ (13a + 14b)3 =>
p
3 13a + 14b
13a3 + 14b3 ≥ (1)
9
Similarly, we have
p
3 13b + 14c p
3 13c + 14a
13b3 + 14c3 ≥ , 13c3 + 14a3 ≥ (2)
9 9
From (1) and (2) we get
p
3
p
3
p
3 27(a + b + c)
13a3 + 14b3 + 13b3 + 14c3 + 13c3 + 14a3 ≥ =3
9
Also solved by Bodhisattwa Bhowmik, RKMV, Agartala, Tripura, India; Daniel Lasaosa, Pamplona,
Navarra, Spain; Nicuşor Zlota, Traian Vuia Technical College, Focşani, Romania; Arkady Alt, San Jose,
California, USA; An Zhen-ping, Xianyang Normal University, China; Viet Quoc Hoang, University of Auc-
kland, New Zealand; Ioan Viorel Codreanu, Satulung, Maramures, Romania; AN-anduud Problem Solving
Group, Ulaanbaatar, Mongolia; Polyahedra, Polk State College, FL, USA; Paolo Perfetti, Università degli
studi di Tor Vergata Roma, Italy; Ángel Plaza, University of Las Palmas de Gran Canaria, Spain; Sayak
Mukherjee, Kolkata, India; Sayan Das, Indian Statistical Institute, Kolkata, India; Neculai Stanciu, Buzău,
Romania and Titu Zvonaru, Comănes, ti, Romania; Alessandro Ventullo, Milan, Italy; Georgios Batzolis,
Mandoulides High School, Thessaloniki, Greece.
D ∑
B A
Let Σ be the circle with center A and radius AC. Suppose that the bisector of ∠ACB intersects AB at D and
Σ at E. Then P D is the perpendicular bisector of BC. Since ∠AEC = ∠ACE = ∠BCE, EA k BC. Thus
∠BAE = ∠ABC, so P D is the perpendicular bisector of AE as well. Hence 4AP E is equilateral. Therefore,
∠P CE = 21 ∠P AE = 30◦ , ∠AP C = 30◦ + B, and ∠AP B = 60◦ + ∠EP B = 60◦ + ∠AP C = 90◦ + B. Finally,
let [·] denote area, then
Also solved by Andrea Fanchini, Cantú, Italy; Daniel Lasaosa, Pamplona, Navarra, Spain; Arkady Alt,
San Jose, California, USA.
(2xy + yz + zx) 3
P P 3
4 xy
3
4(x + y + z)2
Y cyc cyc 64
(2xy + yz + zx) ≤ = ≤ = (x + y + z)6 ,
cyc
3 3 9 729
64
Which proves that k ≤ and the conclusion follows.
729
Also solved by Daniel Lasaosa, Pamplona, Navarra, Spain; Alessandro Ventullo, Milan, Italy; Titu Zvona-
ru, Comănes, ti, Romania and Neculai Stanciu, Buzău, Romania; Shohruh Ibragimov, Lyceum Nr.2 under the
SamIES, Samarkand, Uzbekistan; Sayan Das, Indian Statistical Institute, Kolkata, India; Sayak Mukherjee,
Kolkata, India; Paolo Perfetti, Università degli studi di Tor Vergata Roma, Italy; Sun Mengyue Lansheng,
Fudan Middle School, Shanghai, China; Arkady Alt, San Jose, California, USA; Georgios Batzolis, Mandou-
lides High School, Thessaloniki, Greece; Ioan Viorel Codreanu, Satulung, Maramures, Romania; AN-anduud
Problem Solving Group, Ulaanbaatar, Mongolia; Polyahedra, Polk State College, FL, USA; Jan Jurka, Brno,
Czech Republic.
x2 + 2x(y 2 + z 2 − 4yz) + (y 2 + z 2 )2 − 1 = 0.
Since x must be a positive integer, the discriminant of this quadratic equation in x must be non-negative,
i.e.
(y 2 + z 2 − 4yz)2 − (y 2 + z 2 )2 + 1 ≥ 0,
which is equivalent to
−8yz(y − z)2 + 1 ≥ 0,
which gives yz(y − z)2 ≤ 1/8. Since y and z are positive integers, it follows that
yz(y − z)2 = 0,
Also solved by Albert Stadler, Herrliberg, Switzerland; Daniel Lasaosa, Pamplona, Navarra, Spain; Sima
Sharifi, College at Brockport, SUNY, USA; Sayan Das, Indian Statistical Institute, Kolkata, India; Georgios
Batzolis, Mandoulides High School, Thessaloniki, Greece; Viet Quoc Hoang, University of Auckland, New
Zealand; Ioan Viorel Codreanu, Satulung, Maramures, Romania; Polyahedra, Polk State College, FL, USA.
Now, 9p = 3abc(a + b + c) ≤ (ab + bc + ca)2 = s2 , or 9(1 − p) ≥ (3 + s)(3 − s), or it suffices to show that
6 + 2s − 9p
(2 + p − s)2 + (3 − s) ≥ 0.
9
p √
Assume that 9p > 6, or p > 23 , hence by the AM-GM inequality, s ≥ 3 3 p2 ≥ 3 12 > 2, or 6 + 2s > 10 > 9p.
It follows that both terms in the LHS are non-negative, being zero iff s = 3 and simultaneously s = p + 2,
for p = 1.
On the other hand, the upper bound rewrites as
p(1 − p) + s(3 − s) + s + ps ≥ 0,
clearly true because s, ps, p(1 − p), s(3 − s) are all non-negative. Note that equality requires s = 0, and since
a, b, c are non-negative, this requires at least two out of a, b, c to be zero, resulting in p = 0.
The conclusion follows, equality holds in the lower bound iff a = b = c = 1, and in the upper bound iff
(a, b, c) is a permutation of (3, 0, 0).
Also solved by Polyahedra, Polk State College, FL, USA; AN-anduud Problem Solving Group, Ulaanbaa-
tar, Mongolia; Viet Quoc Hoang, University of Auckland, New Zealand; Arkady Alt, San Jose, California,
USA; Nicuşor Zlota, “Traian Vuia” Technical College, Focşani, Romania; Paolo Perfetti, Università de-
gli studi di Tor Vergata Roma, Italy; Shivang jindal, Jaipur, Rajasthan, India; Albert Stadler, Herrliberg,
Switzerland.
S289. Let x, y, z be positive real numbers such that x ≤ 4, y ≤ 9 and x + y + z = 49. Prove that
1 1 1
√ + √ + √ ≥ 1.
x y z
Also solved by Daniel Lasaosa, Pamplona, Navarra, Spain; Sima Sharifi, College at Brockport, SUNY,
USA; Arkady Alt, San Jose, California, USA; AN-anduud Problem Solving Group, Ulaanbaatar, Mongolia;
Ioan Viorel Codreanu, Satulung, Maramures, Romania; Shohruh Ibragimov, Lyceum Nr.2 under the SamIES,
Samarkand, Uzbekistan; Paolo Perfetti, Università degli studi di Tor Vergata Roma, Italy; Sun Mengyue ,
Lansheng Fudan Middle School, Shanghai, China.
52 k = (4 · n!)2 ,
n
X (n!)2 (n!)2
where k = . Observe that k ≡ 6≡ 0 (mod p). Since p|52 k and p does not divide k, it follows
i2 p2
i=2
that p|52 , i.e. p = 5. So, n ∈ {5, 6, 7, 8, 9}. An easy check shows that none of these values satisfies the
equality.
Also solved by Daniel Lasaosa, Pamplona, Navarra, Spain; Yassine Hamdi, Lycée du Parc, Lyon, France;
Sima Sharifi, College at Brockport, SUNY, USA; Li Zhou, Polk State College, FL, USA; Arghya Datta,
Hooghly Collegiate School, Kolkata, India; Albert Stadler, Herrliberg, Switzerland.
= 27 2a2 − 3ab + 2b2 2b2 − 3bc + 2c2 2c2 − 3ca + 2a2 + 4 (ab + bc + ca)3 −
−5 a2 + b2 + c2 (ab + bc + ca)2 =
= 211(a4 b2 + b4 c2 + c4 a2 + a2 b4 + b2 c4 + c2 a4 ) − 320(a3 b3 + b3 c3 + c3 a3 )−
−334abc(a3 + b3 + c3 ) + 164abc(a2 b + b2 c + c2 a + ab2 + bc2 + ca2 ) − 288a2 b2 c2 ,
or it suffices to show that this last expression is non-negative. Note that it can be rearranged as
X
3c4 + 160a2 b2 + 48c2 (a + b)2 − 164abc(a + b) (a − b)2 =
cyc
X
3c4 + 5c2 (a + b)2 + 39(bc + ca − 2ab)2 + 4(bc + ca − ab)2 (a − b)2 ,
=
cyc
Also solved by Paolo Perfetti, Università degli studi di Tor Vergata Roma, Italy; Nicuşor Zlota, “Traian
Vuia” Technical College, Focşani, Romania; Arkady Alt, San Jose, California, USA.
I
J K
B E X F D C
As usual, let a, b, c, s, and r be the sides BC, CA, AB, semiperimeter, and inradius of 4ABC. Let I, J, K
be the incenters of triangles ABC, ABX, AXC, and D, E, F be the feet of perpendiculars from A, J, K
onto BC. Let h = AD, r1 = JE, and r2 = KF . As X moves from B to C, r1 increases from 0 to r while r2
BE
decreases from r to 0. Hence, there exists X such that r1 = r2 = t. Now rt = s−b , so BE = t(s−b)
r . Likewise,
t(s−c)
FC = r . Let [·] denote area. Then
1
ah = [ABC] = [ABX] + [AXC] = t(c + EX) + t(b + XF )
2
t t
= t(c + b + a − BE − F C) = (2rs − ta) = (ah − at).
r r
Hence, t2 − ht + 12 hr = 0, which yields t = 12 h − h(h − 2r) . This suggests an easy construction:
p
p
Construct the length 2rpon AD. Then construct the length AY = h(h − 2r). Taking away the length
AY from AD gives us h − h(h − 2r). Halving this yields t, as in the figure.
Also solved by Titu Zvonaru, Comănes, ti, Romania, and Neculai Stanciu, ”George Emil Palade” School,
Buzău, Romania; Arkady Alt, San Jose, California, USA.
yielding
(a − b)z n+1 + (b − c)|z|2 + (c − a) = (b − c)z n+1 + (c − a)|z|2 + (a − b) = 0,
and eliminating the terms with z n+1 , we obtain
(a − b)2 − (b − c)(c − a) a2 + b2 + c2 − ab − bc − ca
|z|2 = = = 1,
(b − c)2 − (a − b)(c − a) a2 + b2 + c2 − ab − bc − ca
1
or z must be one of the n + 1-th roots of unity. For any one of those n + 1 roots, we have z̄ = z = z n , and
all n + 1-th roots of unity are clearly solutions of the proposed equation.
Also solved by Arkady Alt, San Jose, California, USA; Moubinool Omarjee Lycée Henri IV, Paris, France;
Ángel Plaza, University of Las Palmas de Gran Canaria, Spain; Albert Stadler, Herrliberg, Switzerland; Li
Zhou, Polk State College, FL, USA.
(i) If a0 ∈ {2, 7, 20}, then a1 = 5. If a0 ∈ {1, 10, 26, 28}, then a1 ∈ {2, 20}, so a2 = 5. Finally, if
a0 ∈ {3, 6, 9, 12, 15, 18, 27, 30, 33}, then a3 = 5.
(iii) If a0 ∈ {17, 19, 21, 35, 37}, then a1 = 11. If a0 ∈ {14, 22, 24, 31, 36}, then a1 ∈ {17, 19}, so a2 = 11.
Finally, if a0 ∈ {16, 25, 29, 34}, then a3 = 11.
Thus, we have proved that if a0 is a one or two-digit number, then an ∈ {5, 8, 11} for some n ∈ N, i.e. the
sequence is 3-periodic. Let m ≥ 2 and suppose that the statement is true for all k ≤ m. Let a0 be an
(m + 1)-digit number. Then, 10m ≤ a0 < 10m+1 which implies 102m ≤ a20 < 102(m+1) . Hence,
and by the induction hypothesis, the sequence (an )n≥1 is 3-periodic, which implies that the sequence (an )n≥0
is 3-periodic, as we wanted to prove.
Also solved by Daniel Lasaosa, Pamplona, Navarra, Spain; Arghya Datta, Hooghly Collegiate School,
Kolkata, India; Li Zhou, Polk State College, FL, USA; AN-anduud Problem Solving Group, Ulaanbaatar,
Mongolia.
1
U289. Let a ≥ 1 be such that (ban c) n ∈ Z for all sufficiently large integers n. Prove that a ∈ Z.
Also solved by Arkady Alt, San Jose, California, USA; Daniel Lasaosa, Pamplona, Navarra, Spain;
Alessandro Ventullo, Milan, Italy; AN-anduud Problem Solving Group, Ulaanbaatar, Mongolia.
and
k(k + 1) k2
pn0 +k = dn0 +k−1 + dn0 +k−2 + · · · + dn0 + pn0 > k + (k − 1) + · · · + 1 = > .
2 2
On the other hand, by the Prime Number Theorem, π(n) ∼ n/ ln(n) and since x/ ln(x) is strictly increasing
for x ≥ e, it follows that
Also solved by Julien Portier, Francois 1er, France; Daniel Lasaosa, Pamplona, Navarra, Spain; Arpan
Sadhukhan, Indian Statistical Institute, Kolkata; AN-anduud Problem Solving Group, Ulaanbaatar, Mongolia;
Li Zhou, Polk State College, FL, USA.
Also solved by Paolo Perfetti, Università degli studi di Tor Vergata Roma, Italy.
Therefore
π π
sinr x cosr y
Z Z
2 2
2I(r) = dx +
0 sinr x + cosr x 0 cosr y + sinr y
π π
sinr y + cosr y
Z Z
2 2 π
= dx = dx = .
0 cosr y + sinr y 0 2
Thus
π
I(r) = .
4
We note that the hypothesis on r is not important.
Also solved by Daniel Lasaosa, Pamplona, Navarra, Spain; Albert Stadler, Herrliberg, Switzerland; Sayak
Mukherjee, Kolkata, India; Samin Riasat, Dhaka, Bangladesh; Paolo Perfetti, Università degli studi di Tor
Vergata Roma, Italy; Antoine Barré and Dmitry Chernyak, Lycée Stanislas, Paris, France; Arkady Alt, San
Jose, California, USA; Moubinool Omarjee Lycée Henri IV, Paris, France; Li Zhou, Polk State College, FL,
USA; AN-anduud Problem Solving Group, Ulaanbaatar, Mongolia.
Prove that a = 0.
Then there is an N > 0, such that xα |g(x)| > a, for ∀x > N (1)
From (1) we conclude that function g has the same sign ∀x > N , since it is continuous, and therefore has
the intermediate value property.
First, suppose that function g is positive on the interval (N, ∞).
a
From (1) we have |g(x)| > (2)
xα
Denoting n1 = [N ] + 1 and x = n1 , n1 + 1, n1 + 2, ... and summing up yields to
X X 1
|g(k)| > a .
nα
n≥n1 n≥n1
P 1 P 1
Since the series α
is divergent for α ∈ (0, 1) it follows that α
is divergent as well
n≥1 n n≥n1 n
X
⇒ |g(k)| = ∞.
n≥n1
Now, let T = max{|a0 |, |a1 |, |a2 |, ..., |ak |}. Taking into consideration positiveness of g on (N, ∞) and the
same values of n we get
X X X
Sn = |g(k)| = |ap f (n + p)| = | ap f (n + p)| =
n≥n1 n≥n1 n≥n1
|ak f (n + k) + (ak + ak−1 )f (n + k − 1) + ... + (ak + ak−1 + ... + a1 )f (n + 1) + (ak−1 + ak−2 + ... + a0 )f (n1 +
k − 1) + (ak−2 + ak−3 + ... + a0 )f (n1 + k − 2) + ... + (a1 + a0 )f (n1 + 1) + a0 f (n1 )| ≤
|ak−1 + ak−2 + ... + a0 |M + |ak−2 + ak−3 + ... + a0 |M + ... + |a1 + a0 |M + |a0 |M ≤ M T + 2M T + ... + kM T +
kM T + ... + 2M T + M T = k(k + 1)M T and the series converges.
Therefore, we have reached a contradiction ⇒ a = 0. Similarly to prove for g(x) ≤ 0.
a2 b2 − ab − a2 − b2 = 0 (1).
We have (2x − 1)2 + (2y + 1)2 = 4(a2 + b2 ) − 6, and since (2x − 1)(2y + 1) = 2ab + 3, we get that
(x + y)2 = a2 + b2 + ab (2).
Since (1), (2), we get that (x + y)2 = a2 b2 and
x + y = ab.
Also solved by Daniel Lasaosa, Pamplona, Navarra, Spain; Moubinool Omarjee Lycée Henri IV, Paris,
France; Shohruh Ibragimov, Lyceum Nr.2 under the SamIES, Samarkand, Uzbekistan; Daniel Văcaru, Piteşti,
Romania; Alessandro Ventullo, Milan, Italy; Li Zhou, Polk State College, FL, USA; AN-anduud Problem
Solving Group, Ulaanbaatar, Mongolia; Arkady Alt, San Jose, California, USA; Ayoub Hafid, Elaraki School,
Morroco.
O1 P T2 O0 T1 O1 r R1 R1
= · 0 = · = ,
P O2 O2 T2 O T1 R2 r R2
or indeed P is a center of a homothety that transforms O1 into O2 with scaling factor with absolute value
R1
R2 , hence P = O. The Claim 1 follows.
Claim 2: The power of O with respect to ω is invariant for all the possible circles ω which are simulta-
neously tangent to Ω1 , Ω2 .
Proof 2: Since T1 , T2 are points on ω which are collinear with O, the power of O with respect to ω is
OT1 · OT2 . Let P1 , P2 be the respective powers of O with respect to Ω1 , Ω2 , which clearly satisfy P2 = ρ2 P1 .
Consider now points T10 , resulting from applying the homothety to T1 . Clearly, T10 is collinear with O, T1 , hence
on line OT2 ; at the same time, T1 ∈ Ω1 , or T10 ∈ Ω2 by construction, hence T10 , T2 are the two points where a
line through O intersects T2 , or OT10 · OT2 = P2 . But since OT10 = |ρ|OT1 , we have OT1 · OT2 = P|ρ|2 = |ρ|P1 ,
independently on the choice of ω. The Claim 2 follows.
By the Claim 2, the power of O with respect to α1 , α2 is the same, or since AA1 is their radical axis, then
A, A1 , O are collinear, or line AA1 passes through O. Similarly, BB1 , CC1 pass through O. The conclusion
follows.
Also solved by Saturnino Campo Ruiz, Salamanca, Spain; Shohruh Ibragimov, Lyceum Nr.2 under the
SamIES, Samarkand, Uzbekistan; Khakimboy Egamberganov, S.H.Sirojiddinov lyceum, Tashkent, Uzbekistan;
Alessandro Pacanowski, PECI, Rio de Janeiro, Brazil.
a2 b2 a2 a+b+c
√ +√ +√ ≥ .
2
4a + ab + 4b2 2
4b + bc + 4c2 2
4c + ca + 4a2 3
But
X
a2 (4a2 + ab + 4b2 ) = 4(a4 + b4 + c4 ) + a3 b + b3 c + c3 a + 4(a2 b2 + b2 c2 + c2 a2 )
cyc
= 4(a2 + b2 + c2 )2 + a3 b + b3 c + c3 a − 4(a2 b2 + b2 c2 + c2 a2 )
13(a2 + b2 + c2 )2 − 12(a2 b2 + b2 c2 + c2 a2 )
≤ ,
4
where the last line follows from Cartoaje’s Inequality,
so we are done.
a2
√ ≥ xa + yb
4a2 + ab + 4b2
for all a, b > 0. Letting a = b = 1, the ”best” such x, y will satisfy x + y = 13 . Note that the inequality is
homogeneous, so letting t = ab , we have
t2 1
√ ≥ xt + y = x(t − 1) + . (1)
2
4t + t + 4 3
The inequality clearly holds if the RHS is negative. Otherwise, squaring and multiplying both sides by 9
yields
9t4
≥ [3x(t − 1) + 1]2
4t2 + t + 4
9t4 − (4t2 + t + 4)[3x(t − 1) + 1]2 ≥ 0.
Considering the LHS as a function of t, say f (t), we want it to have a double root at t = 1. This means
f 0 (1) = 27 − 54x = 0,
1
so x = 2 and y = − 16 . This implies
1
f (t) = (15t − 4)(t − 1)2 .
4
4 4
Clearly, f is positive for t > 15 . For t ≤ 15 , (1) becomes
3t2 3t − 1
√ ≥ ,
2
4t + 4t + 4 2
a2 3a − b
√ ≥
2
4a + ab + 4b2 6
for all a, b > 0. Adding up the similar inequalities with a and c and b and c yields
X a2 X 3a − b
√ ≥
cyc 4a2 + ab + 4b2 cyc
6
a+b+c
= ,
3
as desired.
Also solved by Arkady Alt, San Jose, California, USA; Paolo Perfetti, Università degli studi di Tor
Vergata Roma, Italy; Batzolis, Mandoulides High School, Thessaloniki, Greece; Nicuşor Zlota, “Traian Vuia”
Technical College, Focşani, Romania.
Let p > 2 be
a prime (for p = 2 the congruence trivially holds).
Then, p−1
k ≡ (−1)k (mod p) and the above identity imply
Solution by Paolo Perfetti, Università degli studi di Tor Vergata Roma, Italy
The inequality is implied by
(a+b+c)3 3
!
4(x3 + y 3 + z 3 + xyz)2 ≥ x2 + y 2 + z 2 + 27
a+b+c
3
Now define
a + b + c = 3u, ab + bc + ca = 3v 2 , abc = w3
We have
If a = 0 we have
If a = b we have
Also solved by Ioan Viorel Codreanu, Satulung, Maramures, Romania; Daniel Lasaosa, Pamplona, Na-
varra, Spain; Shohruh Ibragimov, Lyceum Nr.2 under the SamIES, Samarkand, Uzbekistan; Ángel Plaza,
University of Las Palmas de Gran Canaria, Spain; Khakimboy Egamberganov, S.H.Sirojiddinov lyceum,
Tashkent, Uzbekistan; Arkady Alt, San Jose, California, USA.
Proof 1: In exact trilinear coordinates, I ≡ (r, r, r), Ia ≡ (−ra , ra , ra ) and A0 ≡ (−ha , 2ha cos C, 2ha cos B),
or using non-exact trilinear coordinates, we have
where substitution of the coordinates of the three given points yields k = −(` + m + n) when applied to the
incenter, and consequently m + n = 0 and k = −` when applied to the excenter, yielding finally
1 − 2 cos A
m = −n = `
2(cos C − cos B)
is easily checked to be satisfied by I, Ia , A0 . Analogous equations may be found for the circles through I, Ib , B 0
and I, Ic , C 0 . The intersection of the circles through I, Ib , B 0 and I, Ic , C 0 must clearly satisfy
J295. Let a, b, c be positive integers such that (a − b)2 + (b − c)2 + (c − a)2 = 6abc. Prove that a3 + b3 + c3 + 1
is not divisible by a + b + c + 1.
we obtain that
a3 + b3 + c3 − 3abc = 3abc(a + b + c),
or
a3 + b3 + c3 = 3abc(a + b + c + 1)
which means that a + b + c + 1 divides a3 + b3 + c3 . If a + b + c + 1 divides a3 + b3 + c3 + 1, then a + b + c + 1
divides (a3 + b3 + c3 + 1) − (a3 + b3 + c3 ) = 1, which is impossible, since a + b + c + 1 > 1.
Thus, a3 + b3 + c3 + 1 is not divisible by a + b + c + 1.
Also solved by Daniel Lasaosa, Universidad Pública de Navarra, Spain; Jin Hwan An, Seoul Internatio-
nal School, Seoul, South Korea; Seung Hwan An, Taft School, Watertown, CT, USA; Nikolaos Evgenidis,
student, High-School of Agia,Thessalia, Greece; Sun Mengyue, Lansheng Fudan Middle School, Shanghai,
China; Amedeo Sgueglia, Universitá degli studi di Padova, Italy; Arber Avdullahu, Mehmet Akif College,
Kosovo; Arghya Datta, Hooghly Collegiate School, Kolkata, India; Corneliu Mănescu-Avram, Transporta-
tion High School, Ploieşti, Romania; Debojyoti Biswas, Uttarpara Govt. High School, West Bengal, In-
dia; Dimitris Oikonomou, 2nd Hight School, Nauplio, Greece; Khakimboy Egamberganov, Academic Lyceum
S.H.Sirojiddinov, Tashkent, Uzbekistan; Ilyes Hamdi, Lycée Voltaire, Doha, Qatar; Joshua Benabou, Ma-
nhasset High School, NY, USA; Titu Zvonaru, Comanesti and Neculai Stanciu, Buzau, Romania; Nicuşor
Zlota, “Traian Vuia” Technical College, Focşani, Romania; Prithwijit De, HBCSE, Mumbai, India; Yeongwoo
Hong,Seoul International School, South Korea; Polyahedra, Polk State College, FL, USA; Jishnu Bose, Ut-
tarpara Govt. High School, Kolkata, India; Jeong Ho Ha, Ross School, East Hampton, NY, USA; Ioan Viorel
Codreanu, Satulung, Maramures, Romania; AN-anduud Problem Solving Group, Ulaanbaatar, Mongolia.
Also solved by Daniel Lasaosa, Universidad Pública de Navarra, Spain; Titu Zvonaru, Comanesti, Roma-
nia and Neculai Stanciu, Buzau, Romania; Yeongwoo Hong, Seoul International School, South Korea; Seong
Kweon Hong, The Hotchkiss School, Lakeville, CT, USA; Debojyoti Biswas, Uttarpara Govt. High School,
West Bengal, India; Arber Avdullahu, Mehmet Akif College, Kosovo; Alessandro Ventullo, Milan, Italy; Dmi-
try Chernyak, Lycée Stanislas, Paris, France; Jeong Ho Ha, Ross School, East Hampton, NY, USA; Jishnu
Bose, Uttarpara Govt. High School, Kolkata, India; Polyahedra, Polk State College, FL, USA; Seung Hwan
An, Taft School, Watertown, CT, USA; Jin Hwan An, Seoul International School, South Korea.
ab bc ca
+ + ≥ 3,
ba cb ac
where all numbers are written in base x.
ab bc ca ax + b bx + c cx + a
Note that + + ≥ 3 can be written as + + ≥ 3.
ba cb ac bx + a cx + b ax + c
Since by Cauchy Inequality
!2
P
(ax + b)
X ax + b X (ax + b)2 cyc
= ≥ P =
cyc
bx + a cyc
(ax + b) (bx + a) (ax + b) (bx + a)
cyc
(a + b + c) (x + 1)2
2
(a + b + c)2 (x + 1)2
=
(abx2 + (a2 + b2 ) x + ab) (ab + bc + ca) x2 + 2 (a2 + b2 + c2 ) x + ab + bc + ca
P
cyc
We have
a2 + b2 + c2 − ab − bc − ca x2 − 4x + 1 ≥ 0 because a2 + b2 + c2 ≥ ab + bc + ca and
x2 − 4x + 1 = x (x − 4) + 1 ≥ 1.
Also solved by Daniel Lasaosa, Universidad Pública de Navarra, Spain; Nicuşor Zlota, “Traian Vuia”
Technical College, Focşani, Romania; Yeongwoo Hong,Seoul International School, South Korea; Khakimboy
Egamberganov, Academic Lyceum S.H.Sirojiddinov, Tashkent, Uzbekistan; Seong Kweon Hong, The Hot-
chkiss School, Lakeville, CT, USA; Ioan Viorel Codreanu, Satulung, Maramures, Romania; Jeong Ho Ha,
Ross School, East Hampton, NY, USA; Polyahedra, Polk State College, FL, USA; Jin Hwan An, Seoul
International School, Seoul, South Korea; Seung Hwan An, Taft School, Watertown, CT, USA.
A B
Let σ be the inversion in a circle Σ with center A. Then σ(ω1 ) and σ(ω2 ) are lines perpendicular to AB
and σ(ω3 ) and σ(ω4 ) are lines perpendicular to AC. So the intersection points of these four lines form a
rectangle and thus lie on a circle Ω0 . Hence the other four intersection points of ω1 , ω2 , ω3 , ω4 lie on the circle
Ω = σ(Ω0 ).
Also solved by Nicusor Zlota, “Traian Vuia” Technical College, Focsani, Romania; Titu Zvonaru, Co-
manesti, Romania and Neculai Stanciu, Buzau, Romania; Daniel Lasaosa, Universidad Pública de Navarra,
Spain; Khakimboy Egamberganov, Academic Lyceum S.H.Sirojiddinov, Tashkent, Uzbekistan; Dimitris Oi-
konomou, 2nd Hight School, Nauplio, Greece; Georgios Batzolis, Mandoulides High School, Thessaloniki,
Greece; by Corneliu Mănescu-Avram, Transportation High School, Ploieşti, Romania; Dmitry Chernyak, Ly-
cée Stanislas, Paris, France; Seong Kweon Hong, The Hotchkiss School, Lakeville, CT, USA; Polyahedra,
Polk State College, USA; Jin Hwan An, Seoul International School, Seoul, South Korea; Seung Hwan An,
Taft School, Watertown, CT, USA.
where p p12 is the series of the squared reciprocals of the prime numbers. This series is convergent and the
P
π2
well-known fact that ∞ 1
P
n=1 n2 = 6 implies that
∞
π2 X 1
=
6 n2
n=1
X 1 ∞
X 1
> 1+ 2
+ 2
p
p (2n)
n=2
1 π2
X 1
= 1+ + − 1
p
p2 4 6
3 π2 X 1
= + + . (3)
4 24 p
p2
Also solved by Daniel Lasaosa, Universidad Pública de Navarra, Spain; Titu Zvonaru, Comanesti and
Neculai Stanciu, Buzau, Romania; Nicuşor Zlota, “Traian Vuia” Technical College, Focşani, Romania;
Yeongwoo Hong,Seoul International School, South Korea; Khakimboy Egamberganov, Academic Lyceum
S.H.Sirojiddinov, Tashkent, Uzbekistan; by Corneliu Mănescu-Avram, Transportation High School, Ploieşti,
Romania; Arkady Alt, San Jose, California, USA; Arghya Datta, Hooghly Collegiate School, Kolkata, India;
Arber Avdullahu, Mehmet Akif College, Kosovo; Alessandro Ventullo, Milan, Italy; Seong Kweon Hong, The
Hotchkiss School, Lakeville, CT, USA; Jeong Ho Ha, Ross School, East Hampton, NY, USA; Polyahedra,
Polk State College, FL, USA; Jin Hwan An, Seoul International School, Seoul, South Korea; Seung Hwan
An, Taft School, Watertown, CT, USA.
Also solved by Daniel Lasaosa, Universidad Pública de Navarra, Spain; Titu Zvonaru, Comanesti, Ro-
mania and Neculai Stanciu, Buzau, Romania; Nicuşor Zlota, “Traian Vuia” Technical College, Focşani,
Romania; Paolo Perfetti, Università degli studi di Tor Vergata Roma, Roma, Italy; Yeongwoo Hong,Seoul
International School, South Korea; Jishnu Bose, Uttarpara Govt. High School, Kolkata, India; Khakimboy
Egamberganov, Academic Lyceum S.H.Sirojiddinov, Tashkent, Uzbekistan; Arkady Alt, San Jose, California,
USA; Ángel Plaza, University of Las Palmas de Gran Canaria, Spain; An Zhen-ping, Xianyang Normal Uni-
versity, Xianyang, Shaanxi, China; Sun Mengyue, Lansheng Fudan Middle School, Shanghai, China; Seong
Kweon Hong, The Hotchkiss School, Lakeville, CT, USA; AN-anduud Problem Solving Group, Ulaanbaatar,
Mongolia; Ioan Viorel Codreanu, Satulung, Maramures, Romania; Jeong Ho Ha, Ross School, East Hampton,
NY, USA; Polyahedra, Polk State College, FL, USA; Jin Hwan An, Seoul International School, Seoul, South
Korea; Seung Hwan An, Taft School, Watertown, CT, USA.
Solution by Paolo Perfetti, Università degli studi di Tor Vergata Roma, Roma, Italy
We know that 4(a2 + b2 − ab) ≥ (a + b)2 since (a − b)2 ≥ 0. Consequently,
√
X (a + b)2
2 ≤ 12
cyc
a+b
or
√
X a2 + 2a b + b
2 ≤ 12
cyc
a+b
Moreover,
a2 ab b a
=a− , =1−
a+b a+b a+b a+b
and then we come to
√ √
X a b X a b X ab + a
2(a + b + c) + 6 + 4 = 12 + 4 ≤ 12 + 2
cyc
a+b cyc
a+b cyc
a+b
which is actually
√
X a b X ab + a
2 ≤
cyc
a+b cyc
a+b
Also solved by AN-anduud Problem Solving Group, Ulaanbaatar, Mongolia; Daniel Lasaosa, Universidad
Pública de Navarra, Spain; Arber Avdullahu, Mehmet Akif College, Kosovo; Arkady Alt, San Jose, Califor-
nia, USA; Mai Quoc Thang, Ho Chi Minh City, Vietnam; Nicuşor Zlota, “Traian Vuia” Technical College,
Focşani, Romania; Peter Tirtowijoyo Young, SMAK St. Louis 1 Surabaya, Indonesia; Sayak Mukherjee, Kol-
kata, India; Titu Zvonaru, Comanesti, Romania and Neculai Stanciu, Buzau, Romania; Philip Radoslavov
Grozdanov, Yambol, Bulgaria.
k
In either case, it is not hard to see that cos A = bc must be negative, or ABC must be obtuse at A. By
cyclic symmetry, it follows that ABC must be obtuse at each angle, absurd. Therefore, the hexagon can
never be cyclic. Indeed, drawing an equilateral triangle and forming the described hexagon, it is not hard to
check that it is NOT cyclic, even when ABC is equilateral.
Also solved by Peter Tirtowijoyo Young, SMAK St. Louis 1 Surabaya, Indonesia.
(1 + u)a (1 + v)b+k
I I
a 1 b+k 1
= = k+1
du, = dv
k 2πi |u|=3 u c 2πi |v|=1 v c+1
So,
a X ∞
X
a−k a b+k a−k a b+k
(−1) = (−1) =
k c k c
k=0 k=0
∞
(1 + u)a (1 + v)b+k
I I
a−k 1 1
X
(−1) du dv =
2πi |u|=3 uk+1 2πi |v|=1 v c+1
k=0
(1 + u)a 1 (1 + v)b
I I
a 1 1
(−1) · dvdu =
2πi |u|=3 u 2πi |v|=1 v c+1 1 +v
1+
u
1
I
(1 + v) b 1
I
(1 + u)a
a
(−1) · dudv =
2πi |v|=1 v c+1 2πi |u|=3 u + v + 1
(1 + u)a
I
1
du = (−v)a .
2πi |u|=3 u + v + 1
Also solved by G.R.A.20 Problem Solving Group, Roma, Italy; Daniel Lasaosa, Universidad Pública de
Navarra, Spain; Khakimboy Egamberganov, Academic Lyceum S.H.Sirojiddinov, Tashkent, Uzbekistan; G.
C. Greubel, Newport News, VA, USA; Dimitris Oikonomou, 2nd Hight School, Nauplio, Greece; Arkady Alt,
San Jose, California, USA; AN-anduud Problem Solving Group, Ulaanbaatar, Mongolia.
Q
A
B
M
D
N
C
R
P F
M 0 R0 B 0 Q0 A0 M 0 D0 M 0 C 0 P 0
− = · = · ,
R0 N 0 N 0 B 0 Q 0 A0 P 0 D0 N 0 C 0
which implies that R = CD ∩ M N as well.
Also solved by Titu Zvonaru, Comanesti, Romania and Neculai Stanciu, Buzau, Romania; Daniel Lasao-
sa, Universidad Pública de Navarra, Spain.
which is equivalent to √
1 ≥ 8 ab sin A sin B a cos2 B + b cos2 A .
√ √ 2 2
= 1− a sin B − b sin A ≤ 1,
U295. Let a be a real number such that (bnac)n≥1 is an arithmetic sequence. Prove that a is an integer.
Also solved by Philip Radoslavov Grozdanov, Yambol, Bulgaria; Daniel Lasaosa, Universidad Pública
de Navarra, Spain; Khakimboy Egamberganov, Academic Lyceum S.H.Sirojiddinov, Tashkent, Uzbekistan;
Alessandro Ventullo, Milan, Italy; Arghya Datta, Hooghly Collegiate School, Kolkata, India; Arkady Alt,
San Jose, California, USA; Jishnu Bose, Uttarpara Govt. High School, Kolkata, India; Sayak Mukherjee,
Kolkata, India.
and
|z0 |n+1 sin(n + 1)α + a|z0 | sin α = 0.
So
Solution by Brian Bradie, Christopher Newport University, Newport News, VA, USA
First, we will show, by induction on n, that
π
an = 2 sin .
2n
Note
π π π
2 sin = 2 sin 0 = 0 = a0 and 2 sin = 2 sin = 2 · 1 = 2 = a1 .
20 21 2
Then
π
v
u
r
an−1 u
u 2 sin n−1
an+1 = 2− = t2 − 2
an π
2 sin n
2
r r
π π π
= 2 − 2 cos n = 4 sin2 n+1 = 2 sin n+1 ,
2 2 2
as required. Finally,
π
π sin n
lim 2n an = lim 2n+1 sin n = lim 2π · π2 = 2π.
n→∞ n→∞ 2 n→∞
2n
Also solved by Nicuşor Zlota, “Traian Vuia” Technical College, Focşani, Romania; Daniel Lasaosa, Uni-
versidad Pública de Navarra, Spain; Moubinool Omarjee, Lycée Henri IV, Paris, France; Moubinool Omarjee,
Lycée Henri IV, Paris, France; G. C. Greubel, Newport News, VA; Corneliu Mănescu-Avram, Transportation
High School, Ploieşti, Romania; Arkady Alt, San Jose, California, USA; Alessandro Ventullo, Milan, Italy;
Dmitry Chernyak, Lycée Stanislas, Paris, France; Li Zhou, Polk State College, Winter Haven, FL, USA;
AN-anduud Problem Solving Group, Ulaanbaatar, Mongolia; N.J. Buitrago A., Universidade de São Paulo,
São Paulo, SP, Brazil.
f = (X + Y )2 (mXY + n) + 1
is irreducible in Z[X, Y ].
Since cw = 1 for c, w integers, and we may simultaneously change the signs of a, b, c, u, v, w without altering
the problem, we may assume wlog that c = w = 1, yielding u = −a, v = −b, for a2 = b2 = ab = −n, or the
polynomial is reducible when m = 0 iff n = −k 2 for some nonzero integer k, in which case
f (X, Y ) = −k 2 X 2 − 2k 2 XY − k 2 Y 2 + 1 = (1 + kX + kY ) (1 − kX − kY ) .
For f to be reducible and not of this form, m must be nonzero, which we will assume to hold for during the
rest of this solution.
Assume now that m is nonzero, or the degree of f is 4. If f is reducible, then every factoring polynomial
that is not symmetric on X, Y (because f is symmetric on X, Y ), must be paired with another one, such that
one becomes the other after exchanging X, Y . Since the highest degree terms are X 3 Y, X 2 Y 2 , XY 3 but not
X 4 or Y 4 , then X 2 , Y 2 cannot appear in the same polynomial unless it is symmetric on X, Y , and X 3 , Y 3
cannot appear in any polynomial. We conclude that all possible ways to factor f are (or can be reduced to)
the following:
or
or
and there can be no other, since the product of two polynomials in X, Y , one of which is the result of
exchanging X, Y in the other, becomes a symmetric polynomial in X, Y .
Case 1: We must have e2 = 1, or since we may exchange signs in all coefficients without altering the
problem, we may assume wlog that e = 1, in which case d = −c, a = n + c2 and b = 2n − 2c2 . It follows that
0 = ac + bc + bd = ac = cn + c3 , yielding either c = 0 or n = −c2 . In the first case, we have a = n, b = 2n,
which result in m = ab = 2n2 and 2m = a2 + b2 = 5n2 , in contradiction with m 6= 0. Therefore, f cannot
be expressed as the product of two polynomials in the first form.
Case 2: We must have dw = 1, or again wlog d = w = 1, yielding v = −c. If c 6= 0, then a = 0 for
m = 0, in contradiction with m 6= 0, or c = v = 0, for a = n and b + u = 2n. Moreover, bu = 2m = 2au,
or since m 6= 0, we have b = 2a = 2n, for u = 0, contradiction. Therefore, f cannot be expressed as the
product of two polynomials in the second form.
Case 3: Note that if u = 0, then m = 0, contradiction, or u 6= 0 yielding b = 0, for du = n and cv = 0.
At the same time, ve = 1, or again v = e = 1, yielding c = 0, and now a = 0, or m = 0, contradiction.
Therefore, f cannot be expressed either as the product of two polynomials in the third and last form.
We conclude that f is irreducible for any nonzero m, and for m = 0 as long as n is not of the form −k 2
for some nonzero integer k.
Also solved by Jishnu Bose, Uttarpara Govt. High School, Kolkata, India.
for all x ∈ [a, b], prove that there is an x0 ∈ [a, b] such that limt→x0 f (t) = x0 .
Note that g is defined over [a, b), and h over (a, b]. The proposed result is equivalent to the following: x0
exists such that either x0 = a and g(a) = 0, x0 = b and h(b) = 0, or x0 ∈ (a, b) and g(x0 ) = h(x0 ) = 0. Note
also that g(x) ≥ h(x) at every point in (a, b), where g(x) = h(x) iff f is continuous at x, and that there are
finitely many discontinuity points in (a, b); if there would be infinitely many, there would be a cumulation
point x ∈ [a, b] in whose vecinity there would be infinitely many discontinuities, and at least one of the lateral
limits at such x would not exist. Clearly, g, h are continuous wherever f is continuous. Note finally that,
since f takes values in [a, b], we have g(a) ≥ 0 and h(b) ≤ 0.
Assume that the proposed result is false, or g(a) > 0 and h(b) < 0. Let a < x1 < x2 < · · · < xn < b
be the finitely many discontinuity points in (a, b). Since f is continuous in (a, x1 ), and g(x) = h(x) 6= 0 in
(a, x1 ), we have h(x1 ) > 0. But g(x1 ) > h(x1 ) because x1 is a discontinuity point, or g(x1 ) > 0. For all
i = 1, 2, . . . , n − 1, if g(xi ) > 0, and since f is continuous in (xi , xi+1 ), we have again g(xi+1 ) > h(xi+1 ) > 0,
or after trivial induction g(xn ) > 0, and h(b) > 0. But h(b) < 0, or we have reached a contradiction, hence
the proposed result follows.
Also solved by Sayak Mukherjee, Kolkata, India; Paolo Perfetti, Università degli studi di Tor Vergata
Roma, Roma, Italy.
Prove that
2
a(x + 3yz) + b(y + 3xz) + c(z + 3xy) ≤ (a + b + c).
3
Proposed by Arkady Alt, San Jose, California, USA
Also solved by Daniel Lasaosa, Universidad Pública de Navarra, Spain; Khakimboy Egamberganov, Acade-
mic Lyceum S.H.Sirojiddinov, Tashkent, Uzbekistan; Nicuşor Zlota, “Traian Vuia” Technical College, Focşani,
Romania; Paolo Perfetti, Università degli studi di Tor Vergata Roma, Roma, Italy.
completing the induction. Therefore, the total number of such n is no greater than
a+1 a+2 −1
(m + 1)(m + 1)2 (m + 1)4 · · · (m + 1)2 = (m + 1)2 .
Also solved by Dimitris Oikonomou, 2nd Hight School, Nauplio, Greece; Arpan Sadhukhan, Indian Stati-
stical Institute, Kolkata, India; Jishnu Bose, Uttarpara Govt. High School, Kolkata, India.
1 2 ... 11
12 13 ... 21
... ... ... ...
Now we will the bound n. Let di be the number of cells in the matrix colored with the i-th color.
Obviously from the condition 7 ≤ di ≤ 13.
Now let A = (ai,j ) be a n × 121 (0, 1)-matrix. The rows represent the colors and the columns represent
the cells. Let ai,j = 1 if the j-th cell is colored by the i-th color, otherwise ai,j = 0. Now since the sum of
the elements of the matrix is the same if we count it either by columns or rows and each column has exactly
one 1 we have:
Xn
di = 121 ⇒ 7n ≤ 121 ≤ 13n ⇒ 10 ≤ n ≤ 17.
i=1
Now we will use the probabilistic method in order to solve the problem. Construct a 21- regular
hyper-graph H with 121 vertices, representing the cells of the matrix and the hyper-edges representing
each combination of a row and a line. Color each vertex of H with one of the n colors as it was in the
matrix(for example 1-st row and the 1-st column is represented by the line which pass from the vertices
(1, 2, . . . , 11, 12, 23, 34, . . . , 111) and if the i-th cell is colored with the j-th color then the i-th vertex will be
colored with the j-th color as well.)
At this point we will use Lovasz Local Lemma(LLL) which states:
Let A1 , A2 , ..., Ak be a series of events such that each event occurs with probability at most p and such that
each event is independent of all the other events except for at most d of them. If ep(d + 1) ≤ 1 then there is
a nonzero probability that none of the events occurs.
Let Af be the event that the hyper-edge f is painted with at most 3 colors. Obviously
n 17
321 321
3 3
p = P(Af ) ≤ ≤ .
n21 1021
0
Moreover, each event Af is clearly mutually independent of all the other events A( f ) for all hyper-edges f 0
that do not intersect f . Now since any edge f of such an H contains 21 vertices, each of which is incident
with 21 edges (including f ), it follows that f intersects at most d = 21(21 − 1) other edges.
421 · e · 17
21
0 4 ·4 11978801069077172091240802754973
ep (d + 1) ≤ 21
≤ < 1.
10 1021
Note that for 6 different colors this method fails.
r
Y n + αi
.
αi
i=1
Also solved by Khakimboy Egamberganov, Academic Lyceum S.H.Sirojiddinov, Tashkent, Uzbekistan; Da-
niel Lasaosa, Universidad Pública de Navarra, Spain; Sayak Mukherjee, Kolkata, India; AN-anduud Problem
Solving Group, Ulaanbaatar, Mongolia; Jishnu Bose, Uttarpara Govt. High School, Kolkata, India.
Also solved by Daniel Lasaosa, Universidad Pública de Navarra, Spain; Peter Tirtowijoyo Young, SMAK
St. Louis 1 Surabaya, Indonesia; Nicuşor Zlota, “Traian Vuia” Technical College, Focşani, Romania; Kha-
kimboy Egamberganov, Academic Lyceum S.H.Sirojiddinov, Tashkent, Uzbekistan; Georgios Batzolis, Man-
doulides High School, Thessaloniki, Greece; Dimitris Oikonomou, 2nd Hight School, Nauplio, Greece; Arkady
Alt, San Jose, California, USA.
1 1
J301. Let a and b be nonzero real numbers such that ab ≥ a + b + 3. Prove that
3
1 1
ab ≥ √
3
+√
3
.
a b
(x + y + z) x2 + y 2 + z 2 − xy − yz − zx = x3 + y 3 + z 3 − 3xyz = x3 + y 3 + z 3 − 3 ≥ 0
and
x2 + y 2 + z 2 ≥ xy + yz + zx ;
therefore,
x + y + z ≥ 0,
which implies
3
3 3 1 1
x ≥ − (y + z) ⇐⇒ x ≥ (−y − z) ⇐⇒ ab ≥ √
3
+√
3
.
a b
Also solved by Polyahedra, Polk State College, USA, Himansu Mookherjee, Kolkata, India; Radouan Bo-
ukharfane, Morocco; Daniel Lasaosa, Pamplona, Spain; David Yang, Bergen County Academies, NJ, USA;
Debojyoti Biswas, Kolkata, India; Eliott S. Kim, The Lawrenceville School, NJ, USA; Jaesung Son, Rid-
gewood, NJ, USA; Jishnu Bose,Indian Statistical Institute, Kolkata, India; Kevin Ren; Corneliu Mănescu-
Avram, Transportation High School, Ploieşti, Romania; Nicuşor Zlota, “Traian Vuia” Technical College,
Focşani, Romania; Paolo Perfetti, Università degli studi di Tor Vergata Roma, Roma, Italy; Peter C.Shim,
Pingry School, Basking Ridge, NJ, USA; Woosung Jung, Korea International School, South Korea; Hyun-
seo Yang, Daecheong Middle School, Seoul, South Korea; Joshua An, Washington University in St. Louis,
MO, USA; Yeonjune Kang, Peddie School, Hightstown, NJ, USA; Seung Hwan An, Taft School, Watertown,
CT, USA; Joe Hong, Seoul International School, South Korea; Seong Kweon Hong, The Hotchkiss School,
Lakeville, CT, USA; Jin Hyup Hong, Great Neck South High School, New Hyde Park, NY, USA.
x4 y4 z4
+ + = 1,
2x2 + yz 2y 2 + zx 2z 2 + xy
Solution by Chakib Belgani, Youssoufia, Morocco and Mahmoud Ezzaki, Oujda, Morocco
Notice that 2x2 + yz = x2 + yz − x(y + z) = (x − y)(x − z) and x4 = 12 x2 (2x2 + yz) − 21 x2 yz, so
1 2 xyz x y z
(x + y 2 + z 2 ) − + + = 1.
2 2 (x − y)(x − z) (y − x)(y − z) (z − x)(z − y)
It is clear that
x y z
+ + = 0,
(x − y)(x − z) (y − x)(y − z) (z − x)(z − y)
so
x2 + y 2 + z 2 = 2
and
2
(x + y + z)2 − (x2 + y 2 + z 2 ) = 4(xy + yz + zx)2 = 4(x2 y 2 + y 2 z 2 + z 2 x2 + 2xyz(x + y + z)),
which it is equal to
Thus
4 = 2(4 − (x4 + y 4 + z 4 ))
and the result follows.
Also solved by Polyahedra, Polk State College, USA, Himansu Mookherjee, Kolkata, India; Daniel La-
saosa, Pamplona, Spain; Radouan Boukharfane, Morocco; Hyunseo Yang, Daecheong Middle School, Seoul,
South Korea; Joshua An, Washington University in St. Louis, MO, USA; Seung Hwan An, Taft School,
Watertown, CT, USA; Joe Hong, Seoul International School, South Korea; Seong Kweon Hong, The Hot-
chkiss School, Lakeville, CT, USA; Adnan Ali, Mumbai, India; Arkady Alt, San Jose, California, USA;
David Yang, Bergen County Academies, NJ, USA; Debojyoti Biswas, Kolkata, India; Eliott S. Kim, The
Lawrenceville School, NJ, USA; Jaesung Son, Ridgewood, NJ, USA; Jishnu Bose,Indian Statistical Institute,
Kolkata, India; Corneliu Mănescu-Avram, Transportation High School, Ploieşti, Romania; Peter C.Shim,
Pingry School, Basking Ridge, NJ, USA; Neculai Stanciu, Buzău, Romania and Titu Zvonaru, Comănes, ti,
Romania; Woosung Jung, Korea International School, South Korea; Jin Hyup Hong, Great Neck South High
School, New Hyde Park, NY, USA.
AX · XZ + BY · Y Z + 2CZ 2 = XZ · Y Z + 6AB 2 .
XY 2
2CZ 2 = ZX 2 + ZY 2 − (1)
2
and
XY 2 = XZ 2 + Y Z 2 − 2XZ · Y Z · cos 60◦ ⇔ XZ · ZY = XZ 2 + Y Z 2 − XY 2 (2)
By (1) and (2) the given is written
AX · XZ + BY · Y Z = XY 2 .
But it is
AX · XZ = XZ(XZ − AZ) = XZ 2 − AZ · XZ = 4BZ 2 − AZ · XZ
and
BY · Y Z = Y Z(Y Z − BZ) = Y Z 2 − Y Z · BZ = 4AZ 2 − Y Z · BZ.
By (2), it is
XY 2 = 4BZ 2 + 4AZ 2 − 4BZ · AZ.
So, it now suffices to prove
4BZ · AZ = AZ · XZ + BZ · Y Z(3).
It is known that AZ · XZ = BZ · Y Z, which gives that (3) holds if
4BZ · AZ = 2BZ · Y Z
Also solved by Polyahedra, Polk State College, USA, Neculai Stanciu, Buzău, Romania and Titu Zvonaru,
Comănes, ti, Romania; Daniel Lasaosa, Pamplona, Spain; Hyunseo Yang, Daecheong Middle School, Seoul,
South Korea; Joshua An, Washington University in St. Louis, MO, USA; Seung Hwan An, Taft School, Wa-
tertown, CT, USA; Joe Hong, Seoul International School, South Korea; Seong Kweon Hong, The Hotchkiss
School, Lakeville, CT, USA; Chakib Belgani, Youssoufia, Morocco and Mahmoud Ezzaki, Oujda, Morocco;
Adnan Ali, Mumbai, India; Arkady Alt, San Jose, California, USA; David Yang, Bergen County Academies,
NJ, USA; Himansu Mookherjee, Kolkata, India; Eliott S. Kim, The Lawrenceville School, NJ, USA; Kevin
Ren; Peter C.Shim, Pingry School, Basking Ridge, NJ, USA; Woosung Jung, Korea International School,
South Korea; Jin Hyup Hong, Great Neck South High School, New Hyde Park, NY, USA.
3 2 1 5 2
M2 = + √ + = + √ = M1 .
4 3 3 2 4 3 3
Also solved by Polyahedra, Polk State College, USA, Radouan Boukharfane, Morocco; Hyunseo Yang,
Daecheong Middle School, Seoul, South Korea; Joshua An, Washington University in St. Louis, MO, USA;
Seung Hwan An, Taft School, Watertown, CT, USA; Joe Hong, Seoul International School, South Korea;
Seong Kweon Hong, The Hotchkiss School, Lakeville, CT, USA; Arkady Alt, San Jose, California, USA;
David Yang, Bergen County Academies, NJ, USA; Eliott S. Kim, The Lawrenceville School, NJ, USA;
Jishnu Bose,Indian Statistical Institute, Kolkata, India; Kevin Ren; Nicuşor Zlota, “Traian Vuia” Technical
College, Focşani, Romania; Peter C.Shim, Pingry School, Basking Ridge, NJ, USA; Woosung Jung, Korea
International School, South Korea; Jin Hyup Hong, Great Neck South High School, New Hyde Park, NY,
USA.
2bc A 2ca B
`a = cos , `b = cos .
b+c 2 c+a 2
It follows, after using the Sine Law and setting C = 180◦ − A − B and B = 30◦ , that `b = 2`a is equivalent
to
A B
sin (b + c) = 2 sin (c + a),
2 2
A B−C C −A
sin A cos 60◦ − = sin A cos = 2 sin B cos = cos (75◦ − A) .
2 2 2
In turn this can be further expressed as
◦ ◦ A ◦
cos (75 ) cos A = sin A cos 60 − − cos (15 ) .
2
Now, if A > 90◦ , cos A < 0, hence cos 60◦ − A2 < cos (15◦ ), yielding either 60◦ − A2 > 15◦ , for A < 90◦ ,
contradiction, or 60◦ − A2 < −15◦ , for A > 150◦ = 180 − B, absurd. On the other hand, if A < 90◦ , then
cos A > 0, and 60◦ − A2 < 15◦ , for A > 90◦ , with contradiction again. It follows that A = 90◦ , in which case
clearly both sides are equal to cos (15◦ ), and consequently `b = 2`a .
Also solved by Polyahedra, Polk State College USA, Hyunseo Yang, Daecheong Middle School, Seoul,
South Korea; Joshua An, Washington University in St. Louis, MO, USA; Seung Hwan An, Taft School,
Watertown, CT, USA; Joe Hong, Seoul International School, South Korea; David Yang, Bergen County
Academies, NJ, USA; Himansu Mookherjee, Kolkata, India; Eliott S. Kim, The Lawrenceville School, NJ,
USA; Jaesung Son, Ridgewood, NJ, USA; Neculai Stanciu, Buzău, Romania and Titu Zvonaru, Comănes, ti,
Romania; Peter C.Shim, Pingry School, Basking Ridge, NJ, USA; Woosung Jung, Korea International
School, South Korea; Jin Hyup Hong, Great Neck South High School, New Hyde Park, NY, USA.
Also solved by Polyahedra, Polk State College, USA, Daniel Lasaosa, Pamplona, Spain; Hyunseo Yang,
Daecheong Middle School, Seoul, South Korea; Joshua An, Washington University in St. Louis, MO, USA;
Seung Hwan An, Taft School, Watertown, CT, USA; Joe Hong, Seoul International School, South Korea;
Seong Kweon Hong, The Hotchkiss School, Lakeville, CT, USA; Chakib Belgani, Youssoufia, Morocco and
Mahmoud Ezzaki, Oujda, Morocco; Adnan Ali, Mumbai, India; Amedeo Sgueglia, Universitá degli studi di
Padova, Italy; David Yang, Bergen County Academies, NJ, USA; Eliott S. Kim, The Lawrenceville School,
NJ, USA; Jishnu Bose,Indian Statistical Institute, Kolkata, India; Kevin Ren; Corneliu Mănescu-Avram,
Transportation High School, Ploieşti, Romania; Peter C.Shim, Pingry School, Basking Ridge, NJ, USA;
Neculai Stanciu, Buzău, Romania and Titu Zvonaru, Comănes, ti, Romania; Woosung Jung, Korea Interna-
tional School, South Korea; Jin Hyup Hong, Great Neck South High School, New Hyde Park, NY, USA.
q (1 − 3q + 3r) ≤ (1 − 2q)3
q (1 − 3q + 3r) = q − 3q 2 + 3qr ≤ q − 3q 2 + q 3
It suffices to prove
(1 − 2q)3 ≥ q − 3q 2 + q 3
Have
(1 − 2q)3 − q − 3q 2 + q 3 = (1 − q) (3q − 1)2 ≥ 0
Also solved by Evgenidis Nikolaos, Gimnasium of Agia, Thessalia,Greece; Daniel Lasaosa, Pamplona,
Spain; Yassine Hamdi, Lycée du Parc, Lyon, France; Li Zhou, Polk State College, Winter Haven, FL, USA;
Joshua An, Washington University in St. Louis, MO, USA; Hyunseo Yang, Daecheong Middle School, Seoul,
South Korea; Woosung Jung, Korea International School, South Korea; Neculai Stanciu, Buzău, Romania
and Titu Zvonaru, Comănes, ti, Romania; Sayak Mukherjee, Kolkata, India; Peter C.Shim, Pingry School,
Basking Ridge, NJ, USA; Paolo Perfetti, Università degli studi di Tor Vergata Roma, Roma, Italy; Nicuşor
Zlota, “Traian Vuia” Technical College, Focşani, Romania; Corneliu Mănescu-Avram, Transportation High
School, Ploieşti, Romania; Jishnu Bose,Indian Statistical Institute, Kolkata, India; Henry Ricardo, New
York Math Circle; Himansu Mookherjee, Kolkata, India; Arkady Alt, San Jose, California, USA; Philip
Radoslavov Grozdanov, Yambol, Bulgaria; Radouan Boukharfane, Morocco; Seong Kweon Hong, The Hotch-
kiss School, Lakeville, CT, USA; Joe Hong, Seoul International School, South Korea; Seung Hwan An, Taft
School, Watertown, CT, USA; Jin Hyup Hong, Great Neck South High School, New Hyde Park, NY, USA.
A B C
sin sin sin = cos A0 cos B 0 cos C 0 .
2 2 2
b2 + c2 − a2 a2 − (b − c)2
cos A = , so that 1 − cos A = ,
2bc 2bc
and r p
A 1 − cos A a2 − (b − c)2
sin = = √ .
2 2 2 bc
Similarly, p p
B b2 − (a − c)2 C c2 − (a − b)2
sin = √ and sin = √ .
2 2 ac 2 2 ab
Thus,
p p p
A B C a2 − (b − c)2 · b2 − (a − c)2 · c2 − (a − b)2
sin sin sin = √ √ √
2 2 2 2 bc · 2 ac · 2 ab
p p p
(b + c − a)2 (c + a − b)2 (a + b − c)2
= √ · √ · √
2 bc 2 ac 2 ab
b+c−a c+a−b a+b−c
= √ · √ · √
2 bc 2 ac 2 ab
= cos A0 cos B 0 cos C 0 .
Also solved by Daniel Lasaosa, Pamplona, Spain; Yassine Hamdi, Lycée du Parc, Lyon, France; Jae-
sung Son, Ridgewood, NJ, USA; Li Zhou, Polk State College, Winter Haven, FL, USA; Woosung Jung,
Korea International School, South Korea; Peter C.Shim, Pingry School, Basking Ridge, NJ, USA; Nicuşor
Zlota, “Traian Vuia” Technical College, Focşani, Romania; Corneliu Mănescu-Avram, Transportation High
School, Ploieşti, Romania; Jishnu Bose,Indian Statistical Institute, Kolkata, India; Himansu Mookherjee,
Kolkata, India; Debojyoti Biswas, Kolkata, India; Arkady Alt, San Jose, California, USA; Andrea Fan-
chini,Cantu’,Italy; An Zhen-ping, Xianyang Normal University, Xianyang, Shaanxi, China; Adnan Ali,
Mumbai, India; Philip Radoslavov Grozdanov, Yambol, Bulgaria; Joshua An, Washington University in St.
Louis, MO, USA; Hyunseo Yang, Daecheong Middle School, Seoul, South Korea; Chakib Belgani, Youssou-
fia, Morocco and Mahmoud Ezzaki, Oujda, Morocco; Seong Kweon Hong, The Hotchkiss School, Lakeville,
CT, USA; Joe Hong, Seoul International School, South Korea; Seung Hwan An, Taft School, Watertown,
CT, USA; Jin Hyup Hong, Great Neck South High School, New Hyde Park, NY, USA.
Solution by Chakib Belgani, Youssoufia, Morocco and Mahmoud Ezzaki, Oujda, Morocco
By AM-GM we have for every n ≥ 1
1 n √
an+1 = (an + ) ≥ n
2 an
Hence,
1 n
an+1 ≤ (an + √ )
2 n−1
By induction it is straightforward from this that ∀n ≥ 2
where
n
bn = √
n−1
and
bn+1 > bn ⇐⇒ n2 > n + 1
so (bn ) is an increasing sequence and
ba2014 c = 44
Also solved by Daniel Lasaosa, Pamplona, Spain; Woosung Jung, Korea International School, South
Korea; Peter C.Shim, Pingry School, Basking Ridge, NJ, USA; Jishnu Bose,Indian Statistical Institute,
Kolkata, India; Henry Ricardo, New York Math Circle; Haroun Meghaichi, University of Science and Tech-
nology Houari Boumediene, Algiers, Algeria; Arkady Alt, San Jose, California, USA; Li Zhou, Polk State
College, Winter Haven, FL, USA; Joshua An, Washington University in St. Louis, MO, USA; Hyunseo
Yang, Daecheong Middle School, Seoul, South Korea; Radouan Boukharfane, Morocco; Seong Kweon Hong,
The Hotchkiss School, Lakeville, CT, USA; Joe Hong, Seoul International School, South Korea; Seung Hwan
An, Taft School, Watertown, CT, USA; Jin Hyup Hong, Great Neck South High School, New Hyde Park,
NY, USA.
F E
M
C
D
B
Also solved by Seung Hwan An, Taft School, Watertown, CT, USA; Joe Hong, Seoul International School,
South Korea; Seong Kweon Hong, The Hotchkiss School, Lakeville, CT, USA; Chakib Belgani, Youssoufia,
Morocco and Mahmoud Ezzaki, Oujda, Morocco; Hyunseo Yang, Daecheong Middle School, Seoul, South
Korea; Joshua An, Washington University in St. Louis, MO, USA; Jishnu Bose,Indian Statistical Institute,
Kolkata, India; Philip Radoslavov Grozdanov, Yambol, Bulgaria; Peter C.Shim, Pingry School, Basking
Ridge, NJ, USA; Woosung Jung, Korea International School, South Korea; Jin Hyup Hong, Great Neck
South High School, New Hyde Park, NY, USA.
Also solved by Jaesung Son, Ridgewood, NJ, USA; Woosung Jung, Korea International School, South
Korea; Peter C.Shim, Pingry School, Basking Ridge, NJ, USA; Jishnu Bose,Indian Statistical Institute,
Kolkata, India; Ioan Viorel Codreanu, Satulung, Maramures, Romania; Himansu Mookherjee, Kolkata, In-
dia; Debojyoti Biswas, Kolkata, India; Philip Radoslavov Grozdanov, Yambol, Bulgaria; Li Zhou, Polk State
College, Winter Haven, FL, USA; Joshua An, Washington University in St. Louis, MO, USA; Radouan
Boukharfane, Morocco; Chakib Belgani, Youssoufia, Morocco and Mahmoud Ezzaki, Oujda, Morocco; Seong
Kweon Hong, The Hotchkiss School, Lakeville, CT, USA; Joe Hong, Seoul International School, South Ko-
rea; Seung Hwan An, Taft School, Watertown, CT, USA; Jin Hyup Hong, Great Neck South High School,
New Hyde Park, NY, USA.
Also solved by Daniel Lasaosa, Pamplona, Spain; Seung Hwan An, Taft School, Watertown, CT, USA;
Joshua An, Washington University in St. Louis, MO, USA; Li Zhou, Polk State College, Winter Haven,
FL, USA; Philip Radoslavov Grozdanov, Yambol, Bulgaria; Jaesung Son, Ridgewood, NJ, USA; Jin Hyup
Hong; Shatlyk Mamedov, Dashoguz, Turkmenistan; Peter C.Shim, Pingry School, Basking Ridge, NJ, USA;
Woosung Jung, Korea International School, South Korea.
U301. Let x, y, z, t > 0 such that x ≤ 2, x + y ≤ 6, x + y + z ≤ 12, and x + y + z + t ≤ 24. Prove that
1 1 1 1
+ + + ≥ 1.
x y z t
1 1 1 4 3 1 4 9 1 4 9 36
≥ , + ≥ , + + ≥ 3, + + + ≥ 6.
x 2 x y 2 x y z x y z t
So
1 1 1 1 1 1 4 1 4 9 1 4 9 36
36 + + + = 27 +5 + +3 + + + + + + ≥ 36
x y z z x x y x y z x y z t
and
1 1 1 1
+ + + ≥ 1.
x y z t
Also solved by Daniel Lasaosa, Pamplona, Spain; Woosung Jung, Korea International School, South
Korea; Peter C.Shim, Pingry School, Basking Ridge, NJ, USA; Paolo Perfetti, Università degli studi di Tor
Vergata Roma, Roma, Italy; Nicuşor Zlota, “Traian Vuia” Technical College, Focşani, Romania; Kevin Ren;
Jishnu Bose,Indian Statistical Institute, Kolkata, India; Jaesung Son, Ridgewood, NJ, USA; Hyunseo Yang,
Daecheong Middle School, Seoul, South Korea; Khakimboy Egamberganov, Tashkent, Uzbekistan; Mai Quốc
Thắng, Ho Chi Minh City, Vietnam; Himansu Mookherjee, Kolkata, India; Arkady Alt, San Jose, California,
USA; An Zhen-ping, Xianyang Normal University, Xianyang, Shaanxi, China; Adnan Ali, Mumbai, India;
Corneliu Mănescu-Avram, Transportation High School, Ploieşti, Romania; Radouan Boukharfane, Morocco;
Li Zhou, Polk State College, Winter Haven, FL, USA; Chakib Belgani, Youssoufia, Morocco and Mahmoud
Ezzaki, Oujda, Morocco; Joe Hong, Seoul International School, South Korea; Seung Hwan An, Taft School,
Watertown, CT, USA; Jin Hyup Hong, Great Neck South High School, New Hyde Park, NY, USA.
that is, it alternates between a and 0. Likewise, if a < 0, then the sequence is
√ q √ p
a, a − a2 = 2a, a − a2 − a4 = a − a2 − a2 = a, ...,
Also solved by Juan José Granier Torres, Universidad de Chile, Santiago, Chile; Seung Hwan An, Taft
School, Watertown, CT, USA; Joe Hong, Seoul International School, South Korea; Chakib Belgani, Yous-
soufia, Morocco and Mahmoud Ezzaki, Oujda, Morocco; Li Zhou, Polk State College, Winter Haven, FL,
USA; Radouan Boukharfane, Morocco; Haroun Meghaichi, University of Science and Technology Houari
Boumediene, Algiers, Algeria; Jaesung Son, Ridgewood, NJ, USA; Moubinool Omarjee, Lycée Henri IV,
Paris France; Peter C.Shim, Pingry School, Basking Ridge, NJ, USA; Woosung Jung, Korea International
School, South Korea; Jin Hyup Hong, Great Neck South High School, New Hyde Park, NY, USA.
(a) For how many functions f are n and Pf (n) relatively prime?
(b) For how many functions f is gcd(n, Pf (n)) a prime?
(b) Let A1 = {a ∈ [n] : (a, n) = p1 } and F1 = {f ∈ F : (n, Pf (n)) = p1 }. Then |A1 | = φ(n/p1 ) =
(p2 − 1) · · · (pk − 1). Now if f ∈ F1 , then f (i) ∈ A ∪ A1 for each i ∈ [n], but not f (i) ∈ A for all i ∈ [n].
Therefore,
pn1
n n n n n
|F1 | = |A ∪ A1 | − |A| = (|A| + |A1 |) − |A| = (φ(n)) −1 .
(p1 − 1)n
Hence the desired answer is
k
!
n
X pni
(φ(n)) −k .
(pi − 1)n
i=1
Also solved by Daniel Lasaosa, Pamplona, Spain; Woosung Jung, Korea International School, South
Korea; Peter C.Shim, Pingry School, Basking Ridge, NJ, USA; Jishnu Bose,Indian Statistical Institute,
Kolkata, India; Jaesung Son, Ridgewood, NJ, USA; Chakib Belgani, Youssoufia, Morocco and Mahmoud
Ezzaki, Oujda, Morocco; Joe Hong, Seoul International School, South Korea; Seung Hwan An, Taft School,
Watertown, CT, USA; Jin Hyup Hong, Great Neck South High School, New Hyde Park, NY, USA.
n2 2n − 1
lim = lim =0
n→∞ a1 + a2 + . . . + an n→∞ an
by the Cezaro-Stolz criteria.
n2
But this contradicts with the fact that 1 ≤ .
a1 + a2 + . . . + an
Also solved by Seung Hwan An, Taft School, Watertown, CT, USA; Joe Hong, Seoul International School,
South Korea; Chakib Belgani, Youssoufia, Morocco and Mahmoud Ezzaki, Oujda, Morocco; Li Zhou, Polk
State College, Winter Haven, FL, USA; Brian Bradie, Christopher Newport University, Newport News, VA;
Salem Malikic, Simon Fraser University, Burnaby, BC, Canada; Radouan Boukharfane, Morocco; Khakim-
boy Egamberganov, Tashkent, Uzbekistan; Henry Ricardo, New York Math Circle; Jaesung Son, Ridgewood,
NJ, USA; Jishnu Bose,Indian Statistical Institute, Kolkata, India; Juan José Granier Torres, Universidad
de Chile, Santiago, Chile; Moubinool Omarjee, Lycée Henri IV, Paris France; Nicuşor Zlota, Traian Vuia
Technical College, Focşani, Romania; Paolo Perfetti, Universitá degli studi di Tor Vergata Roma, Roma,
Italy; Peter C.Shim, Pingry School, Basking Ridge, NJ, USA; Stanescu Florin, School Serban Cioculescu,
Gaesti, Dambovita, Romania; Woosung Jung, Korea International School, South Korea; Haroun Meghaichi,
University of Science and Technology Houari Boumediene, Algiers, Algeria; Jin Hyup Hong, Great Neck
South High School, New Hyde Park, NY, USA.
4n 2n+1 n
1
π = Pn−1 + Rn−1 = Pn−1 + 2n−2 + In = Pn + Rn ,
n−1
2n (2n − 1) 2n (2n − 1)
First,
Z π/2 Z π/2
1 1
In = (1 + cos 2θ)n dθ = (1 − cos z)n dz.
2n π/4 2n+1 0
Using the well-known refinement of Kober’s inequality that 1 − cos z > (2z/π)2 for 0 < z < π/2, we get
2n Z π/2
2 π 3
2n+1 In > z 2n dz = > .
π 0 2(2n + 1) 2(2n + 1)
Thus √
12 3n + 1 2
π − Pn = Rn > n+2 ≥ n√ ,
2 (2n + 1) 2 n
p 2
where the last inequality follows from 3 (3n + 1)n − (4n + 2)2 = (11n + 4)(n − 1) ≥ 0.
Next, it is easy to check directly the upper bound of Rn for n = 1, 2, 3. Consider n ≥ 4. Note that
3
1 − cos z < 2π z for 0 < z < π3 and 1 − cos z < π3 z − 12 for π3 < z < π2 . Therefore
n Z π/3 n Z π/2
n+1 3 n 3 π n π 1 11π
2 In < z dz + z− dz = 1 + n+1 ≤ .
2π 0 π π/3 6 3(n + 1) 2 32(n + 1)
Also solved by Seung Hwan An, Taft School, Watertown, CT, USA; Joe Hong, Seoul International School,
South Korea; Radouan Boukharfane, Morocco; Jishnu Bose,Indian Statistical Institute, Kolkata, India; Peter
C.Shim, Pingry School, Basking Ridge, NJ, USA; Paolo Perfetti, Università degli studi di Tor Vergata Roma,
Roma, Italy; Li Zhou, Polk State College, Winter Haven, FL, USA; Jin Hyup Hong, Great Neck South High
School, New Hyde Park, NY, USA.
or to
a6 + b6 + c6 + d6 + 2 a2 b2 c2 + b2 c2 d2 + c2 d2 a2 + d2 a2 b2 +
+3 a4 b2 + a2 b4 + b4 c2 + b2 c4 + c4 d2 + c2 d4 + d4 a2 + d2 a4 + a4 c2 + a2 c4 + b4 d2 + b2 d4 ≥
≥ 8 a2 b2 cd + b2 c2 da + c2 d2 ab + d2 a2 bc + a2 c2 bd + b2 d2 ca .
Note now that, by the AM-GM inequality, we have a4 c2 + b4 d2 ≥ 2a2 b2 cd, 2a6 + 2b6 + c6 + d6 ≥ 6a2 b2 cd,
and a2 b2 c2 + d2 a2 b2 ≥ 2a2 b2 cd, with equality in all of them simultaneously, iff a = b = c = d. Using these
inequalities and the result of permuting in them a, b, c, d, the Lemma follows. Note that in this particular
problem, the Lemma results in abc + bcd + cda + dab ≤ 4, with equality iff a = b = c = d = 1.
After some algebra, the inequality proposed in the problem statement is equivalent to
Now, ab+bc+cd+da ≤ a2 +b2 +c2 +d2 because of the scalar product inequality applied to vectors (a, b, c, d)
2 2 2 2
and (b, c, d, a), while ac ≤ a +c
2 and bd ≤ b +d
2 because of the AM-GM inequality, or
a2 + b2 + c2 + d2
ab + bc + cd + da + ac + bd ≤ 3 = 6,
2
with equality iff a = b = c = d = 1. Moreover, by the QM-GM inequality, we find
r
a2 + b2 + c2 + d2 √
4
1= ≥ abcd,
4
or abcd ≤ 1, with equality iff a = b = c = d = 1. Finally, by the Lemma we have abc + bcd + cda + dab ≤ 4.
The conclusion follows, equality holds iff a = b = c = d = 1.
Also solved by Seung Hwan An, Taft School, Watertown, CT, USA; Chakib Belgani, Youssoufia, Morocco
and Mahmoud Ezzaki, Oujda, Morocco; Peter C.Shim, Pingry School, Basking Ridge, NJ, USA; Jishnu
Bose,Indian Statistical Institute, Kolkata, India; Woosung Jung, Korea International School, South Korea.
Also solved by Mriganka Basu Roy Chowdhury, South Point High School, Kolkata, West Bengal, India;
Daniel Lasaosa, Pamplona, Spain; Li Zhou, Polk State College, Winter Haven, FL, USA; Neculai Stanciu,
Buzău, Romania and Titu Zvonaru, Comănes, ti, Romania; Saturnino Campo Ruiz, Salamanca, Spain; Jishnu
Bose,Indian Statistical Institute, Kolkata, India; Jaesung Son, Ridgewood, NJ, USA; Khakimboy Egamber-
ganov, Tashkent, Uzbekistan; Himansu Mookherjee, Kolkata, India; Arkady Alt, San Jose, California, USA;
Andrea Fanchini,Cantu’,Italy; Adnan Ali, Mumbai, India; Peter C.Shim, Pingry School, Basking Ridge, NJ,
USA; Philip Radoslavov Grozdanov, Yambol, Bulgaria; Joe Hong, Seoul International School, South Korea;
Seung Hwan An, Taft School, Watertown, CT, USA; Jin Hyup Hong, Great Neck South High School, New
Hyde Park, NY, USA.
Also solved by Seung Hwan An, Taft School, Watertown, CT, USA; Daniel Lasaosa, Pamplona, Spain;
Joe Hong, Seoul International School, South Korea; Chakib Belgani, Youssoufia, Morocco and Mahmoud Ez-
zaki, Oujda, Morocco; Li Zhou, Polk State College, Winter Haven, FL, USA; Philip Radoslavov Grozdanov,
Yambol, Bulgaria; Peter C.Shim, Pingry School, Basking Ridge, NJ, USA; Adnan Ali, Mumbai, India; An
Zhen-ping, Xianyang Normal University, Xianyang, Shaanxi, China; Arkady Alt, San Jose, California, USA;
Khakimboy Egamberganov, Tashkent, Uzbekistan; Jaesung Son, Ridgewood, NJ, USA; Jishnu Bose,Indian
Statistical Institute, Kolkata, India; Shatlyk Mamedov, Dashoguz, Turkmenistan; Corneliu Mănescu-Avram,
Transportation High School, Ploieşti, Romania; Paolo Perfetti, Università degli studi di Tor Vergata Roma,
Roma, Italy; Salem Malikic, Simon Fraser University, Burnaby, BC, Canada; Woosung Jung, Korea In-
ternational School, South Korea; Zarif Ibragimov, Samarkand, Uzbekistan; Yassine Hamdi, Lycée du Parc,
Lyon, France; Jin Hyup Hong, Great Neck South High School, New Hyde Park, NY, USA.
B
P1 P2
O1
S1
R1 O2
Q1 R2
M
S2
Q2
so BR1 = BR2 , that is, B is on the radical axis AM as well. This completes the proof.
Also solved by Seung Hwan An, Taft School, Watertown, CT, USA; Joe Hong, Seoul International School,
South Korea; Chakib Belgani, Youssoufia, Morocco and Mahmoud Ezzaki, Oujda, Morocco; Daniel Lasaosa,
Pamplona, Spain; Mriganka Basu Roy Chowdhury, South Point High School, Kolkata, West Bengal, India;
Peter C.Shim, Pingry School, Basking Ridge, NJ, USA; Marius Stanean, Zalau, Romania; Jin Hyup Hong,
Great Neck South High School, New Hyde Park, NY, USA.
k ≤ ϕ(m) < m, where ϕ denotes Euler’s totient function, then d < m, and by hypothesis of induction there
exist arbitrarily large positive integers n0 , n1 , . . . , nd−1 such that, for each i = 0, 1, . . . , d − 1, we have
If we repeat this process for each i = 0, 1, . . . , d − 1, we generate dµ = m such integers. Assume that any
two of them are congruent modulus m. If this happens for the same value of i, then δk is a multiple of m
for some 0 < δ ≤ µ − 1. Since d is the greatest common divider of k, m, then kδ is a multiple of m iff dδ is a
multiple of m, absurd since 0 < dδ < dµ = m. Otherwise, there exist indices i, j and not necessarily distinct
factors ci , cj ∈ {0, 1, . . . , µ − 1} such that
Now, ani + ni and anj + nj correspond to distinct remainders modulus d, or the first term in the LHS is
not a multiple of d, but the second one is, since it contains a factor of k, yielding a contradiction. Since we
have thus generated m integers with distinct remainders modulus m, each remainder modulus m appears
exactly once in these integers. The Lemma follows.
The conclusion to the proposed problem clearly follows from taking i = 0 for the desired value of m in
the Lemma.
Also solved by Arber Igrishta, Eqrem Qabej, Vushtrri, Kosovo; Radouan Boukharfane, Morocco; Li Zhou,
Polk State College, Winter Haven, FL, USA; Khakimboy Egamberganov, Tashkent, Uzbekistan; Navid Sa-
fei,Student of Sharif,University of Technoogy in Policy Making of Science and Technology, Iran; Jishnu
Bose,Indian Statistical Institute, Kolkata, India.
Let I be the center of γ, D the tangency point of γ with √ BC, and E the reflection of D across AI. Let
I be the inversion in the circle with center A and radius AB · AC. Then I(Γ) is the line tangent to γ at
E and I(Ω) = γ. So I(A0 ) = E. Now we need to prove a lemma.
Lemma. Suppose AI and A0 I intersect Γ again at M and M 0 , respectively. Then M M 0 passes through
the midpoint S of ID.
Proof. We use homogeneous barycentric coordinates and set A = (1 : 0 : 0), B = (0 : 1 : 0), and
0 0
C
= (0 : 0 : 1).
2 2
Then with the usual notations, I = (a : b : c), D = (0 : s − c : s − b), and D = AA ∩ BC =
b
0 : s−c c
: s−b . Hence the equation of AD0 is c2 (s − c)y − b2 (s − b)z = 0. Solving this with the equation of
b2 c2
Γ : a2 yz + b2 zx + c2 xy = 0, we get A0 = −a : s−c : s−b . Also, AI has equation cy − bz = 0. Solving this
a2
with the equation of Γ we get M = − b+c : b : c . Next, A0 I has equation
so M S has equation
b2 − c2 (s − a)x − a2 (s − b + c)y + a2 (s − c + b)z = 0.
Then it is easy to see this equation is satisfied by the coordinates of M 0 . This proves the lemma.
Now let O be the center of Γ and T the internal center of similitude of Γ and γ (X55 in Kimberling’s
Encyclopedia of Triangle Centers [ETC]). Then it is well known that the Gergonne point of 4ABC (X7 in
ETC) is the isogonal conjugate (with respect to 4ABC) of T . Hence T = IO ∩ AA0 . Since the Gergonne
point of 4A0 B 0 C 0 is also the isogonal conjugate (with respect to 4A0 B 0 C 0 ) of T , A0 X is the reflection of
A0 A across A0 I. Thus I is the incenter of 4AQA0 , where Q = AD ∩ A0 X. Hence BC, B 0 C 0 , and IQ concur
at a point P . Next, it is easy to see that M and M 0 are the centers of the circumcircles Σ and Σ0 of 4BCI
and 4B 0 C 0 I, respectively. Note that P is the radical center of Γ, Σ, and Σ0 . Finally, let R be the second
intersection point of Σ and Σ0 . Then M M 0 is the perpendicular bisector of IR, so the lemma implies that R
is on DX as well. Therefore, P is the radical center of Γ, Σ, Σ0 , and γ, from which the required conclusion
follows immediately.
J307. Prove that for each positive integer n there is a perfect square whose sum of digits is equal to 4n .
m is a perfect square whose only digits in the base 10 representation are only zeros, ones and twos, since
ai + aj = ar + as , 1 ≤ i ≤ j ≤ k , 1 ≤ r ≤ s ≤ k, implies i = r, j = s. The sum of the digits of m equals
2k(k − 1)
k+ = k2 .
2
This result goes beyond what is asserted, since we have produced for a given natural number k a perfect
square m whose digit sum equals k 2 . In particular, if k = 2n , then k 2 = 4n .
Also solved by Daniel Lasaosa, Pamplona, Spain; Bedri Hajrizi, Gjimnazi "Frang Bardhi", Mitrovicë,
Kosovë; Corneliu Mănescu- Avram, Transportation High School, Ploieşti, Romania; Henry Ricardo, New
York Math Circle; Alessandro Ventullo, Milan, Italy; Zachary Chase, University School of NSU, FL, USA;
Jaesung Son, Ridgewood, NJ, USA; Jongyeob Lee, Stuyvesant High School, NY, USA; Yeonjune Kang,
Peddie School, Hightstown, NJ, USA; William Kang, Bergen County Academies, Hackensack, NJ, USA;
Chaeyeon Oh, Episcopal High School, Alexandra, VA, USA; Kyoung A Lee, The Hotchkiss School, Lakevi-
lle, CT, USA; Seung Hwan An, Taft School, Watertown, CT, USA; Polyahedra, Polk State College, USA;
Seonmin Chung, Stuyvesant High School, New York, NY, USA; Alyssa Hwang, Kent Place School Summit,
NJ, USA; Woosung Jung, Korea International School, South Korea; Daniel Jhiseung Hahn, Phillips Exeter
Academy, Exeter, NH, USA; Seong Kweon Hong,The Hotchkiss School, Lakeville, CT; Radouan Boukhar-
fane, Sidislimane, Morocco; Farrukh Mukhammadiev, Academic lyceum under the SamIES Nr.1, Samarkand,
Uzbekistan.
Also solved by Adnan Ali, A.E.C.S-4, Mumbai, India; Daniel Lasaosa, Pamplona, Spain; Ali Baouan,
Rabat, Morocco; Jaesung Son, Ridgewood, NJ, USA; Ioan-Andrei Nicolae, Romania; Jongyeob Lee, Stuyve-
sant High School, NY, USA; Yeonjune Kang, Peddie School, Hightstown, NJ, USA; William Kang, Bergen
County Academies, Hackensack, NJ, USA; Chaeyeon Oh, Episcopal High School, Alexandra, VA, USA;
Kyoung A Lee, The Hotchkiss School, Lakeville, CT, USA; Seung Hwan An, Taft School, Watertown, CT,
USA; Polyahedra, Polk State College, USA; Seonmin Chung, Stuyvesant High School, New York, NY, USA;
Alyssa Hwang, Kent Place School Summit, NJ, USA; Woosung Jung, Korea International School, South
Korea; Arber Avdullahu, Mehmet Akif College, Kosovo; Arkady Alt, San Jose, CA, USA; Ilyes Hamdi, Ly-
cée Voltaire, Doha, Qatar; Evgenidis Nikolaos, M. N. Raptou High School, Larissa, Greece; Prithwijit De,
HBCSE, Mumbai, India; Alessandro Ventullo, Milan, Italy; Zachary Chase, University School of NSU, FL,
USA; Radouan Boukharfane, Sidislimane, Morocco.
• If the convex polygon is a triangle ABC, consider any point P of the remaining n − 3, which is clearly
in its interior, and consider triangles P AB, P BC, P CA. Since n ≥ 5, at least one of these triangles,
wlog P AB, has at least one point in its interior. Apply now the hypothesis of induction to the set
formed by the vertices of P AB and all points in its interior, which contains at least 4 and at most
n − 1, and the proposed result is true in this case.
• If the convex polygon is not a triangle and three consecutive of its vertices A, B, C are such that none
of the n points are in the interior of triangle ABC, consider the set of n − 1 points once B is removed,
and apply the hypothesis of induction to this set, and the proposed result is also true in this case.
• If the convex polygon is not a triangle and three consecutive of its vertices A, B, C are such that at
least one of the n points is in the interior of triangle ABC, consider the set of points formed by A, B, C,
and all points inside triangle ABC, which clearly contains at least 4 points and at most n − 1, and
apply the hypothesis of induction to this set, and the proposed result is true again in this case.
Let x ∈ S such that x lies in the interior of the convex hull of S. Hence, by Caratheodory’s Theorem
(d = 2), there is a subset S 0 of S having at most 3 points such that x lies in the convex hull of S 0 . Since the
points are not collinear, then |S 0 | 6= 2 and since x lies in the interior of the convex hull of S, then |S 0 | 6= 1.
So, |S 0 | = 3 and there exists a triangle T whose vertices are in S which contains x. If x is the unique point
of S in T , we are done. If there is another point y 6= x of S in T , joining x with the three points in S 0 we
have that y lies in the interior of one among these triangles. Proceeding in this way and using the fact that
S has finitely many points, then there exist a triangle whose vertices are in S which has exactly one point
of S in its interior.
Also solved by Jaesung Son, Ridgewood, NJ, USA; Jongyeob Lee, Stuyvesant High School, NY, USA; Ye-
onjune Kang, Peddie School, Hightstown, NJ, USA; William Kang, Bergen County Academies, Hackensack,
NJ, USA; Chaeyeon Oh, Episcopal High School, Alexandra, VA, USA; Kyoung A Lee, The Hotchkiss School,
Lakeville, CT, USA; Seung Hwan An, Taft School, Watertown, CT, USA; Polyahedra, Polk State College,
USA; Adnan Ali, A.E.C.S-4, Mumbai, India; Arber Igrishta, Eqrem Qabej, Vushtrri, Kosovo; Ioan-Andrei
Nicolae, Romania; Zachary Chase, University School of NSU, FL, USA.
Now each row requires at least 4 checkers. Also, if a row has only 4 checkers, then the two squares at the
ends of the row must be both empty. Thus two such 4-checker rows cannot be adjacent, to avoid two empty
1 × 2 rectangles in the first and last columns. So there cannot be 5 or more 4-checker rows. If there are 3 or
fewer 4-checker rows (such as in the left figure above), then Alice needs at least s × 2 + 5 × 5 = 37 checkers.
Next, suppose that there are 4 nonadjacent 4-checker rows. Then the two adjacent checkers in the first and
last columns must appear in the same rows (such as the fourth and fifth rows in the right figure above).
Now between the 4 checkers in the first and last columns, these two adjacent rows require at least 7 more
checkers in the middle columns: 6 for the 6 1 × 2 rectangles and 1 more to ensure condition b). Again, Alice
needs at least 4 × 4 + 2 × 5 + (4 + 7) = 37 checkers.
Also solved by Ioan-Andrei Nicolae, Romania; Jaesung Son, Ridgewood, NJ, USA; Jongyeob Lee, Stuy-
vesant High School, NY, USA; Yeonjune Kang, Peddie School, Hightstown, NJ, USA; William Kang, Bergen
County Academies, Hackensack, NJ, USA; Chaeyeon Oh, Episcopal High School, Alexandra, VA, USA; Kyo-
ung A Lee, The Hotchkiss School, Lakeville, CT, USA; Seung Hwan An, Taft School, Watertown, CT, USA;
Seonmin Chung, Stuyvesant High School, New York, NY, USA; Alyssa Hwang, Kent Place School Summit,
NJ, USA; Woosung Jung, Korea International School, South Korea; Ilyes Hamdi, Lycée Voltaire, Doha,
Qatar; Zachary Chase, University School of NSU, FL, USA; Adnan Ali, A.E.C.S-4, Mumbai, India.
a b2 + 3 b c2 + 3 c a2 + 3
+ + ≥ 3.
3c2 + 1 3a2 + 1 3b2 + 1
since
a(a2 + 3)
≥ 1 ⇐⇒ (a − 1)3 ≥ 0.
3a2 + 1
Also solved by Bedri Hajrizi, Gjimnazi "Frang Bardhi", Mitrovicë, Kosovë; Daniel Lasaosa, Pamplona,
Spain; Jaesung Son, Ridgewood, NJ, USA; Jongyeob Lee, Stuyvesant High School, NY, USA; Yeonjune
Kang, Peddie School, Hightstown, NJ, USA; William Kang, Bergen County Academies, Hackensack, NJ,
USA; Chaeyeon Oh, Episcopal High School, Alexandra, VA, USA; Kyoung A Lee, The Hotchkiss School, La-
keville, CT, USA; Seung Hwan An, Taft School, Watertown, CT, USA; Polyahedra, Polk State College, USA;
Alyssa Hwang, Kent Place School Summit, NJ, USA; Woosung Jung, Korea International School, South Ko-
rea; Daniel Jhiseung Hahn, Phillips Exeter Academy, Exeter, NH, USA; Seong Kweon Hong,The Hotchkiss
School, Lakeville, CT; Michael Tang, Edina High School, MN, USA; Adnan Ali, A.E.C.S-4, Mumbai, India;
Bodhisattwa Bhowmik, RKMV, Agartala, Tripura, India; Ilyes Hamdi, Lycée Voltaire, Doha, Qatar; Pri-
thwijit De, HBCSE, Mumbai, India; Alessandro Ventullo, Milan, Italy; Zachary Chase, University School
of NSU, FL, USA; George Gavrilopoulos, Nea Makri High School, Athens, Greece; Ioan Viorel Codreanu,
Satulung, Maramures, Romania; Florin Stanescu, Cioculescu Serban High School, Gaesti, Romania; Rado-
uan Boukharfane, Sidislimane, Morocco; Paolo Perfetti, Università degli studi di Tor Vergata Roma, Roma,
Italy; Moubinool Omarjee, Lycée Henri IV, Paris, France.
BC ρκ BC BC(ρκ + 1)
TB = , TC = , TM = + TB = ,
ρκ − 1 ρκ − 1 2 2(ρκ − 1)
BC
and since by Ceva’s theorem we have CX = ρκBX, or BX = ρκ+1 , it follows that
2ρκBC ρκBC 2
T X = BX + T B = , TM · TX = = T B · T C.
ρ2 κ2 − 1 (ρκ − 1)2
Now, since U V is a common chord of the circumcircle of ABC and the circumcircle of XU V , it is also their
radical axis, or the power of T with respect to the circumcircle of ABC (which clearly equals T B · T C) also
equals the power of T with respect to the circumcircle of XU V , and since this power equals T M · T X, the
circumcircle of XU V also passes through M . The conclusion follows.
Also solved by Jaesung Son, Ridgewood, NJ, USA; Jongyeob Lee, Stuyvesant High School, NY, USA;
Yeonjune Kang, Peddie School, Hightstown, NJ, USA; William Kang, Bergen County Academies, Hacken-
sack, NJ, USA; Chaeyeon Oh, Episcopal High School, Alexandra, VA, USA; Kyoung A Lee, The Hotchkiss
School, Lakeville, CT, USA; Seung Hwan An, Taft School, Watertown, CT, USA; Polyahedra, Polk State
College, USA; George Gavrilopoulos, Nea Makri High School, Athens, Greece; Nicuşor Zlota, "Traian Vuia"
Technical College, Focşani, Romania; Prithwijit De, HBCSE, Mumbai, India; Zachary Chase, University
School of NSU, FL, USA; Titu Zvonaru, Comănes, ti, Romania and Neculai Stanciu, Buzău, Romania.
S307. Let ABC be a triangle such that ∠ABC − ∠ACB = 60◦ . Suppose that the length of the altitude from
A is 14 BC. Find ∠ABC.
2t 1 − t2
sin (2B − 60◦ ) = and cos (2B − 60◦
) = (2)
1 + t2 1 + t2
Substitute (2) into (1) and get
3t2 − 2t − 1 = 0
and the only valid solution is t = 1. We conclude that B − 30◦ = 45◦ , and therefore ∠ABC = 75◦
Also solved by George Tsapakidis, "Panagia Prousiotissa" High School, Agrinio, Greece; Daniel Lasa-
osa, Pamplona, Spain; Li Zhou, Polk State College, Winter Haven, FL, USA; Titu Zvonaru, Comănes, ti,
Romania and Neculai Stanciu, Buzău, Romania; Yassine Hamdi, Lycée du Parc, Lyon, France; Alessan-
dro Ventullo, Milan, Italy; Prithwijit De, HBCSE, Mumbai, India; Nicuşor Zlota, "Traian Vuia" Technical
College, Focşani, Romania; Jongyeob Lee, Stuyvesant High School, NY, USA; Corneliu Mănescu- Avram,
Transportation High School, Ploieşti, Romania; Bodhisattwa Bhowmik, RKMV, Agartala, Tripura, India;
Arkady Alt, San Jose, CA, USA; Alok Kumar, Delhi, India; Adnan Ali, A.E.C.S-4, Mumbai, India; Ioan
Viorel Codreanu, Satulung, Maramures, Romania; Ali Baouan, Rabat, Morocco; Alyssa Hwang, Kent Place
School Summit, NJ, USA; Woosung Jung, Korea International School, South Korea; Seung Hwan An, Taft
School, Watertown, CT, USA; Kyoung A Lee, The Hotchkiss School, Lakeville, CT, USA; Chaeyeon Oh,
Episcopal High School, Alexandra, VA, USA; William Kang, Bergen County Academies, Hackensack, NJ,
USA; Radouan Boukharfane, Sidislimane, Morocco.
Also solved by Erlang Wiratama Surya, Ipeka International, Indonesia; Li Zhou, Polk State College,
Winter Haven, FL, USA; Kyoung A Lee, The Hotchkiss School, Lakeville, CT, USA; Seung Hwan An, Taft
School, Watertown, CT, USA.
Also solved by Li Zhou, Polk State College, Winter Haven, FL, USA; Yassine Hamdi, Lycée du Parc,
Lyon, France.
Also solved by Florin Stanescu, Cioculescu Serban High School, Gaesti, Romania; George Gavrilopoulos,
Nea Makri High School, Athens, Greece; Ioan Viorel Codreanu, Satulung, Maramures, Romania; Li Zhou
Polk State College, FL; Paolo Perfetti, Università degli studi di Tor Vergata Roma, Roma, Italy.
Solution by Khakimboy
Egamberganov,
Tashkent,
Uzbekistan
n n n
Since (x − 1)n = xn + xn−1 + ... + x0 we have that at x = 1
0 1 n
n n
b2c b2c
X n X n
= = 2n−1 .
2j + 1 2j
j=0 j=0
bn c n n bn c
2 2
2j +1 2j
Y Y
Let P (x) = (x + 2j + 1) and G(x) = (x + 2j) , Ki (A(x)) is i- coefficient of the
j=0 j=0
polynomial A(x), whose the coefficient of xi . Since
n n
b2c b2c
X n X n
=
2j + 1 2j
j=0 j=0
we have that
Pb n
2c
n n Pb n
2c
j=0 j=0
x =x 2j + 1
2j
K n n (P (x)) = K n n (G(x)).
Pb 2 c Pb 2 c
j=0 j=0
2j + 1 2j
Let f (x) = (x − 1)n is a function(polynomial) and x = 1 is the root(n times) of the polynomial. Then x = 1
00 00
be root of the polynomials f 0 (x), f 00 (x), ..., f .. (x) - (n − 1)-derivative of the f (x) and n-derivative of the
00 00
f (x) is equal to n!. So f (1) = f 0 (1) = ... = f .. (1) = 0. Now, we can
bn c
2
n bn c
2
n
X Y X Y
2j + 1 = 2j
α +α +...+α n =k<n,(α ≥0) j=0
αj α +α +...+α n =k<n,(α ≥0) j=0
αj
1 2 b2c i 1 2 b2c i
and
bn c
2
n n
bn c
2
X Y X Y
2j + 1 − 2j = (n − 1)!.
α1 +α2 +...+αb n c =n,(αi ≥0) j=0
αj α +...+α n =n,(α ≥0) j=0 α j
1 +α2 b2c i
2
Since n n
b2c b2c
X n X n
= = 2n−1 ,
2j + 1 2j
j=0 j=0
we get that
n
b2c bn c
2
X n X n
−n= − n = 2n−1 − n.
2j + 1 2j
j=0 j=0
and we are done.
Also solved by Li Zhou, Polk State College, Winter Haven, FL, USA.
1 1 1 1 16
+ + + ≤ .
1 − bcd 1 − bcd 1 − bcd 1 − bcd 3
1 1 1 1
abcd ≤ √ ⇐⇒ abc ≤ √ ⇐⇒ ≤
3
4 4 3
4 4d 1 − abc 1
1− √
3
4 4d
So, we obtain √
X 1 X 4 3 4d
≤ √
cyc
1 − abc 3
cyc 4 4d − 1
X −1 −4 X 1 −4
⇐⇒ √
3
≥ ⇐⇒ √3
≥
cyc 4 4d − 1 3 cyc 1 − 4 4d
3
X 1 16
√3
≥ √
3
cyc 1 − 4 4d 4 − 4 4 (a + b + c + d)
16 −4 1 −1
√
3
⇐⇒ √
3
≥ ≥
4 − 4 4 (a + b + c + d) 3 1 − 4 (a + b + c + d) 3
√3
√3
⇐⇒ 3 ≥ −1 + 4 (a + b + c + d) ⇐⇒ 4 ≥ 4 (a + b + c + d)
√
3
⇐⇒ 16 ≥ a + b + c + d.
The last inequality follows from Hölder Inequality as
Also solved by Marius Stanean, Zalau, Romania; Navid Safei, Sharif University of Technology, Tehran,
Iran; Nicuşor Zlota, "Traian Vuia" Technical College, Focşani, Romania; Paolo Perfetti, Università degli
studi di Tor Vergata Roma, Roma, Italy.
U307. Prove that any polynomial f ∈ R[X] can be written as a difference of increasing polynomials.
Also solved by Daniel Lasaosa, Pamplona, Spain; Li Zhou, Polk State College, Winter Haven, FL, USA;
Khakimboy Egamberganov, Tashkent, Uzbekistan; Moubinool Omarjee, Lycée Henri IV, Paris, France; Ales-
sandro Ventullo, Milan, Italy; Radouan Boukharfane, Sidislimane, Morocco; Paolo Perfetti, Università degli
studi di Tor Vergata Roma, Roma, Italy.
a1 xX + c1 XY + d1 X = x
a2 xY + c2 XY + d2 Y = y.
The denominator is positive. The (1 − a1 x) in the numerator equals x1 (c1 XY + d1 X), which is also positive.
This shows that X 0 > 0. Because
y
Y =
d2 + a2 x + c2 X
it follows that Y is decreasing.
Exchanging the roles of x, y respectively X, Y we deduce that if 0 < x1 = x2 = x and 0 < y2 ≤ y1 then
X(x, y1 ) ≤ X(x, y2 ) and Y (x, y1 ) ≥ Y (x, y2 ).
So for x1 , x2 , y1 , y2 as specified in the statement we have
as desired.
Also solved by Daniel Lasaosa, Pamplona, Spain; Prithwijit De, HBCSE, Mumbai, India; Titouan Mor-
van, Lyée Millet, France; Nicuşor Zlota, "Traian Vuia" Technical College, Focşani, Romania; Khakimboy
Egamberganov, Tashkent, Uzbekistan; Bodhisattwa Bhowmik, RKMV, Agartala, Tripura, India; Arkady Alt,
San Jose, CA, USA; Adnan Ali, A.E.C.S-4, Mumbai, India; Li Zhou, Polk State College, Winter Haven,
FL, USA; Ioan Viorel Codreanu, Satulung, Maramures, Romania; Ali Baouan, Rabat, Morocco; Moubinool
Omarjee, Lycée Henri IV, Paris, France; Radouan Boukharfane, Sidislimane, Morocco; Paolo Perfetti, Uni-
versità degli studi di Tor Vergata Roma, Roma, Italy; Prasanna Ramakrishnan, International School of Port
of Spain, Trinidad and Tobago.
D
C
P
B
A
X
F G
Locate C on the ray F A and D on the ray GB such that AC = AG and BD = BF . Since P A
is tangent to E, ∠P AC = ∠P AG, so 4P AC ∼= 4P AG. Hence P C = P G. Likewise P D = P F . Also,
F C = F A + AC = F A + AG = GB + BF = GB + BD = GD, thus 4P CF ∼ = 4P GD. Therefore
∠CF P = ∠GDP = ∠BF P , which implies that P is the excenter, opposite F , of 4AF X. Hence P X bisects
∠AXB.
Also solved by Daniel Lasaosa, Pamplona, Spain; Radouan Boukharfane, Sidislimane, Morocco; Prasanna
Ramakrishnan, International School of Port of Spain, Trinidad and Tobago.
which can be made as small as desired by letting k be as large as needed. It follows that the proposed result
is not necessarily true.
Also solved by Li Zhou, Polk State College, Winter Haven, FL, USA; Moubinool Omarjee, Lycée Henri
IV, Paris, France; Radouan Boukharfane, Sidislimane, Morocco; Paolo Perfetti, Università degli studi di
Tor Vergata Roma, Roma, Italy.
It follows that |Sn | = |Sn−k | or |Sn | = |Sp−k+n |. By arbitrarily of n ∈ {1, . . . , p}, we conclude that |S1 | =
|S2 | = . . . = |Sp |.
Also solved by Ioan Viorel Codreanu, Satulung, Maramures, Romania; Nicuşor Zlota, "Traian Vuia" Te-
chnical College, Focşani, Romania; Adnan Ali, A.E.C.S-4, Mumbai, India; Arkady Alt, San Jose, CA, USA;
Khakimboy Egamberganov, Tashkent, Uzbekistan; Marius Stanean, Zalau, Romania; Navid Safei, Sharif Uni-
versity of Technology, Tehran, Iran; Radouan Boukharfane, Sidislimane, Morocco; Paolo Perfetti, Università
degli studi di Tor Vergata Roma, Roma, Italy.
AX : BX : CX = AY : BY : CY.
X C
P
M T
Y O
A
Q
S
α B
γ
β
Also solved by Daniel Lasaosa, Pamplona, Spain; Khakimboy Egamberganov, Tashkent, Uzbekistan; Pra-
sanna Ramakrishnan, International School of Port of Spain, Trinidad and Tobago.
for all nonnegative real numbers a, b, c with ab + bc + ca > 0. Find when equality holds.
contradiction. Or at least two of a, b, c are equal when f (a, b, c) reaches √ its maximum in the interior of R.
If a, b, c are all equal, then g(a, b, c) = k = 3a, and f (a, b, c) = a(3 − 3), yielding µ ≥ 1 − √13 . Note that
√ √ √ √ √
1 − √13 < 2 − 2 is equivalent to 24 < 2 + 12, clearly true because 24 < 5 and 12 > 3, hence if
the maximum inside R occurs when a = b = c, then µ is determined by case (1). Otherwise, if a maximum
occurs√in the interior of R which supersedes case (1), it happens when wlog a 6= b = c. Denote therefore
2 +8b2 4 +32b4
∆ = 2 ab, or k = b + ∆, a + b + c = ∆ 4b , and a2 + b2 + c2 = ∆ 16b2 , or
√
∆2 + 8b2 − ∆4 + 32b4
µ≥ .
4b(b + ∆)
√
Assume that the RHS is larger than 2 − 2 for some combination of b, ∆. Then,
√ √ p
∆2 − 4(2 − 2)b∆ + 4 2b2 > ∆4 + 32b4 ,
√ √ √ √
8 2( 2 − 1)b∆ ∆2 − (5 − 2)b∆ + 4 2b2 < 0.
The quadratic expression in the LHS needs therefore to be negative, or its discriminant must be positive, ie
√ √ √ √
16 2 < (5 − 2)2 = 29 − 10 2, 26 2 < 29,
√
clearly false. Therefore, no point inside R produces µ > 2 − 2
√
We conclude that the minimum allowed value of µ is 2 − 2, in which case equality is reached in the
proposed inequality iff one of a, b, c is zero, and the other two are equal, ie iff (a, b, c) is a permutation of
(k, k, 0) for some positive real k.
Also solved by Bodhisattwa Bhowmik, RKMV, Agartala, Tripura, India; Arkady Alt, San Jose, CA,
USA; Khakimboy Egamberganov, Tashkent, Uzbekistan; Radouan Boukharfane, Sidislimane, Morocco; Paolo
Perfetti, Università degli studi di Tor Vergata Roma, Roma, Italy.
XB · Y C · ZA = XC · Y A · ZB,
while as it is well known, r = 4R sin A2 sin B2 sin C2 , or squaring the proposed inequality and substituting
these results, the problem is equivalent to
Y A · ZA ZB · XB XC · Y C XB 2 Y C 2 ZA2 R2 1
· · = · · ≤ = ,
Y Z2 ZX 2 XY 2 XY 2 Y Z 2 ZX 2 4r2 64 sin2 A
2 sin2 B
2 sin2 C
2
Also solved by Ioan Viorel Codreanu, Satulung, Maramures, Romania; Arkady Alt, San Jose, CA, USA;
Khakimboy Egamberganov, Tashkent, Uzbekistan; Neculai Stanciu, Buzău, Romania; Nicuşor Zlota, "Traian
Vuia" Technical College, Focşani, Romania; Li Zhou, Polk State College, Winter Haven, FL, USA.
O E
F
M
B C
P
∠M BF = ∠M CD = ∠CM E ⇒ 4M BF ∼ 4CM E ⇒
2
MB MF BF MB M F BF BF
= = ⇒ = · = (1)
MC CE ME MC CE M E CE
P B EC P B EC F A
· =1 ⇒ · · =1
PC FB P C EA F B
and this implies that AP , BE, CF are concurrent by Ceva’s theorem.
O E
F N
M
R
B C
P
S
Q
X
By the previous lemma BE, CF , AP are concurrent so (A, B; F, Q) = −1 and the pencil R(A, B, F, Q)
is harmonic. Since F N = N E, using a well known property, we have BR k F E so
∠F BR = ∠AF E = ∠F M A
∠M BF = ∠M RF = ∠N RF = ∠N RE (3)
∠M CE = ∠M SE = ∠M SF = ∠N SP (4)
From (3) and (4), since ∠N RE + ∠N ER = 90◦ and ∠M BF + ∠M CE = 90◦ (by Lemma), we have
∠N RE + ∠N ER = ∠M BF + ∠M CE ⇒
∠N EP = ∠N ER = ∠M CE = ∠M SE = ∠N SP (5)
Also solved by Khakimboy Egamberganov, Tashkent, Uzbekistan; Sebastiano Mosca, Pescara, Italy; Ra-
douan Boukharfane, Sidislimane, Morocco; Prasanna Ramakrishnan, International School of Port of Spain,
Trinidad and Tobago.
Assume that A > 0. By the condition, there exists x0 > 0 such that f (x0 ) = 2x0 . We can see that there
exist infinitely many x > 0 such that f (x) = 2x, it’s not hard look at the (1). For x0 also there is one linear
equation similar to (1) and there will be A = 0,
f n (x0 ) = 2n x0
for all n ∈ Z.
So there exists x0 > 0 such that satisfies the condition f (x0 ) = 2x0 and x0 < 2A. If x0 ≤ A then there
exists n0 ∈ Z such that x0 < A + B · 2n0 < x0 + A. If A < x0 < 2A then
x0
(log2 x0 − log2 B) − (log2 (x0 − A) − log2 B) = log2 >1
x0 − A
and there exists n0 ∈ Z such that log2 (x0 −A)−log2 B < n0 < log2 x0 −log2 B and x0 < A+B ·2n0 < x0 +A.
Hence there exists n0 ∈ Z such that
x0 < A + B · 2n0 < x0 + A.
Let α = A + B · 2n0 . Since the f is increasing bijection, we get that 2x0 < f (x0 ) < f (α) = A + B · 2n0 +1 =
2α − A and x0 + A2 < α. So 2m x0 = f m (x0 ) < f m (α) = 2m α − (2m − 1) · A for all m ∈ Z and as m → +∞
2m − 1
α > lim (x0 + · A),
m→∞ 2m
α ≥ x0 + A
and a contradiction.
Hence A = 0 and f (ξ) = 2ξ again a contradiction. There isn’t ξ > 0 such that f (ξ) 6= 2ξ and for all
ξ > 0 we get that f (ξ) = 2ξ. The solution of the equation
f (f (x)) − 3f (x) + 2x = 0
is f (x) = 2x for all x > 0.
Also solved by Daniel Lasaosa, Pamplona, Spain; Henry Ricardo, New York Math Circle; Navid Safei,
Sharif University of Technology, Tehran, Iran; Radouan Boukharfane, Sidislimane, Morocco; Moubinool
Omarjee, Lycée Henri IV, Paris, France.
From the first equation we can see that y + z has the same sign as x. Therefore there is another variable
having the same sign as x. Repeating this for the other two equations we conclude that for each variable
there is another one having the same sign as it. Thus either all three are negative or all three are positive.
We will solve the system assuming that all three variables are positive.
Using the AM - GM inequality we get
q
1 3 ≥ 2 x3 1 = 2x
y + z = x + x
q x
z + x = y + y ≥ 2 y 3 y1 = 2y
1 3
q
x + y = 1 + z 3 ≥ 2 z 3 1 = 2z
z z
Also solved by Daniel Lasaosa, Pamplona, Spain; Peter C. Shim, The Pingry School, Basking Ridge, NJ;
Seonmin Chung, Stuyvesant High School, NY; Adnan Ali, student at A.E.C.S-4, Mumbai, India; Albert Sta-
dler, Herrliberg, Switzerland; Alok Kumar, Delhi, India; Arbër Avdullahu,Mehmet Akif College,Kosovo; Ar-
kady Alt, San Jose, California, USA; Francesc Gispert Sánchez, CFIS, Universitat Politécnica de Catalunya,
Barcelona, Spain; Joshua Noah Benabou, Manhasset High School, NY; Farrukh Mukhammadiev, Academic
Lyceum Nr.1 under the SamIES, Samarkand, Uzbekistan; Evgenidis Nikolaos, M. N. Raptou High School,
Larissa, Greece; Prithwijit De, HBCSE, Mumbai, India; Sardor Bozorboyev, Lyceum S.H.Sirojjidinov, Ta-
shkent, Uzbekistan; Shatlyk Mamedov, School Nr. 21, Dashoguz, Turkmenistan; Titu Zvonaru, Comănes, ti,
Romania and Neculai Stanciu, Buzău, Romania; Jhiseung Daniel Hahn, Phillips Exeter Academy, Exeter,
NH, USA; William Kang, Bergen County Academies, Hackensack, NJ, USA; Jongyeob Lee, Stuyvesant
High School, NY, USA; Michael Tang, Edina High School, MN, USA; Jaesung Son, Ridgewood, NJ, USA;
Polyahedra, Polk State College, FL, USA; Kwon Il Ko, Cushing Academy, MA, USA.
953 = 1 · 953, 954 = 2 · 32 · 53, 955 = 5 · 191, 956 = 22 · 239, 957 = 3 · 11 · 29, 958 = 2 · 479.
Also solved by Daniel Lasaosa, Pamplona, Spain; Peter C. Shim, The Pingry School, Basking Ridge,
NJ; Seonmin Chung, Stuyvesant High School, NY; Jhiseung Daniel Hahn, Phillips Exeter Academy, Exeter,
NH, USA; William Kang, Bergen County Academies, Hackensack, NJ, USA; Rebecca Buranich, College at
Brockport, SUNY; Jongyeob Lee, Stuyvesant High School, NY, USA; Michael Tang, Edina High School, MN,
USA; Jaesung Son, Ridgewood, NJ, USA; Polyahedra, Polk State College, FL, USA; Kwon Il Ko, Cushing
Academy, MA, USA.
Solution √
by Daniel Lasaosa,
√ Pamplona, Spain
√
Denote x = 4a + 1 − 1, y = 4b + 1 − 1, z = 4c + 1 − 1, and s = x + y + z. Note therefore that
or √ √
0≤ s+1+ 5 s+1− 5 ,
√
for s ≥ 5 − 1, with equality iff xy + yz + zx = 0, ie iff two of x, y, z are zero, or iff two of a, b, c are zero.
It follows that √ √ √ √
4a + 1 + 4b + 1 + 4c + 1 = s + 3 ≥ 5 + 2,
with equality iff (a, b, c) is a permutation of (1, 0, 0).
Also solved by Ángel Plaza, Department of Mathematics, University of Las Palmas de Gran Canaria,
Spain; Peter C. Shim, The Pingry School, Basking Ridge, NJ; Seonmin Chung, Stuyvesant High School, NY;
Jhiseung Daniel Hahn, Phillips Exeter Academy, Exeter, NH, USA; William Kang, Bergen County Acade-
mies, Hackensack, NJ, USA; Albert Stadler, Herrliberg, Switzerland; Arkady Alt, San Jose, California, USA;
Debojyoti Biswas, Kolkata, India; Erdenebayar Bayarmagnai, School Nr.11, Ulaanbaatar, Mongolia; Henry
Ricardo, New York Math Circle; Marius Stanean, Zalau, Romania; Farrukh Mukhammadiev, Academic Ly-
ceum Nr.1 under the SamIES, Samarkand, Uzbekistan; Nicuşor Zlota, “Traian Vuia” Technical College,
Focşani, Romania; Paolo Perfetti, Università degli studi di Tor Vergata Roma, Roma, Italy; Salem Malikić,
Simon Fraser University, Burnaby, BC, Canada; Sardor Bozorboyev, Lyceum S.H.Sirojjidinov, Tashkent,
Uzbekistan; Shatlyk Mamedov, School Nr. 21, Dashoguz, Turkmenistan; Titu Zvonaru, Comănes, ti, Romania
and Neculai Stanciu, Buzău, Romania; Utsab Sarkar, Chennai Mathematical Institute, India; Vincent Hu-
ang, Schimelpfenig Middle School, Plano, TX; AN-anduud Problem Solving Group, Ulaanbaatar, Mongolia;
George Gavrilopoulos, High School of Nea Makri, Athens, Greece; An Zhen-ping, Mathematics Department,
Xianyang Normal University, Xianyang, Shaanxi, China; Jongyeob Lee, Stuyvesant High School, NY, USA;
Michael Tang, Edina High School, MN, USA; Jaesung Son, Ridgewood, NJ, USA; Polyahedra, Polk State
College, FL, USA; Kwon Il Ko, Cushing Academy, MA, USA.
x3 + y 3 + z 3 + u3 + v 3 + w3 = 53353.
x3 + y 3 + z 3 = 53329,
x3 + y 3 + z 3 + u3 + v 3 = 53345 (1)
By Lemma 1, we have that if any of the remaining x, y, z, u, v is not equal to 3, (1) does not hold, since
53345 ≡ 2 (mod 9), while LHS cannot be conguent with it.
Hence, let v = 3.
x3 + y 3 + z 3 = 53291.
WLOG, suppose that x ≥ y ≥ z. This way, we get to the conclusion that x = 29, x = 31 and x = 37,
for none of which we have a solution.
x3 + y 3 + z 3 + u3 = 53318. (2)
By Lemma 2, we can similarly conclude that if any of x, y, z, u is not equivalent to 7, we get to a
contradiction since 53318 ≡ 6 (mod 7) and LHS of (2) cannot be congruent with it.
• if any of x, y, z equals 7 (apart from u that is taken), for instance z = 7 ⇔ z 3 = 343, then we have
y 3 + z 3 = 52632.
Now supposing x ≥ y, we can find that either x = 31 or x = 37. In each case there is no solution in
prime integers.
y 3 + z 3 = 2322.
Relation (3) implies that y 3 ≥ 1311 and because y is an odd prime and 1311 ≤ y 3 ≤ 2322, it must be
y = 13 or y = 11 . For y = 11 the given equation has no solution, while for y = 13 we get z = 5. Hence, the
given equation has a solution (x, y, z, u, v, w) = (37, 13, 5, 7, 3, 2) and all its permutations in prime integers.
Also solved by Daniel Lasaosa, Pamplona, Spain; Théo Lenoir, Institut Saint-Lô, Agneaux, France; Peter
C. Shim, The Pingry School, Basking Ridge, NJ; Seonmin Chung, Stuyvesant High School, NY; William
Kang, Bergen County Academies, Hackensack, NJ, USA; Albert Stadler, Herrliberg, Switzerland; Alessandro
Ventullo, Milan, Italy; Evgenidis Nikolaos, M. N. Raptou High School, Larissa, Greece; Samantha Paradis,
College at Brockport, SUNY; Titu Zvonaru, Comănes, ti, Romania and Neculai Stanciu, Buzău, Romania;
Jhiseung Daniel Hahn, Phillips Exeter Academy, Exeter, NH, USA; Michael Tang, Edina High School, MN,
USA; Jaesung Son, Ridgewood, NJ, USA; Polyahedra, Polk State College, FL, USA; Kwon Il Ko, Cushing
Academy, MA, USA.
Also solved by Daniel Lasaosa, Pamplona, Spain; Ricardo Barroso Campos, Sevilla, Spain; Peter C. Shim,
The Pingry School, Basking Ridge, NJ; Seonmin Chung, Stuyvesant High School, NY; William Kang, Bergen
County Academies, Hackensack, NJ, USA; AN-anduud Problem Solving Group, Ulaanbaatar, Mongolia;
George Gavrilopoulos, High School of Nea Makri, Athens, Greece; Andrea Fanchini, Cantú, Italy; Georgios
Batzolis, Mandoulides High School, Thessaloniki, Greece; Yassine Hamdi, Lycée du Parc, Lyon, France;
Farrukh Mukhammadiev, Academic Lyceum Nr.1 under the SamIES, Samarkand, Uzbekistan; Prithwijit
De, HBCSE, Mumbai, India; Jongyeob Lee, Stuyvesant High School, NY, USA; Jaesung Son, Ridgewood,
NJ, USA; Titu Zvonaru, Comănes, ti, Romania and Neculai Stanciu, Buzău, Romania; Evgenidis Nikolaos,
M. N. Raptou High School, Larissa, Greece; Polyahedra, Polk State College, FL, USA; Kwon Il Ko, Cushing
Academy, MA, USA.
(1 − 2x) [f (x) − 1] ≤ 0.
Also solved by Solution by Alessandro Ventullo, Milan, Italy; Daniel Lasaosa, Pamplona, Spain; Peter
C. Shim, The Pingry School, Basking Ridge, NJ; Seonmin Chung, Stuyvesant High School, NY; William
Kang, Bergen County Academies, Hackensack, NJ, USA; AN-anduud Problem Solving Group, Ulaanbaatar,
Mongolia; Jhiseung Daniel Hahn, Phillips Exeter Academy, Exeter, NH, USA; Arbër Avdullahu, Mehmet
Akif College,Kosovo; Arbër Igrishta, Eqrem Qabej, Vushtrri, Kosovo; Arkady Alt, San Jose, California,
USA; Paul Revenant, Lycée Champollion, Grenoble, France; Sardor Bozorboyev, Lyceum S.H.Sirojjidinov,
Tashkent, Uzbekistan; Titu Zvonaru, Comănes, ti, Romania and Neculai Stanciu, Buzău, Romania; Jongyeob
Lee, Stuyvesant High School, NY, USA; Michael Tang, Edina High School, MN, USA; Jaesung Son, Rid-
gewood, NJ, USA; Kwon Il Ko, Cushing Academy, MA, USA.
√ √ √
S313. Let a, b, c be nonnegative real numbers such that a + b + c = 3. Prove that
p p p
(a + b + 1)(c + 2) + (b + c + 1)(a + 2) + (c + a + 1)(b + 2) ≥ 9.
Also solved by Li Zhou, Polk State College, USA; Daniel Lasaosa, Pamplona, Spain; William Kang, Ber-
gen County Academies, Hackensack, NJ, USA; George Gavrilopoulos, High School of Nea Makri, Athens,
Greece; An Zhen-ping, Mathematics Department, Xianyang Normal University, Xianyang, Shaanxi, China;
Jongyeob Lee, Stuyvesant High School, NY, USA; Adnan Ali, Student in A.E.C.S-4, Mumbai, India; Arbër
Igrishta, Eqrem Qabej, Vushtrri, Kosovo; Arkady Alt, San Jose, California, USA; Bodhisattwa Bhowmik,
RKMV, Agartala, Tripura, India; Erdenebayar Bayarmagnai, School Nr.11, Ulaanbaatar, Mongolia; Far-
rukh Mukhammadiev, Academic Lyceum Nr.1 under the SamIES, Samarkand, Uzbekistan; Nicuşor Zlota,
“Traian Vuia” Technical College, Focşani, Romania; Evgenidis Nikolaos, M. N. Raptou High School, La-
rissa, Greece; Paolo Perfetti, Università degli studi di Tor Vergata Roma, Roma, Italy; Sardor Bozorboyev,
Lyceum S.H.Sirojjidinov, Tashkent, Uzbekistan; Shatlyk Mamedov, School Nr. 21, Dashoguz, Turkmenis-
tan; Titu Zvonaru, Comănes, ti, Romania and Neculai Stanciu, Buzău, Romania; Utsab Sarkar, Chennai
Mathematical Institute, India; Ioan Viorel Codreanu, Satulung, Maramures, Romania.
x2 y + y 2 z + z 2 x = p and xy 2 + yz 2 + zx2 = q.
Also solved by Li Zhou, Polk State College, USA; Daniel Lasaosa, Pamplona, Spain; William Kang,
Bergen County Academies, Hackensack, NJ, USA; Adnan Ali, student at A.E.C.S-4, Mumbai, India; Al-
bert Stadler, Herrliberg, Switzerland; Alok Kumar, Delhi, India; Arbër Avdullahu, Mehmet Akif College,
Kosovo; Arkady Alt, San Jose, California, USA; Bunyod Boltayev, Khorezm, Uzbekistan; Debojyoti Biswas,
Kolkata, India; Erdenebayar Bayarmagnai, School Nr.11, Ulaanbaatar, Mongolia; Farrukh Mukhammadiev,
Academic Lyceum Nr.1 under the SamIES, Samarkand, Uzbekistan; Navid Safei, University of Technoogy
in Policy Making of Science and Technology, Iran; Nicuşor Zlota, “Traian Vuia” Technical College, Focşani,
Romania; Evgenidis Nikolaos, M. N. Raptou High School, Larissa, Greece; Sardor Bozorboyev, Lyceum
S.H.Sirojjidinov, Tashkent, Uzbekistan; Shatlyk Mamedov, School Nr. 21, Dashoguz, Turkmenistan; Titu
Zvonaru, Comănes, ti, Romania and Neculai Stanciu, Buzău, Romania.
Hence da db dc d0a d0b d0c = k 3 ≤ r6 and the equality holds if and only if M ≡ M 0 ≡ I, where I is incenter of the
triangle ABC.
Also solved by Li Zhou, Polk State College, USA; Daniel Lasaosa, Pamplona, Spain; Titu Zvonaru,
Comănes, ti, Romania and Neculai Stanciu, Buzău, Romania; Bodhisattwa Bhowmik, RKMV, Agartala, Tri-
pura, India; Marius Stanean, Zalau, Romania; Farrukh Mukhammadiev, Academic Lyceum Nr.1 under the
SamIES, Samarkand, Uzbekistan; Prithwijit De, HBCSE, Mumbai, India.
A1 U
X
M1
Z Y
O1 O O2 B1
C1 C
V C2
(x + d)2 + y 2 = R1 2 , (x − d)2 + y 2 = R2 2 .
Let U ≡ (∆, h) and V ≡ (∆, −h), where (∆ + d)2 + h2 = R1 2 and (∆ − d)2 + h2 = R2 2 . Any line through
U has equation y = h + m(x − ∆), or its intersections with (O1 , R1 ) satisfy
Since one of the roots, corresponding to U , is ∆, the other root equals the independent term divided by
(m2 + 1)∆, and substitution in the equation for the line through U yields
!
m2 − 1 ∆ − 2d − 2mh m2 − 1 h + 2m∆ + 2md
A≡ ,− .
m2 + 1 m2 + 1
Similarly, !
m2 − 1 ∆ + 2d − 2mh m2 − 1 h + 2m∆ − 2md
B≡ ,− ,
m2 + 1 m2 + 1
yielding !
m2 − 1 ∆ − 2mh m2 − 1 h + 2m∆
M≡ ,− .
m2 + 1 m2 + 1
It follows that 2
m2 − 1 + 4m2 ∆2 + h2
OM 2 = = ∆2 + h2 = OU 2 = OV 2 .
(m2 + 1)2
The Lemma follows, also when the line passes through V because of the symmetry with respect to line
O1 O2 .
From the Lemma, it follows that the circle through U, V with center in the midpoint O of O1 O2 passes
also through M1 , M2 , M3 . The conclusion follows.
Also solved by Adnan Ali, A.E.C.S-4, Mumbai, India; Marius Stanean, Zalau, Romania; Prithwijit De,
HBCSE, Mumbai, India; Sardor Bozorboyev, Lyceum S.H.Sirojjidinov, Tashkent, Uzbekistan.
Also solved by Daniel Lasaosa, Pamplona, Spain; AN-anduud Problem Solving Group, Ulaanbaatar,
Mongolia; Adnan Ali, Student in A.E.C.S-4, Mumbai, India; Bodhisattwa Bhowmik, RKMV, Agartala,
Tripura, India; Marius Stanean, Zalau, Romania; Farrukh Mukhammadiev, Academic Lyceum Nr.1 under
the SamIES, Samarkand, Uzbekistan; Prithwijit De, HBCSE, Mumbai, India; Sardor Bozorboyev, Lyceum
S.H.Sirojjidinov, Tashkent, Uzbekistan; Titu Zvonaru, Comănes, ti, Romania and Neculai Stanciu, Buzău,
Romania; Li Zhou, Polk State College, USA.
(1 − λ)2 [ACE] − λ2 [BDF ] = (1 − λ)2 ([OAE] + [OEC] + [OCA]) − λ2 ([OBD] + [ODF ] + [OF B]) (1).
Analoguosly,
(1 − λ)2 [OEC] − λ2 [OF B] = λ(1 − λ) [OF C] − [OBE]
(1 − λ)2 [OCA] − λ2 [ODF ] = λ(1 − λ) [OAD] − [OF C] .
2
[ACE] λ
Thus, since (1) we have that [BDF ] = 1−λ .
2
[ACE] λ
Suppose that [BDF ] = 1−λ and we will prove that A1 D1 , B1 E1 , C1 F1 are concurrent. Since (1) we
can find easily that there exists a point O such that
So
[OA1 D1 ] = [OB1 E1 ] = [OC1 F1 ]
and O be the intersection point of the lines A1 D1 , B1 E1 , C1 F1 .
Also solved by Sardor Bozorboyev, Lyceum S.H.Sirojjidinov, Tashkent, Uzbekistan; Li Zhou, Polk State
College, USA.
U313. Let X and Y be nonnegative definite Hermitian matrices such that X − Y is also nonnegative definite.
Prove that tr X 2 ≥ tr Y 2 .
Now we write
tr(X 2 ) − tr(Y 2 ) = tr ((X − Y )X) + tr (Y (X − Y )) ≥ 0,
which follows from the result proved above since X − Y is nonnegative definite.
Also solved by Daniel Lasaosa, Pamplona, Spain; AN-anduud Problem Solving Group, Ulaanbaatar,
Mongolia; Radouan Boukharfane, Sidislimane, Morocco; Alessandro Ventullo, Milan, Italy; Li Zhou, Polk
State College, USA.
k p k
X
n
X n−1 p n
= j− j,
2n2 j 2
j=1 j=1
or equivalently,
√
n
√
n
!n √
n k √
n
1+ 2 + ··· + k n k n−1 X n
j
> + >
k n+1 2n2 k j2
j=1
n √
k √
n n √ k
n−1 nk X 1
n n−1 k X nj n
>k + >k + .
n+1 n + 1 2k j2 n+1 n + 1 2k j2
j=1 j=1
The limit of the second term when n → ∞ is clearly positive, since the factors outside the sum have limit
1
2k , and the sum is positive and does not depend on n. It follows that
√
n
√
n
!n n
1+ 2 + ··· + k n 1 k
lim > k lim = k lim = .
1 n
n→∞ k n→∞ n+1 n→∞ 1+ n e
Also solved by Daniel Lasaosa, Pamplona, Spain; Henry Ricardo, New York Math Circle; Arkady Alt ,
San Jose,California, USA; Ioan Viorel Codreanu, Satulung, Maramures, Romania; Alessandro Ventullo, Mi-
lan, Italy; Jaesung Son, Ridgewood, NJ, USA; Ángel Plaza, Department of Mathematics, University of Las
Palmas de Gran Canaria, Spain; Albert Stadler, Herrliberg, Switzerland; Utsab Sarkar, Chennai Mathemati-
cal Institute, India; AN-anduud Problem Solving Group, Ulaanbaatar, Mongolia; Corneliu Mănescu-Avram,
Transportation High School, Ploieşti, Romania; Khakimboy Egamberganov, National University of Uzbekis-
tan, Tashkent, Uzbekistan; William Kang, Bergen County Academies, Hackensack, NJ, USA; Nicuşor Zlota,
“Traian Vuia” Technical College, Focşani, Romania; Paolo Perfetti, Università degli studi di Tor Vergata
Roma, Roma, Italy; Li Zhou, Polk State College, USA.
where Zi and Ji have the same order for each i. By block multiplication, the given condition implies Zi Ji2 −
Ji2 Zi = Ji for each i. Now let ni be the order of Ji , then
Also solved by Khakimboy Egamberganov, National University of Uzbekistan, Tashkent, Uzbekistan; AN-
anduud Problem Solving Group, Ulaanbaatar, Mongolia; Alessandro Ventullo, Milan, Italy.
0 ≤ nj ≤ p − 1, 0 ≤ j ≤ k. For any natural number m define vp (m) = n if pn |m and pn+1 6 |m. Then
P n n − n0 − n1 − n2 − · · · − nk
vp (n!) = j≥1 j = .
p p−1
Proof: h i
Among the integers 1, 2, . . . , n there are exactly np which are divisible by p, namely
n
p, 2p, ..., p. (2)
p
The integers between 1 and n which are divisible by p2 (a subset of (2)) are
n
2 2
p , 2p , . . . , 2 p2 ,
p
h i
which are pn2 in number, and so on. The number of integers between 1 and n, which are divisible by
h i h i
pj but not by pj+1 is exactly pnj − pj+1
n
. Hence p divides n! exactly
X n n X n
j − j+1 =
pj p pj
j≥1 j≥1
times. We have
X n X n X n
= −
pj pj pj
j≥1 j≥1 j≥1
X n0 + n1 p + n2 p2 + · · · + nk pk
n
= − =
p−1 pj
j≥1
k
n X n0 + n1 p + n2 p2 + · · · + nj−1 pj−1 X n0 + n1 p + n2 p2 + · · · + nk pk
= − − =
p−1 pj pj
j=1 j≥k+1
n 1 P 1 n 1
− kj=1 j ji=1 ni−1 pi−1 − k
Pk
− ki=1 ni−1 kj=i pi−j−1 − k
i
Pk
ni p i =
P P P
i=0 ni p =
p−1 p p (p − 1) p−1 p (p − 1) i=0
k k
n 1 X 1 X
− ni−1 (1 − pi−1−k ) − k ni p i =
p−1 p−1 p (p − 1)
i=1 i=0
n
X X X X X
v2 (F1 F2 · · · Fn ) = v2 (Fk ) = 1+ 3+ 2+ v2 (12k) =
k=1 0<6k+3≤n 0<12k+6≤n 0<12k≤n 0<12k≤n
X X X X n+3 n+6 hni h n i
= 1+ 3+ 4+ v2 (k) = +3 +4 + v2 ! =
n 6 12 12 12
0<6k+3≤n 0<12k+6≤n 0<12k≤n 0<k≤ 12
n 1 n 1 hni X
+ +3 + +5 − fi .
6 2 12 2 12
i
P P
We have i ei = O(log n) and i fi = O(log n). So, as n tends to infinity,
X
v2 ([µn]!) = [µn] − ei = µn + O(log n)
i
and
n 1 n 1 hni X 5n
v2 (F1 F2 · · · Fn ) = + +3 + +5 − fi = + O(log n).
6 2 12 2 12 6
i
5
So a necessary condition that (1) has infinitely many solutions is µ = .
6
k 5n k−1 7 2 1 0 k−1 5n
Consider the numbers n = 81·2 , k ≥ 2 Then = 135·2 = (2 +2 +2 +2 )2 , v2 ! =
hni 6 h n i 6
135 · 2k−1 − 4, = 27 · 2k−2 = (24 + 23 + 21 + 20 )2k−2 , v2 ! = 27 · 2k−1 − 4, v2 (F1 F2 · · · Fn ) =
12 12
n 1 n 1 hni P
+ +3 + +5 − i fi = 27 · 2k−1 + 3 · 27 · 2k−2 + 5 · 27 · 2k−2 − 4 =
6 2 12 2 12
5n
135 · 2k−1 − 4 = v2 ! .
6
Hence, to satisfy the given equation for infinitely many n, µ must necessarily be 56 .
Finally, for all n = 3 · 2m + 17 with m ≥ 5, the two formulas above become
∞ ∞ m+1
5 · 2m−1 + 14 + 2m−1 + 14
X
5n X 2
v2 ! = =
6 2i 2i
i=1 i=1
X m m−2
14 14 14 X
= + + + 2i + 2i
2 4 8
i=0 i=0
m+1 m−1
− 1 = 2m+1 + 2m−1 + 9.
= 11 + 2 −1 + 2
Lemma:.
For any natural numbers t and p, there is a natural number N (t, p) such that every bipartite graph with a
matching of size at least N (t, p) contains either a complete bipartite graph Kt,t or an induced matching Mp .
Proof:
For p = 1 and arbitrary t, we can define N (t, p) = 1. Now, for each fixed t, we prove the result by induction
on p. Without loss of generality, we prove it only for values of the form p = 2s . Suppose we have shown the
lemma for p = 2s for some s ≥ 0. Let us now show that it is sufficient to set N (t, 2p) = RB(t, RB(t, N (t, p))),
where RB is the bipartite Ramsey number.
Consider a graph G with a matching of size at least RB(t, RB(t, N (t, p))). Without loss of generality,
we may assume that G contains no vertices outside of this matching. We also assume that G does not
contain an induced Kt,t , since otherwise we are done. Then G must contain the bipartite complement of
KRB(t,N (t,p)),RB(t,N (t,p)) with vertex classes, say A and B. Now let C and D consist of the vertices matched
to vertices in A and B respectively in the original matching in G.
Note that A, B, C, D are pairwise disjoint. Graphs G[A ∪ C] and G[B ∪ D] (induced on sets A ∪ C and
B ∪ D) now each contain a matching of size RB(t, N (t, p)). There are no edges between A and B, yet there
might be edges between C and D. By our assumption, G[C ∪ D] is however Kt,t -free, therefore, by Ramsey’s
theorem, it must contain the bipartite complement of KN (t,p),N (t,p) , with vertex sets C 0 ⊂ C, D0 ⊂ D. Let
A0 ⊂ A and B 0 ⊂ B be the set of vertices matched to C 0 and D0 respectively in the original matching in G.
Now there are no edges in G[A0 ∪ B 0 ] and none in G[C 0 ∪ D0 ], but G[A0 ∪ C 0 ] and G[B 0 ∪ D0 ] both contain
a matching of size N (t, p). Since G is Kt,t -free, by the induction hypothesis, we conclude that they both
contain an induced matching Mp . Putting these together we find that G contains an induced M2p . This
proves the Lemma.
Returning to the problem, define M (s, t, p) := R(s, R(s, N (t, p))), where R is the classical Ramsey
number and N (t, p) is the N from the Lemma. Suppose that G is a (Ks , Kt,t )-free graph with a matching
of size R(s, R(s, N (t, p))). Since G is Ks -free, by Ramsey’s theorem, it must contain an independent set A
of size R(s, N (t, p)). Let B be the set of vertices matched to A. Since G[B] is Ks -free, it must contain an
independent set B 0 of size N (t, p). Let A0 be the set of vertices matched to B 0 ; the graph H = G[A0 ∪ B 0 ] is
a bipartite graph with a matching of size N (t, p). By the above, since H is Kt,t -free, it thus follows that H
contains an induced matching Mp . This completes the proof.
∞
X (−1)q0,1,0 (k) 1 1 1 1 π2
S0,1,0 = =− + − + − · · · = − ,
k2 12 22 32 42 12
k=1
∞
X (−1)q1,0,0 (k)
1 1 1 1 1 1 1 1
S1,0,0 = − 2 − 2 + 2 + 2 − 2 − 2 + 2 + ···
=
k2
1 2 2 3 4 5 6 7 8
k=1
π2
1 1 1 1 1 1 1 1 1
= − + − + · · · − − + − + · · · = G − ,
12 32 52 72 4 12 22 32 42 48
Finally, S0,0,1 = −S0,0,0 , S0,1,1 = −S0,1,0 , S1,0,1 = −S1,0,0 , and S1,1,1 = −S1,1,0 .
Also solved by Roberto Mastropietro and Emiliano Torti, University of Rome Tor Vergata", Italy; AN-
anduud Problem Solving Group, Ulaanbaatar, Mongolia; Daniel Lasaosa, Pamplona, Spain.
O313. Find all positive integers n for which there are positive integers a0 , a1 , . . . , an such that a0 + a1 + · · · +
an = 5(n − 1) and
1 1 1
+ + ··· + = 2.
a0 a1 an
Also solved by Daniel Lasaosa, Pamplona, Spain; William Kang, Bergen County Academies, Hackensack,
NJ, USA; AN-anduud Problem Solving Group, Ulaanbaatar, Mongolia; Michael Tang, Edina High School,
MN, USA; Ángel Plaza, Department of Mathematics, University of Las Palmas de Gran Canaria, Spain;
Albert Stadler, Herrliberg, Switzerland; Alessandro Ventullo, Milan, Italy; Arbër Avdullahu, Mehmet Akif
College, Kosovo; Arbër Igrishta, Eqrem Qabej, Vushtrri, Kosovo; Bodhisattwa Bhowmik, RKMV, Agartala,
Tripura, India; Erdenebayar Bayarmagnai, School Nr.11, Ulaanbaatar, Mongolia; Francesc Gispert Sán-
chez, CFIS, Universitat Politécnica de Catalunya, Barcelona, Spain; Henry Ricardo, New York Math Circle;
Sardor Bozorboyev, Lyceum S.H.Sirojjidinov, Tashkent, Uzbekistan; Shatlyk Mamedov, School Nr. 21, Da-
shoguz, Turkmenistan; Titu Zvonaru, Comănes, ti, Romania and Neculai Stanciu, Buzău, Romania Li Zhou,
Polk State College, USA.
Solution by Navid Safei, University of Technology in Policy Making of Science and Technology, Iran
At first thanks to the following identity one can find that the polynomial x, could be written as sum of
cubes of five integer valued polynomials as follows:
3 3 3 3
x3 − x x3 − x x3 − x x3 − x
3
x=x + + + −1 − + 1−
6 6 6 6
x3 − x
It is obvious that the polynomial is an integer-valued polynomial. By use of the following we can
6
2
find that the polynomial x , could be written as sum of cubes of integer-valued polynomials( just take place
in the above identity x through x2 ) . Now consider the polynomial P (x) with integer coefficients then we
can write the polynomial by the form P (x) = P1 (x3 ) + xP2 (x3 ) + x2 P3 (x3 ) where P1 , P2 , P3 are polynomials
with integer coefficients . it is obvious that these polynomials (i.e. P1 , P2 , P3 ) could be written as the sum
of cubes of polynomials with integer coefficients and thus integer-valued. Since polynomials x, x2 could be
written so , the statement was proved.
Also solved by Henri Godefroy, Stanislas Secondary School, Paris, France; Li Zhou, Polk State College,
USA.
Solution by Paolo Perfetti, Università degli studi di Tor Vergata Roma, Roma, Italy
The AGM yields a3 + 1 + 1 ≥ 3a hence
we come to
cyc
Also solved by George Gavrilopoulos, High School of Nea Makri, Athens, Greece; An Zhen-ping, Ma-
thematics Department, Xianyang Normal University, Xianyang, Shaanxi, China; Albert Stadler, Herrliberg,
Switzerland; Erdenebayar Bayarmagnai, School Nr.11, Ulaanbaatar, Mongolia; Khakimboy Egamberganov,
National University of Uzbekistan, Tashkent, Uzbekistan; Daniel Lasaosa, Pamplona, Spain; Marius Sta-
nean, Zalau, Romania; Farrukh Mukhammadiev, Academic Lyceum Nr.1 under the SamIES, Samarkand,
Uzbekistan; Sardor Bozorboyev, Lyceum S.H.Sirojjidinov, Tashkent, Uzbekistan; Titu Zvonaru, Comănes, ti,
Romania and Neculai Stanciu, Buzău, Romania; Li Zhou, Polk State College, USA.
The Claim follows. Since 22 = 5 · 1 − 1, the result holds for k = 1, serving as the base case for induction over
k, the step being guaranteed by the Claim. The Corollary follows.
By the Corollary, for every positive integer k, a positive integer u exists such that
k−1 k−1 +k
22·5 = u5k − 1, 0 < u10k − 22·5 = 2k .
Note that if k = 2` ≥ 2 is an even positive integer, then 2k < 10` , clearly true since it is equivalent to
5 `
> 1, whereas if k = 2` + 1 ≥ 3 is an odd integer larger than 1, then 2k < 10` , which is equivalent to
2
2`+1 < 5` , true for ` = 1 (equivalent to k = 3), and clearly true for any ` ≥ 1 since the RHS is multiplied by
5 every time ` grows in one unit, the LHS being multiplied only by 2. It follows that, whatever the last `
digits are, the previous k − ` digits (which are clearly at least half of the last k digits) are 9’s. The conclusion
follows.
Also solved by AN-anduud Problem Solving Group, Ulaanbaatar, Mongolia; Albert Stadler, Herrliberg,
Switzerland; Li Zhou, Polk State College, USA.
so there is j ∈ S \ {i} such that i and j do not have a friend in common, a contradiction.
(b) Claim 2: If i and j are friends then |Fi ∩ Fj | = 1.
Indeed, suppose that Fi = {j, k, l, m} and k, l ∈ Fj as well. Note that i and m must have a friend
in common, so |Fm ∩ {j, k, l}| ≥ 1. Hence, |(Fj ∪ Fk ∪ Fl ∪ Fm ) \ {i, j, k, l, m}| ≤ 6 < 7, so there is n ∈
S \ {i, j, k, l, m} such that i and n do not have a friend in common, a contradiction.
(c) Without loss of generality, assume now that F1 = {2, 3, 4, 5} with F1 ∩ F2 = {3} and F1 ∩ F4 = {5}, as
in the left graph below. For 1 to have a friend in common with each scientist in {6, . . . , 12}, we must have
{6, . . . , 12} ⊆ (F2 ∪ F3 ∪ F4 ∪ F5 ). Now each of 2, 3, 4, 5 needs to have two friends in {6, . . . , 12}, so exactly
one scientist in {6, . . . , 12} has two friends in {2, 3, 4, 5} who are not friends. Without loss of generality, say
6 is a friend of 2 and 4, then we have the complete left graph below. However, for 2 to have a friend in
common with each of 11 and 12, 7 has to be a friend of both 11 and 12, which contradicts Claim 2 since
{5, 7} ⊆ F11 ∩ F12 . This contradiction completes the proof.
2 9 3 8 10
7
3 1 6
10 4
6 1
11 7
5 2 5 9
8 4 12 11
(d) Finally we notice that it does require twelve scientists to draw the conclusion, as shown by the right
graph above with eleven scientists.
Also solved by Francesc Gispert Sánchez, CFIS, Universitat Politécnica de Catalunya, Barcelona, Spain;
Philip Radoslavov Grozdanov, Yambol, Bulgaria.
so f (p) − an pn = 0. This means that f (x) − an xn has all primes greater than |an | + · · · + |a0 | as zeros, thus
it must be identically 0, that is, f (x) = an xn with |an | = 1.
Also solved by Daniel Lasaosa, Pamplona, Spain; Navid Safei, University of Technoogy in Policy Making
of Science and Technology, Iran; Khakimboy Egamberganov, National University of Uzbekistan, Tashkent,
Uzbekistan.
J319. Let 0 = a0 < a1 < · · · < an < an+1 = 1 such that a1 + a2 + · · · + an = 1. Prove that
a1 a2 an 1
+ + ··· + ≥ .
a2 − a0 a3 − a1 an+1 − an−1 an
Also solved by Daniel Lasaosa, Pamplona, Spain; Ioan Viorel Codreanu, Satulung, Maramures, Romania;
Alok Kumar, Delhi, India; Ángel Plaza, University of Las Palmas de Gran Canaria, Spain; Arber Igrishta,
Eqrem Qabej, Vushtrri, Kosovo; Arkady Alt, San Jose, California, USA; Bodhisattwa Bhowmik, RKMV,
Agartala, Tripura, India; Daniel Văcaru, Pites, ti, Romania; David E. Manes, Oneonta, NY, USA; Ilyes
Hamdi, Lycée Voltaire, Doha, Qatar; Farrukh Mukhammadiev, Academic Lyceum Nr1, Samarkand, Uzbe-
kistan; Nicuşor Zlota, “Traian Vuia” Technical College, Focşani, Romania; Paolo Perfetti, Università degli
studi di Tor Vergata Roma, Roma, Italy; Sardor Bozorboyev, Lyceum S.H.Sirojjidinov, Tashkent, Uzbekis-
tan; Shatlyk Mamedov, Dashoguz , Turkmenistan; Titu Zvonaru, Comănes, ti, Romania and Neculai Stanciu,
Buzău, Romania; Seung Hwan An, Taft School, Watertown, CT, USA; Chaeyeon Oh, Episcopal High School,
Alexandra, VA, USA; Mehtaab Sawhney, USA; Yujin Kim, Stony Brook School, Stony Brook, NY, USA;
Misiakos Panagiotis, Athens College (HAEF), Nea Penteli; William Kang, Bergen County Academies, Hac-
kensack, NJ, USA; Ji Eun Kim, Tabor Academy, Marion, MA, USA; Timothy Chon, Horace Mann School,
Bronx, NY, USA; Cody Johnson, USA; Jhiseung Daniel Hahn, Phillips Exeter Academy, Exeter, NH, USA;
Michael Tang, Edina High School, MN, USA; Yong Xi Wang,East China Institute Of Technology, China;
Yooree Ha, Ponte Vedra High School, Ponte Vedra, FL, USA; AN-anduud Problem Solving Group, Ulaan-
baatar, Mongolia.
Also solved by Daniel Lasaosa, Pamplona, Spain; Ioan Viorel Codreanu, Satulung, Maramures, Romania;
Seung Hwan An, Taft School, Watertown, CT, USA; Chaeyeon Oh, Episcopal High School, Alexandra,
VA, USA; Mehtaab Sawhney, USA; Yujin Kim, Stony Brook School, Stony Brook, NY, USA; Misiakos
Panagiotis ,Athens College (HAEF), Nea Penteli; William Kang, Bergen County Academies, Hackensack,
NJ, USA; Ji Eun Kim, Tabor Academy, Marion, MA, USA; Timothy Chon, Horace Mann School, Bronx,
NY, USA; Cody Johnson, USA; Jhiseung Daniel Hahn, Phillips Exeter Academy, Exeter, NH, USA; Michael
Tang, Edina High School, MN, USA; Adnan Ali, Student in A.E.C.S-4, Mumbai, India; Albert Stadler,
Herrliberg, Switzerland; Alok Kumar, Delhi, India; Arber Avdullahu, Mehmet Akif College, Kosovo; Arkady
Alt, San Jose, California, USA; Bodhisattwa Bhowmik, RKMV, Agartala, Tripura, India; Corneliu Mănescu-
Avram, Transportation High School, Ploieşti, Romania; David E. Manes, Oneonta, NY, USA; Ilyes Hamdi,
Lycée Voltaire, Doha, Qatar; Jean Heibig, Paris, France; Farrukh Mukhammadiev, Academic Lyceum Nr1,
Samarkand, Uzbekistan; Paul Revenant,Lycée Champollion,Grenoble,France; Sardor Bozorboyev, Lyceum
S.H.Sirojjidinov, Tashkent, Uzbekistan; Titu Zvonaru, Comănes, ti, Romania and Neculai Stanciu, Buzău,
Romania; Yooree Ha, Ponte Vedra High School, Ponte Vedra, FL, USA.
Solution by Paolo Perfetti, Università degli studi di Tor Vergata Roma, Roma, Italy
Rewriting the inequality yields to
and trivial AGM yields u ≥ v ≥ w. We also use the well known inequality
p
xy + yz + zx ≥ 3(xyz)(x + y + z) ⇐⇒ 3v 2 ≥ 3
that is v ≥ 1.
The inequality becomes
9v 4 − 6uw3 9
w3 u = 1 =⇒ 6
+ 2 ≥9
w u
that is
. 2
f (u) = (3v 4 − 2)u2 + 2 − 3 ≥ 0,
u
r
0 4 4 4 2
f (u) = 2u(3v − 2) − 3 = 0 ⇐⇒ u = u0 (v) =
u 3v 2 −2
√
If v ≤ 2/ 3 then u0 (v) ≤ 1, and this implies f (u) ≥ f (1).
2
f (1) = (3v 4 − 2)u2 + − 3 ≥ 3v 4 − 2 + 2 − 3 ≥ 3 · 1 − 2 + 2 − 3 = 0
u2
√
and this part of the proof is complete. Now let v > 2/ 3.
2 2
f (u) = (3v 4 − 2)u2 + − 3 > (4 − 2)u2 + 2 − 3 ≥ 4 − 3 = 1
u2 u
and also this part is complete.
Also solved by Seung Hwan An, Taft School, Watertown, CT, USA; Chaeyeon Oh, Episcopal High School,
Alexandra, VA, USA; Mehtaab Sawhney, USA; Yujin Kim, Stony Brook School, Stony Brook, NY, USA;
Misiakos Panagiotis ,Athens College (HAEF), Nea Penteli; Timothy Chon, Horace Mann School, Bronx,
NY, USA; Cody Johnson, USA; Nicuşor Zlota, “Traian Vuia” Technical College, Focşani, Romania.
P A1 [P AB]
= = x =⇒
AA0 [ABC]
−−0−→ −−→ −−→ −−→0 −−→ −−→ −−→
A A1 = P A1 − P G − GA = 3x · GA0 − P G − GA0 =
1 →− 1 1 →
− 1 1 →
− −−→
(3x − 1) − · A + − ·B+ − · C − PG =
3 2 3 2 3
3x − 1 →
− → − → − −−→
· −2 · A + B + C − P G
6
Analog obtain
−−0−→ 3y − 1 →
− →
− → − −−→
B B1 = · A − 2 · B + C − PG
6
−−0−→ 3z − 1 →
− → − →
− −−→
C C1 = · A + B − 2 · C − PG
6
Therefore
−−0−→ −−0−→ −−0−→ 1 − 3x → − 1 − 3y → − 1 − 3z →− −−→
A A1 + B B 1 + C C 1 = ·A+ ·B+ · C − 3 · PG =
2 2 2
3 1 →
− 1 →
− 1 →
− −−→
−x · A + −y · B + − z · C − 3 · PG =
2 3 3 3
3 −−→ −−→ 3 −−→
· P G − 3 · P G = − · P G.
2 2
Considering this we have
3 −−→ −−0−→ −−0−→ −−0−→
3
P G = − · P G = A A1 + B B1 + C C1 ≤
2 2
−−−→ −−−→ −−−→
0 0 0
A A1 + B B1 + C C1 = A0 A1 + B 0 B1 + C 0 C1 .
Also solved by Daniel Lasaosa, Pamplona, Spain; Seung Hwan An, Taft School, Watertown, CT, USA;
William Kang, Bergen County Academies, Hackensack, NJ, USA; Timothy Chon, Horace Mann School,
Bronx, NY, USA.
Since sin B + sin C > sin(B + C) for 0 < B, C < 180◦ , we have
√
5−1
= sin A + sin B + sin C > sin A + sin(B + C)
2 √ √ √
5−1 5−1 5−1
> + = .
4 4 2
Also solved by Daniel Lasaosa, Pamplona, Spain; Seung Hwan An, Taft School, Watertown, CT, USA;
Chaeyeon Oh, Episcopal High School, Alexandra, VA, USA; Mehtaab Sawhney, USA; Yujin Kim, Stony
Brook School, Stony Brook, NY, USA; William Kang, Bergen County Academies, Hackensack, NJ, USA; Ji
Eun Kim, Tabor Academy, Marion, MA, USA; Timothy Chon, Horace Mann School, Bronx, NY, USA; Cody
Johnson, USA; Jhiseung Daniel Hahn, Phillips Exeter Academy, Exeter, NH, USA; Arkady Alt, San Jose,
California, USA; Nicuşor Zlota, “Traian Vuia” Technical College, Focşani, Romania; Sardor Bozorboyev,
Lyceum S.H.Sirojjidinov, Tashkent, Uzbekistan; Titu Zvonaru, Comănes, ti, Romania and Neculai Stanciu,
Buzău, Romania; Yooree Ha, Ponte Vedra High School, Ponte Vedra, FL, USA.
E
F
B C
D
Xb
Xc
Proof of Claim 1. From the similar triangles 4AHE ∼ 4AXXb and 4AHF ∼ 4AXXc we get
Therefore 4AF E and 4AXc Xb are homotetic, so Xb Xc k EF , i.e. Xb Xc is antiparallel to BC. A similar
reasoning show that Ya Yc is antiparallel to AC and Za Zb is antiparallel to AB, as claimed.
F Xb
H
B D Ya C
Xc
X
whence it follows that 4Xc Yc Xb and 4Xc Yc Ya are congruent (SAS). Therefore
∠Xc Xb Yc = ∠Xc Ya Yc
Returning to the original problem it suffices to notice that the above claims tell us that Xc Xb Ya Yc Zb Za
is a Tucker hexagon, so Xb , Xc , Yc , Ya , Za , Zb are concyclic, which is what we wanted to prove.
Also solved by Andrea Fanchini, Cantú, Italy; Mehtaab Sawhney, USA; Misiakos Panagiotis ,Athens
College (HAEF), Nea Penteli; Cody Johnson, USA; Bodhisattwa Bhowmik, RKMV, Agartala, Tripura, India;
Titu Zvonaru, Comănes, ti, Romania and Neculai Stanciu, Buzău, Romania.
S319. Let a, b, c be positive real numbers such that a + b + c = 1. Prove that for any positive real number t,
(at2 + bt + c)(bt2 + ct + a)(ct2 + at + b) = (at2 + bt + c)(a + bt2 + ct)(at + b + ct2 ) ≥ (at + bt + ct)3 = t3 .
+ a3 + b3 + c3 + 4abc t3 ≥ t3 .
Now, by the AM-GM inequality, we have t6 + 1 ≥ 2t3 , t5 + 2t2 ≥ 3t3 and 2t4 + t = 3t3 , with equality iff
t = 1. It therefore remains only to prove that
clearly true and with equality always because the LHS is nothing other than (a+b+c)3 = 13 . The conclusion
follows, equality holds iff t = 1.
Also solved by Ioan Viorel Codreanu, Satulung, Maramures, Romania; Seung Hwan An, Taft School, Wa-
tertown, CT, USA; Chaeyeon Oh, Episcopal High School, Alexandra, VA, USA; Mehtaab Sawhney, USA;
Yujin Kim, Stony Brook School, Stony Brook, NY, USA; Misiakos Panagiotis ,Athens College (HAEF), Nea
Penteli; William Kang, Bergen County Academies, Hackensack, NJ, USA; Timothy Chon, Horace Mann
School, Bronx, NY, USA; Jhiseung Daniel Hahn, Phillips Exeter Academy, Exeter, NH, USA; Yong Xi
Wang,East China Institute Of Technology, China; Adnan Ali, Student in A.E.C.S-4, Mumbai, India; Albert
Stadler, Herrliberg, Switzerland; Alok Kumar, Delhi, India; Arkady Alt, San Jose, California, USA; Bo-
dhisattwa Bhowmik, RKMV, Agartala, Tripura, India; Marin Chirciu, Pites, ti, Romania; Farrukh Mukham-
madiev, Academic Lyceum Nr1, Samarkand, Uzbekistan; Nicuşor Zlota, “Traian Vuia” Technical College,
Focşani, Romania; Paolo Perfetti, Università degli studi di Tor Vergata Roma, Roma, Italy; Samin Riasat,
University of Waterloo, ON, Canada; Sardor Bozorboyev, Lyceum S.H.Sirojjidinov, Tashkent, Uzbekistan;
Titu Zvonaru, Comănes, ti, Romania and Neculai Stanciu, Buzău, Romania; Ángel Plaza, University of Las
Palmas de Gran Canaria, Spain; AN-anduud Problem Solving Group, Ulaanbaatar, Mongolia.
Using barycentric coordinates and the Conway’s notation, if ∠BAC = 60◦ , then
√
2 2 2 bc 2c2 − bc 2b2 − bc 3
a = b + c − bc, SA = S60◦ = , SB = , SC = , S= bc, (1)
2 2 2 2
Now line DE have equation
0
s−c s−b
s−c 0 s−a =0 ⇒ DE ≡ (s − a)x + (s − b)y − (s − c)z = 0
x y z
bc
SEDF = = S60◦
2
so ∠EDF = 60◦ .
Now we know that if θ is the oriented angle between the line px + qy + rz = 0 and a line d, the coordinates
of the infinite point of this line are
in our case, the angle between line DE ≡ (s − a)x + (s − b)y − (s − c)z = 0 and the angle bisector DL is
30◦ , so the coordinates of the infinite point of DL are
√ √
DL∞ (a2 (s − a) + (s −√ b)( 3S − SC ) + (s −√c)( 3S + SB ) :
b2 (s − b) − (s − c)( √3S − SA ) − (s − a)( √
3S + SC ) :
2
−c (s − c) + (s − a)( 3S − SB ) − (s − b)( 3S + SA ))
OI∞ (a(ab − 4bc + ac + b2 + c2 ) : b(−ab − 2bc + 2ac − b2 + 2c2 ) : c(2ab − 2bc − ac + 2b2 − c2 ))
Now we know that two lines with infinite points (f : g : h) and (f 0 : g 0 : h0 ) are perpendicular to each other
if and only if
SA f f 0 + SB gg 0 + SC hh0 = 0
and this is the case of our two infinite points DL∞ and OI∞ , so line OI is perpendicular to angle bisector
of ∠EDF and also the contrary is immediately proved.
Also solved by Daniel Lasaosa, Pamplona, Spain; Mehtaab Sawhney, USA; Yujin Kim, Stony Brook
School, Stony Brook, NY, USA; Misiakos Panagiotis ,Athens College (HAEF), Nea Penteli; Ercole Su-
ppa, Teramo, Italy; Bodhisattwa Bhowmik, RKMV, Agartala, Tripura, India; Sardor Bozorboyev, Lyceum
S.H.Sirojjidinov, Tashkent, Uzbekistan; Titu Zvonaru, Comănes, ti, Romania and Neculai Stanciu, Buzău,
Romania.
Solution by Yujin Kim, Stony Brook School, Stony Brook, NY, USA
Suppose m > n and denote m − n = q > 0. One can assume x 6= 0, −1.
xm (x + 1)
∈ Q → x2 ∈ Q
xn (x + 1)
Also solved by Seung Hwan An, Taft School, Watertown, CT, USA; William Kang, Bergen County
Academies, Hackensack, NJ, USA; Timothy Chon, Horace Mann School, Bronx, NY, USA; Yooree Ha,
Ponte Vedra High School, Ponte Vedra, FL, USA.
EF FC CD
= + .
AE AE AD
Proposed by Nairi Sedrakyan, Yerevan, Armenia
Also solved by Yujin Kim, Stony Brook School, Stony Brook, NY, USA; William Kang, Bergen County
Academies, Hackensack, NJ, USA; Jhiseung Daniel Hahn, Phillips Exeter Academy, Exeter, NH, USA;
Bodhisattwa Bhowmik, RKMV, Agartala, Tripura, India; Sardor Bozorboyev, Lyceum S.H.Sirojjidinov, Ta-
shkent, Uzbekistan.
x + y + (x − y)2 = xy.
This is clearly a Pell-like equation c2 − 5d2 = 4, where s − 2 = c and d are integers of the same parity iff
x, y are integers, and all of whose infinite solutions (cn , dn ) may be found through the recurrent relations
with initial conditions (c0 , d0 ) = (2, 0) and (c1 , d1 ) = (3, 1). Therefore, all solutions are of the form
√ !2n √ !2n √ !2n √ !2n
5+1 5−1 1 5+1 1 5−1
sn = + + 2, dn = √ −√ ,
2 2 5 2 5 2
or equivalently,
√ !2n+1 √ !2n+1
sn + dn 1 5+1 1 5−1
xn = =√ +√ + 1,
2 5 2 5 2
√ !2n−1 √ !2n−1
sn − dn 1 5+1 1 5−1
yn = =√ +√ + 1,
2 5 2 5 2
where n can take any non-negative integer value. We can readily check that indeed the following relation
holds:
√ √
!4n !4n
1 5+1 5−1
xn yn − xn − yn = + − 2 = dn 2 = (xn − yn )2 .
5 2 2
We conclude that all solutions of the proposed equation are those (xn , yn ) already found, or the result of
interchanging xn , yn by symmetry in the problem.
Also solved by Brian Bradie, Christopher Newport University, Newport News, VA, USA; Chaeyeon Oh,
Episcopal High School, Alexandra, VA, USA; Mehtaab Sawhney, USA; Cody Johnson, USA; Jhiseung Daniel
Hahn, Phillips Exeter Academy, Exeter, NH, USA; Adnan Ali, Student in A.E.C.S-4, Mumbai, India; Albert
Stadler, Herrliberg, Switzerland; Alok Kumar, Delhi, India; Arber Avdullahu, Mehmet Akif College, Kosovo;
Bodhisattwa Bhowmik, RKMV, Agartala, Tripura, India; David E. Manes, Oneonta, NY, USA; Sardor
Bozorboyev, Lyceum S.H.Sirojjidinov, Tashkent, Uzbekistan.
f (x + 1) + f (x + 2) + 1 = 0
and so,
Now we come to the second part where S = R. We have the same conditions as before except that the
domain is the real set. So,
(a) f (1) = 0, then,
And also, in
Now,
adding up the above two relations and using f (−a) = −f (a) ∀a ∈ R, we have f (x + y) = f (x) + f (y)
implying f (x)f (y) = f (xy), thus the function is both additive and multiplicative, implying that f (x) = x
∀x ∈ R and f (x) = 0 ∀x ∈ R. It is easy to see that both of them satisfy the functional equation.
(ii)
0, when x is even ∀x ∈ Z
f (x) =
−1, when x is odd ∀x ∈ Z
So, according to the previous part we have the result (1.0),
f (x + 2) = f (x)
1
which here, holds true for all real x. So, x = yields
2
! !
1 5
f =f · · · (1.2)
2 2
! ! !
1 1 5
Whereas, f + f (2) + f f (2) = f (1) + f implying that
2 2 2
! !
1 5
f = −1 + f
2 2
contradicting (1.2). Thus in the real domain, f (−1) = −1 and f (−2) = 0 cannot both be simultaneously
true. Thus in summary, we have the functions as:
(1) When S = Z,
f (x) = 0
f (x) = x
0, when x is even
f (x) =
−1, when x is odd
(2) When S = R.
f (x) = 0
f (x) = x
Also solved by Mehtaab Sawhney, USA; Misiakos Panagiotis ,Athens College (HAEF), Nea Penteli; Cody
Johnson, USA; Arber Avdullahu, Mehmet Akif College, Kosovo; Bodhisattwa Bhowmik, RKMV, Agartala,
Tripura, India; Sardor Bozorboyev, Lyceum S.H.Sirojjidinov, Tashkent, Uzbekistan.
U319. Let A, B, C be the measured (in radians) of the angles of a triangle with circumradius R and inradius
r . Prove that
A B C 2R
+ + ≤ −1
B C A r
Proposed by Nermin Hodžić, Bosnia and Herzegovina and Salem Malikić, Canada
Solution by Paolo Perfetti, Università degli studi di Tor Vergata Roma, Roma, Italy
We employ two known inequalities. The first one is
1 27 R
≤ 3
ABC 2π r
and can be found in problem 3757 of Crux Mathematicorum, vol.39–6, 2013. The second one is a known
inequality
4
a2 c + b2 a + c2 b ≤ (a + b + c)3 − abc
27
given that a, b, c ≥ 0.
Therefore, we have
A B C A2 C + B 2 A + C 2 B
+ + = ≤
B C A ABC
1 4
(A + B + C)3 − ABC =
ABC 27
1 4 3 27 R 4 3 R
= π −1≤ 3 π −1=2 −1
ABC 27 2π r 27 r
Also solved by Dragoljub Milošević, Gornji Milanovac, Serbia; Cody Johnson, USA; AN-anduud Problem
Solving Group, Ulaanbaatar, Mongolia.
2N +1
SN = 1 − 2N +1
.
2 −1
The result is clearly true for N = 0 and N = 1, since
1 2 21 2 4 22
S0 = = 1 − = 1 − 21 , S1 = S0 + =1− = 1 − 22 .
3 3 2 −1 5 15 2 −1
If the result is true for N − 1, then for N we have
N
N 22 + 1 − 22N − 1
2 2N +1
SN = SN −1 + 2N = 1 − 2N = 1 − ,
22N + 1 22N − 1 22·2N − 1
2 +1
or the result is true by inducton for all non-negative integer N . It follows that
X 2n 2N x
2n
= lim SN −1 = 1 − lim 2N = 1 − lim x = 1,
2 + 1 N →∞ N →∞ 2 −1 x→∞ 2 −1
n≥0
since as it is well known, the exponential function increases much more rapidly than the linear function, and
where we have defined x = 2N . The conclusion follows.
Also solved by Reiner Martin, Bad Soden-Neuenhain, Germany; AN-anduud Problem Solving Group,
Ulaanbaatar, Mongolia; David E. Manes, Oneonta, NY, USA; Arkady Alt, San Jose, California, USA; Alok
Kumar, Delhi, India; Albert Stadler, Herrliberg, Switzerland; Adnan Ali, Student in A.E.C.S-4, Mumbai,
India; Yong Xi Wang,East China Institute Of Technology, China; Cody Johnson, USA; Ji Eun Kim, Tabor
Academy, Marion, MA, USA; William Kang, Bergen County Academies, Hackensack, NJ, USA; Yujin Kim,
Stony Brook School, Stony Brook, NY, USA; Mehtaab Sawhney, USA.
axa−1 P1 (x)
f 0 (x) = a 2
=a a .
(x − 1) (x − 1)2
Pk (x)
f (k) (x) = a ,
(xa− 1)k+1
where we use the recursive relation in the definition of the sequence. This implies
(−1)k+1 (k)
Pk (0) = f (0),
a
and we reduce the problem of finding the value of Pk (0) to determine f (k) (0). In this respect, using the
geometric series we have
∞
1 X
f (x) = a =− xas ,
x −1
s=0
and we obtain (
(k) −k! if a|k
f (0) =
0 otherwise
Finally,
(−1)k k!
(
(−1)k+1 (k) if a|k
a
Pk (0) = f (0) =
a 0 otherwise
First solution by Brian Bradie, Christopher Newport University, Newport News, VA, USA
Note that
16n2 − 12n + 1 4n(4n − 3) 1
= +
n(4n − 2)! n(4n − 2)! n(4n − 2)!
4n − 3 4n − 1
= 4· +4·
(4n − 2)! (4n)!
1 1 1 1
= 4 − + − .
(4n − 3)! (4n − 2)! (4n − 1)! (4n)!
Therefore,
∞ ∞
16n2 − 12n + 1
X X 1 1 1 1
= 4 − + −
n(4n − 2)! (4n − 3)! (4n − 2)! (4n − 1)! (4n)!
n=1 n=1
∞ ∞
!
X 1 X 1
= 4 (−1)n−1 = 4 1 − (−1)n
n! n!
n=1 n=0
1
= 4 1− .
e
Second solution by Brian Bradie, Christopher Newport University, Newport News, VA, USA
Write
16n2 − 12n + 1 = (4n − 2)(4n − 3) + 2(4n − 2) − 1,
so that
∞ ∞ ∞ ∞
X 16n2 − 12n + 1 X 1 X 1 X 1
= +2 −
n(4n − 2)! n(4n − 4)! n(4n − 3)! n(4n − 2)!
n=1 n=1 n=1 n=1
= f 00 (1) + 2f 0 (1) − f (1),
where
∞
X x4n−2
f (x) = .
n(4n − 2)!
n=1
Next, consider the function
∞
X x4n−2
g(x) = ,
(4n − 2)!
n=1
and note that g (4) (x) − g(x) = 0 subject to the initial conditions g(0) = 0, g 0 (0) = 0, g 00 (0) = 1, and
g 000 (0) = 0. Thus,
1
g(x) = (cosh x − cos x).
2
To obtain f , multiply g by x, integrate term-by-term, determine the constant of integration using the initial
condition f (0) = 0, multiply by 4, and divide by x2 . This yields
2
f (x) = (2 + x sinh x − cosh x − x sin x − cos x).
x2
and
∞
16n2 − 12n + 1
X
00 0 1
= f (1) + 2f (1) − f (1) = 4 1 − .
n(4n − 2)! e
n=1
Also solved by Daniel Lasaosa, Pamplona, Spain; Bodhisattwa Bhowmik, RKMV, Agartala, Tripura,
India; Arkady Alt, San Jose, California, USA; Albert Stadler, Herrliberg, Switzerland; Cemal Kadirov, Is-
tanbul University, Turkey; AN-anduud Problem Solving Group, Ulaanbaatar, Mongolia; Cody Johnson, USA;
Ji Eun Kim, Tabor Academy, Marion, MA, USA; William Kang, Bergen County Academies, Hackensack,
NJ, USA; Yujin Kim, Stony Brook School, Stony Brook, NY, USA; Mehtaab Sawhney, USA; Chaeyeon Oh,
Episcopal High School, Alexandra, VA, USA.
Also solved by Paolo Perfetti, Università degli studi di Tor Vergata Roma, Roma, Italy; Cody John-
son, USA; Ji Eun Kim, Tabor Academy, Marion, MA, USA; William Kang, Bergen County Academies,
Hackensack, NJ, USA; Yujin Kim, Stony Brook School, Stony Brook, NY, USA.
If there is a c ∈ (0, 1) such that f (c) = 0 then the inequality is trivial. Otherwise by continuity f has constant
sign and without loss of generality we may assume that f (x) > 0 in (0, 1). By the Mean Value Theorem, for
all t ∈ (1/2, 1) there is ct ∈ (1/2, t) such that
f 0 (ct )
≤ −M.
f (ct )
Also solved by Reiner Martin, Bad Soden-Neuenhain, Germany; Paolo Perfetti, Università degli studi di
Tor Vergata Roma, Roma, Italy; Corneliu Mănescu- Avram, Transportation High School, Ploieşti, Romania;
Arkady Alt, San Jose, California, USA; Cody Johnson, USA.
O319. Let f (x) and g(x) be arbitrary functions defined for all x ∈ R. Prove that there is a function h(x)
such that (f (x) + h(x))2014 + (g(x) + h(x))2014 is an even function for all x ∈ R.
Then,
Also solved by Daniel Lasaosa, Pamplona, Spain; Yassine Hamdi, Lycee du Parc, Lyon, France; George
- Petru Scărlătescu, Pites, ti, Romania; Misiakos Panagiotis, Athens College (HAEF), Nea Penteli; Mehtaab
Sawhney, USA; Michael Tang, Edina High School, MN, USA.
Also solved by Daniel Lasaosa, Pamplona, Spain; Sardor Bozorboyev, Lyceum S.H.Sirojjidinov, Tashkent,
Uzbekistan; Paolo Perfetti, Università degli studi di Tor Vergata Roma, Roma, Italy; Yassine Hamdi, Lycee
du Parc, Lyon, France; Arkady Alt, San Jose, California, USA; Adnan Ali, Student in A.E.C.S-4, Mum-
bai, India; William Kang, Bergen County Academies, Hackensack, NJ, USA; Misiakos Panagiotis, Athens
College (HAEF), Nea Penteli; Yujin Kim, Stony Brook School, Stony Brook, NY, USA; Mehtaab Sawhney,
USA.
B
Q
E
P
C D
Coming back to the proposed problem, note first that the pairs of triangles 4F AP and 4CDP , 4ABP
and 4DEP , 4BCP and 4EF P are equivalent.
a
f
B
b
P
e E
c
d
C D
a · f = c · d, a · b = d · e, b·c=e·f (3)
AB 2 + CD2 + EF 2 = BC 2 + DE 2 + F A2
Also solved by Daniel Lasaosa, Pamplona, Spain; Titu Zvonaru, Comănes, ti, Romania and Neculai Stan-
ciu, Buzău, Romania; Sardor Bozorboyev, Lyceum S.H.Sirojjidinov, Tashkent, Uzbekistan; Farrukh Mu-
khammadiev, Academic Lyceum Nr1, Samarkand, Uzbekistan; William Kang, Bergen County Academies,
Hackensack, NJ, USA; Yujin Kim, Stony Brook School, Stony Brook, NY, USA.
A
Q
Y
V
X O
P N
B C
W
∠P BC + ∠P QC = 180◦ (2)
Let V , W denote the centers of (AXY ) and (BXY C) respectively. Observe that V , N , W are colli-
near since N is the midpoint of the arc XY and V W is the perpendicular bisector of XY .
∠W M N = ∠OAM = ∠AN V = ∠W N M ⇒ WN = WM
Clearly W also belongs to the perpendicular bisectors of BC and XY so the proof is complete.
Also solved by Daniel Lasaosa, Pamplona, Spain; Andrea Fanchini, Cantú, Italy; Sardor Bozorboyev, Ly-
ceum S.H.Sirojjidinov, Tashkent, Uzbekistan; Farrukh Mukhammadiev, Academic Lyceum Nr1, Samarkand,
Uzbekistan; Bodhisattwa Bhowmik, RKMV, Agartala, Tripura, India; Misiakos Panagiotis, Athens College
(HAEF), Nea Penteli; Mehtaab Sawhney, USA.
Also solved by Reiner Martin, Bad Soden-Neuenhain, Germany; Mehtaab Sawhney, USA; Misiakos Pa-
nagiotis, Athens College (HAEF), Nea Penteli; Daniel Lasaosa, Pamplona, Spain; Samin Riasat, University
of Waterloo, ON, Canada; Sardor Bozorboyev, Lyceum S.H.Sirojjidinov, Tashkent, Uzbekistan.
3
rt − s ≤ (S3 t + s) ⇔ 5rt − 5s ≤ 3S3 t + 3s ⇔ (5r − S3 )t ≤ 8s
5
If 5r − 3S3 ≤ 0, then it is obvious, so we can conclude that 5r − 3S3 > 0. Let’s suppose, that inequality
isn’t hold (and after that we will get a contradiction). So, now we conclude that
8s
(5r − 3S3 )t > 8s ⇔ t > .
5r − 3S3
Using it, we get:
S3 t + s = 5t4 ⇒
8s
s = t(5t3 − S3 ) > (5t3 − S3 ) ⇒
5r − 3S3
⇒ 5r − 3S3 > 8(5t3 − S3 ) ⇒ 5r + 5S3 > 40t3 ⇔ r + S3 > 8t3
8s 8s
We know, that t > 5r−3S3 , so r + S3 > 8( 5r−3S 3
)3 , and it gives us that
3 3 3 3 3 3
8s 4 < 4r − 2S3 ⇔ 4s 4 < 2r − S3 ⇔ 4a 4 b 4 c 4 d 4 ≤ 2(abc + bcd + cda + dab) − (a3 + b3 + c3 + d3 )
√ √ √
f (x, x, y, y) ≥ 0 ⇔ 2(x3 − x2 y − xy 2 + y 3 ) − 2xy(x − 2 xy + y) ≥ 0 ⇔ ( x + y)2 (x + y) ≥ xy
which is obvious. √ √
Now we will find, when inequality f (a, b, c, d) ≥ f (a, b, cd, cd) holds:
√ √ √ √ √ √
f (a, b, c, d) ≥ f (a, b, cd, cd) ⇔ (c c − d d)2 ≥ 2ab( c − d)2 ⇐
√ √
⇐ (c + cd + d)2 ≥ 2ab ⇐ (3 cd)2 ≥ 2ab ⇐ 9cd ≥ 2ab ⇐ 4cd ≥ ab
√
So, if 4cd ≥ ab, then we can change c, d to x, x, where x = cd. We will try to do it with our numbers.
Lets rearrange a, b, c, d in such way that a ≥ b ≥ c ≥ d.
Obviously, 4ab ≥ cd, so we can change a, b to x, x. Now we need to prove, that f (x, x, c, d) ≥ 0. If
4cd ≥ x2 ,then we can replace c, d to y, y and we are done.
So, we will consider the case, when x2 ≥ 4cd. Let’s take a look at√pairs x, c and x, d. If 4xc ≥ xd and
√
4xd ≥ xc, then we can replace them to pairs l, l and r, r, l = xc, r = xd.
4xc ≥ xd obviously holds, so we have to check 4xd ≥ xc. If it is true, then we are done. Else, let’s suppose
that 4xd ≤ xc ⇔ 4d < c.
6 3 3
f (x, x, c, d) ≥ 0 ⇔ 2x3 + c3 + 4x 4 c 4 d 4 ≥ 2x2 (c + d) + 4xcd
6 3 3
4x 4 c 4 d 4 ≥ 4xcd - obvious. It remains to prove, that
2x3 + c3 + d3 ≥ 2x2 (c + d)
2x3 + c3 + d3 ≥ 2x3 + c3 = x3 + x3 + c3 ≥ 3x2 c. 3x2 c ≥ 2x2 (c + d) ⇔ 3c ≥ 2c + 2d ⇔ c ≥ 2d, but we
already have c ≥ 4d.
Also solved by Sardor Bozorboyev, Lyceum S.H.Sirojjidinov, Tashkent, Uzbekistan; Nicuşor Zlota, “Traian
Vuia” Technical College, Focşani, Romania; Arber Avdullahu, Mehmet Akif College, Kosovo; Adnan Ali,
Student in A.E.C.S-4, Mumbai, India.