Maths Olympiad Prep

Library / /61 of 61

Geometry Difficulty 7.8 National olympiad, round 2 Prove it Belarus

Given a convex 2n2n-gon HH with pairwise parallel opposite sides.

a) Prove that there exists a pair of the opposite sides of HH which possesses the following property: there exists a straight line that is perpendicular to these sides and intersects each of them.

b) Are there any values of nn such that for a convex 2n2n-gon there exist two pairs of its opposite sides for each of which the property described in a) holds?

Solution

b) there are no such nn.

a) A diagonal of the convex 2n2n-gon is said to be main if there are n1n-1 vertices of this polygon between the vertices connected by this diagonal. Suppose that there exist a convex 2n2n-gon A0A1...A2n1A_0A_1...A_{2n-1} such that its opposite sides are parallel (AiAi+1Ai+nAi+n+1A_iA_{i+1} \parallel A_{i+n}A_{i+n+1}, i=0,...,n1i = 0, ..., n-1, and A2n=AnA_{2n} = A_n) and there is no pair of the opposite sides possessing the property described by the problem condition (there exists a straight line that is perpendicular to these sides and intersects each of them). Consider some two opposite sides AiAi+1A_iA_{i+1} and Ai+nAi+n+1A_{i+n}A_{i+n+1} of such 2n2n-gon. Let OiO_i be the intersection point of the lines AiAi+nA_iA_{i+n} and Ai+1Ai+n+1A_{i+1}A_{i+n+1}. Consider the triangles OiAiAi+1O_iA_iA_{i+1} and OiAi+nAi+n+1O_iA_{i+n}A_{i+n+1} (see Fig. 1).

Figure 1
Fig. 1
Figure 2
Fig. 2

Since AiAi+1Ai+nAi+n+1A_iA_{i+1} \parallel A_{i+n}A_{i+n+1} we have OiAiAi+1=OiAi+nAi+n+1\angle O_iA_iA_{i+1} = \angle O_iA_{i+n}A_{i+n+1} and OiAi+nAi+n+1\angle O_iA_{i+n}A_{i+n+1} (let α=OiAi+nAi+1\alpha = \angle O_iA_{i+n}A_{i+1} and β=OiAi+n+1Ai+n\beta = \angle O_iA_{i+n+1}A_{i+n}). If at least one of these angles is not obtuse, then there exists a straight line ll that is perpendicular to the sides AiAi+1A_iA_{i+1}, Ai+nAi+n+1A_{i+n}A_{i+n+1} and intersects each of them. For example, the line passing through OiO_i perpendicular to the side AiAi+1A_iA_{i+1} can be considered as ll. Therefore either α\alpha or β\beta is greater than 9090^\circ.

Any diagonal starting from the vertex of the angle of the 2n2n-gon partitions this angle into two angles (we call that these two angles are adjacent to this diagonal). Construct all main diagonals of the 2n2n-gon and number (in clockwise direction) all adjacent angles with the numbers from 1 to 4n4n (see Fig. 2). By the above either angle 1 or angle 4n4n is obtuse. Let, without loss of generality, angle 1 is obtuse. Then angle 2 is acute (any inner angle of a convex polygon is less than 180180^\circ). From what has already been proved, it follows that angle 3 is obtuse, and so on. We see that all angles with odd numbers are obtuse, while all angles with even numbers are acute. So one of the adjacent angles is obtuse but the other is acute for any main diagonal. Consider the greatest of the main diagonals (one of them if there are more than one). Let AiAi+nA_iA_{i+n} be such diagonal (see Fig. 1) and let, without loss of generality, OiAiAi+1=OiAi+nAi+n+1>90\angle O_iA_iA_{i+1} = \angle O_iA_{i+n}A_{i+n+1} > 90^\circ. Since in which is impossible since the diagonal AiAi+nA_iA_{i+n} is the greatest one. This contradiction proves that any convex 2n2n-gon with pairwise parallel opposite sides has a pair of the opposite sides such that there exists a straight line that is perpendicular to these sides and intersects each of them.

b) Consider a regular 2n2n-gon SS with the vertices A0,A1,...,A2n1A_0, A_1, ..., A_{2n-1} (A2n=A0A_{2n} = A_0). We choose the vector v\vec{v} satisfying the relations (v,AiAi+1)90\angle(\vec{v}, A_iA_{i+1}) \neq 90^\circ for i{0,...,2n1}i \in \{0, ..., 2n-1\},

Figure 3
Fig. 3

and (v,A2n1Ai)<180/n|\angle(\vec{v}, A_{2n-1}A_i)| < 180^\circ/n, (here (v,v)\angle(\vec{v}, \vec{v}) is the angle between the vectors v\vec{v} and v\vec{v}). For any λ>0\lambda > 0 we denote by SλS_\lambda the convex polygon with the vertices A0λ,A1λ,...,A2n1λA_0^\lambda, A_1^\lambda, ..., A_{2n-1}^\lambda, where Aiλ=Ai+λvA_i^\lambda = A_i + \lambda\vec{v} for ii from 0 to n1n-1 (from the inequality (v,A2n1Ai)<180/n|\angle(\vec{v}, A_{2n-1}A_i)| < 180^\circ/n it follows that the polygon SλS_\lambda is convex). In the polygon SλS_\lambda for λ\lambda large enough there exists a unique pair (A2n1λ,An1λ)(A_{2n-1}^\lambda, A_{n-1}^\lambda) of the opposite sides such that there exists a straight line that is perpendicular to these sides and intersects each of them.

Want a route through all this instead of an archive? The track puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement and solution reproduced as published; topic and difficulty added by this site.