Maths Olympiad Prep

Library / Bulgarian Mathematical Competitions /36 of 92

Bulgarian Mathematical Competitions

Geometry Difficulty 5.6 AIME, harder Prove it Bulgaria

Problem:
Find the maximum possible value of the inradius of a triangle with vertices in the interior or on the boundary of a unit square.

Solution

Solution:
It is easy to see that if a triangle contains another triangle, then its inradius is greater than the inradius of the second one. So we may consider triangles with vertices on the boundary of the square. Moreover, we may assume that at least one vertex of the triangle is a vertex of the square and the other two vertices belong to the sides of the square containing not the first vertex. So we shall consider △OAB\triangle OAB such that O=(0,0)O=(0,0), A=(a,1)A=(a,1) and B=(1,b)B=(1,b), 0≤a,b≤10 \leq a, b \leq 1.

Consider also △OCD\triangle OCD, where C=(a+b,1)C=(a+b, 1) and D=(1,0)D=(1,0). Denote by SS and PP the area and perimeter of △OAB\triangle OAB, respectively. Set x=OA=1+a2x=OA=\sqrt{1+a^{2}}, y=AB=(1−a)2+(1−b)2y=AB=\sqrt{(1-a)^{2}+(1-b)^{2}}, z=OB=1+b2z=OB=\sqrt{1+b^{2}}, u=OC=1+(a+b)2u=OC=\sqrt{1+(a+b)^{2}} and v=CD=1+(1−a−b)2v=CD=\sqrt{1+(1-a-b)^{2}}. Note that OD=1OD=1, u≥z≥1u \geq z \geq 1, x≥1x \geq 1 and v≥1v \geq 1.

Comparing the perimeters of △OAB\triangle OAB and △OCD\triangle OCD gives
(u+v+1)−(x+y+z)=u2−x2u+x+v2−y2v+y+1−z21+z=2ab+b2u+x+2abv+y−b21+z≤2ab+b21+z+2abv+y−b21+z=2ab(1v+y+11+z)≤3ab≤(u+v+1)ab \begin{aligned} (u+v+1)-(x+y+z) & =\frac{u^{2}-x^{2}}{u+x}+\frac{v^{2}-y^{2}}{v+y}+\frac{1-z^{2}}{1+z} \\ & =\frac{2ab+b^{2}}{u+x}+\frac{2ab}{v+y}-\frac{b^{2}}{1+z} \\ & \leq \frac{2ab+b^{2}}{1+z}+\frac{2ab}{v+y}-\frac{b^{2}}{1+z} \\ & =2ab\left(\frac{1}{v+y}+\frac{1}{1+z}\right) \leq 3ab \leq (u+v+1)ab \end{aligned}
Hence
(u+v+1)(1−ab)≤x+y+z⟺1u+v+1≥1−abx+y+z=2SP=r (u+v+1)(1-ab) \leq x+y+z \Longleftrightarrow \frac{1}{u+v+1} \geq \frac{1-ab}{x+y+z}=\frac{2S}{P}=r
On the other hand,
u+v+1=1+(a+b)2+1+(1−a−b)2+1≥min⁡x≥1F(x) u+v+1=\sqrt{1+(a+b)^{2}}+\sqrt{1+(1-a-b)^{2}}+1 \geq \min_{x \geq 1} F(x)
where F(x)=1+x2+1+(1−x)2+1F(x)=\sqrt{1+x^{2}}+\sqrt{1+(1-x)^{2}}+1. Since min⁡x≥1F(x)=5+1\min_{x \geq 1} F(x)=\sqrt{5}+1, we get that r≤15+1=5−14r \leq \frac{1}{\sqrt{5}+1}=\frac{\sqrt{5}-1}{4}.

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

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.