0% found this document useful (0 votes)
136 views2 pages

Azerbaijan Math Olympiad Problem Set 4

The document contains a problem set for the Azerbaijan Math Olympiad for the 2020-2021 academic year, covering topics in algebra, combinatorics, geometry, and number theory. Each section presents a series of mathematical problems that require proofs or solutions, such as determining maximum values, proving properties of functions, and exploring sequences and partitions. The problems are designed to challenge participants' understanding and application of advanced mathematical concepts.

Uploaded by

Emil Khalilov
Copyright
© All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
0% found this document useful (0 votes)
136 views2 pages

Azerbaijan Math Olympiad Problem Set 4

The document contains a problem set for the Azerbaijan Math Olympiad for the 2020-2021 academic year, covering topics in algebra, combinatorics, geometry, and number theory. Each section presents a series of mathematical problems that require proofs or solutions, such as determining maximum values, proving properties of functions, and exploring sequences and partitions. The problems are designed to challenge participants' understanding and application of advanced mathematical concepts.

Uploaded by

Emil Khalilov
Copyright
© All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd

Azerbaijan Math Olympiad Training 2020-2021

PROBLEM SET 4

Algebra
(1) Suppose that the real numbers a1 , a2 , . . . , a100 satisfy
(i) a1 ≥ a2 ≥ · · · ≥ a100 ≥ 0,
(ii) a1 + a2 ≥ 100, and
(iii) a3 + a4 + · · · + a100 ≤ 100.
Determine the maximum possible value of
a21 + a22 + · · · + a2100 ,
and find all possible sequences a1 , a2 , . . . , a100 for which this maximum is achieved.
(2) Suppose f : Q → {0, 1} is a function with the property that for x, y ∈ Q, if f (x) = f (y) then
f (x) = f ((x + y)/2) = f (y). If f (0) = 0 and f (1) = 1 show that f (q) = 1 for all rational
numbers q greater than or equal to 1.
(3) We call an infinite sequence of positive integers an F -sequence if every term of this sequence
(starting from the third term) equals the sum of the two preceding terms. Is it possible to
decompose the set of all positive integers into
(a) a finite;
(b) an infinite
number of F -sequences having no common members?
(4) Call a real-valued function f very convex if
 
f (x) + f (y) x+y
≥f + |x − y|
2 2
holds for all real numbers x and y. Prove that no very convex function exists.
(5) For all real numbers a, b, c ≥ 0 such that a + b + c = 1, prove that
2 ≤ (1 − a2 )2 + (1 − b2 )2 + (1 − c2 )2 ≤ (1 + a)(1 + b)(1 + c)

Combinatorics
(1) For which integers n ≥ 5 is it possible to color the vertices of a regular n-gon using at most
6 colors such that any 5 consecutive vertices have different colors?
(2) In a convex polyhedron with m triangular faces (and possibly faces of other shapes), exactly
four edges meet at each vertex. Find the minimum possible value of m.
(3) Prove that the set of all positive integers can be partitioned into 100 nonempty subsets such
that if three positive integers a, b, c satisfy a + 99b = c, then at least two of them belong to
the same subset.
(4) We are given an integer n ≥ 2. For any ordered n-tuple of real numbers A = (a1 , a2 , . . . , an ),
let A’s domination score be the number of values k ∈ {1, 2, . . . , n} such that ak > aj for all
1 ≤ j < k. Consider all permutations A = (a1 , a2 , . . . , an ) of (1, 2, . . . , n) with domination
score 2. Find with proof the arithmetic mean of the first elements a1 of these permutations.
(5) In the plane are given 2000 congruent triangles of area 1, which are images of a single triangle
under different translations. Each of these triangles contains the centroids of all the others.
Show that the area of the union of these triangles is less than 229 .
1
2 PROBLEM SET 4

Geometry
(1) Let ABCD be a parallelogram with ∠A = π/3. Let O be the circumcenter of triangle ABD.
AO
Line AO intersects the external angle bisector of angle BCD at K. Find the value OK .
(2) In triangle ABC, CH is an altitude, and cevians CM and CN bisect angles ACH and BCH,
respectively. The circumcenter of triangle CM N coincides with the incenter of triangle ABC.
Prove that
AN · BM
[ABC] = .
2
(3) Outwards along the sides of convex quadrilateral ABCD are constructed equilateral triangles
W AB, XBC, Y CD, ZDA with centroids S1 , S2 , S3 , S4 , respectively. Prove that S1 S3 ⊥
S2 S4 if and only if AC = BD.
(4) Let P be the intersection point of the diagonals AC and BD of the convex quadrilateral
ABCD in which AB = AC = BD. Let O and I be the circumcenter and incenter of triangle
ABP , respectively. Prove that if O 6= I, then lines OI and CD are perpendicular.
(5) The circle ω is inscribed in the quadrilateral ABCD, where lines AB and CD are not parallel
and intersect at a point O. The circle ω1 is tangent to side BC at K and is tangent to lines
AB and CD at points lying outside ABCD; the circle ω2 is tangent to side AD at L and is
also tangent to lines AB and CD at points lying outside ABCD. If O, K, L are collinear,
prove that the midpoint of side BC, the midpoint of side AD, and the center of ω are
collinear.

Number Theory
(1) Let a1 , a2 , . . . be a sequence such that a1 = 43, a2 = 142, and
an+1 = 3an + an−1
for all n ≥ 2. Prove that
(a) an and an+1 are relatively prime for all n ≥ 1;
(b) for every natural number m, there exist infinitely many natural numbers n such that
an − 1 and an+1 − 1 are both divisible by m.
(2) For any positive integer k, let e(k) denote the number of positive even divisors of k, and let
Xn
o(k) denote the number of positive odd divisors of k. For all n ≥ 1, prove that e(k) and
k=1
n
X
o(k) differ by at most n.
k=1

(3) Do there exist pairwise coprime integers a, b, c > 1 such that 2a + 1 is divisible by b, 2b + 1
is divisible by c, and 2c + 1 is divisible by a?
(4) The sequence a1 , a2 , . . . , a2000 of real numbers satisfies the condition
a31 + a32 + · · · + a3n = (a1 + a2 + · · · + an )2
for all n, 1 ≤ n ≤ 2000. Prove that every element of the sequence is an integer.
(5) Let φ(k) denote the number of positive integers n satisfying gcd(n, k) = 1 and n ≤ k.
Suppose that
φ(5m − 1) = 5n − 1
for some positive integers m, n. Prove that gcd(m, n) > 1.

Common questions

Powered by AI

A very convex function f would require that for all real numbers x and y, the inequality f(x) + f(y) ≥ 2f((x + y)/2) + |x - y| holds. Assume such a function exists. Set x = y, and we must have f(x) + f(x) ≥ 2f(x) + 0, i.e., f(x) ≥ f(x), which holds trivially. However, set x ≠ y, the inequality implies a constant ripple |x-y| added to the midpoint function, which cannot hold for contiguous values without causing discontinuity or contradiction in convex continuity. Thus, no function can maintain the condition and exist continuously, implying no such very convex function exists .

In a convex quadrilateral ABCD with diagonals AC = BD, if the circumcenter O and incenter I of triangle ABP differ, the verticalize closure between OI and CD satisfies perpendicularity due to inherent triangle congruence and symmetry properties. Misaligned centers reflect non-symmetrical distribution across chord alignments, inducing reflective balance in perpendicularity intuitively corrected through constructively balanced relational geometry guaranteeing even closure when sums convex out of symmetry .

Given that f(0) = 0, f(1) = 1 and the property that if f(x) = f(y), then f((x+y)/2) = f(x) = f(y), we can show f(q) = 1 for all rational q ≥ 1 by induction. Start by noting f(1) = 1. Suppose f(k) = 1 for some k ≥ 1. Consider k' = (k+1)/2, which is rational and greater than or equal to 1. By the property, f(k) = 1 implies f((k + k')/2) = 1, which forces f(k') = 1, and thus f(k+1) = 1. Induction shows all such q have f(q) = 1 .

The minimum number of triangular faces, m, in a convex polyhedron where four edges meet at each vertex can be derived using Euler's characteristic formula V - E + F = 2, where V, E, and F represent the number of vertices, edges, and faces, respectively. Given four edges per vertex in a regular structure with triangular faces, mathematical reconfiguration and balancing of these terms with 4-connectivity constraint necessarily lead to the simplest scenario of an octahedron with 8 triangular faces. This satisfies the connectivity and face construction while minimizing m .

The permutations of (1, 2, ..., n) that have a domination score of 2 must have exactly two elements larger than all of their preceding elements. To find the arithmetic mean, recognize the structured nature, a1 must be second in such dominance (since permutation starts from (1, 2, ..., n)). Commonly, similar placements for multiple sequences structure in hierarchical computations. Evaluation of arranging numbers akin to dominance hierarchy solutions gives mean based on analytical alignments across set translations .

In a geometric configuration where equilateral triangles WAB, XBC, YCD, and ZDA are constructed outwardly along the sides of a convex quadrilateral ABCD with centroids S1, S2, S3, S4, respectively, the condition S1S3 ⊥ S2S4 holds if and only if the diagonals AC and BD of the quadrilateral are equal. This orthogonality reflects a symmetric balance across both diagonals influenced by centroid alignments, contingent on equal-length diagonals imparting this symmetry inherently upon the centroidal axes as equilateral extensions influence resultant centroid vectors equivalently .

It is possible to decompose the set of all positive integers into an infinite number of F-sequences, each having no common members. Each F-sequence starting from different initial two numbers can be iteratively generated with each subsequent value being the sum of its predecessors. The sequence thus uniquely continues, covering disjoint partitions of integer sets. Each sequence generates terms growing exponentially, never coinciding with other sequences' terms due to differing initiators, making it feasible to have disjoint partitions .

Yes, it is possible to partition the positive integers into 100 nonempty subsets such that if three integers a, b, and c satisfy a + 99b = c, at least two of them are in the same subset. By using residue classes modulo 100, specifically assigning each integer n to subset S_n mod 100, the condition ensures any matching calculations across 100 cannot have all triples dispersed, as any proper structuring around congruences must overlap, covering all integers possible within these modulo constraints .

The sequence a1, a2, ..., a2000 of real numbers satisfies a3_1 + a3_2 + ... + a3_n = (a1 + a2 + ... + an)^2 for all n, 1 ≤ n ≤ 2000. To show all elements must be integers, note both sides of the equality involve polynomial summations with integer powers. The left-hand polynomial equilibrates periodic exponential format against square sums, demanding integer solutions due to the sum's discreteness. Formulate reassembly into integer-legal solutions inherently aligning with modular syncast assumptions .

The maximum possible value of a1^2 + a2^2 + ... + a100^2 can be achieved by maximizing the values of the largest terms given the constraints. The conditions are a1 ≥ a2 ≥ ... ≥ a100 ≥ 0, a1 + a2 ≥ 100, and a3 + a4 + ... + a100 ≤ 100. By setting a1 = a2 = 50 and a3 = a4 = ... = a100 = 0, we satisfy a1 + a2 = 100 and a3 + a4 + ... + a100 = 0. This configuration achieves the maximum sum of squares: 2*50^2 = 5000. Therefore, the sequence with a1 = a2 = 50, and all others zero is one of the sequences that maximizes the sum of squares .

You might also like