Maths Olympiad Prep

Library / /43 of 104

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), 0a,b10 \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=(1a)2+(1b)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+(1ab)2v=CD=\sqrt{1+(1-a-b)^{2}}. Note that OD=1OD=1, uz1u \geq z \geq 1, x1x \geq 1 and v1v \geq 1.

Comparing the perimeters of OAB\triangle OAB and OCD\triangle OCD gives
(u+v+1)(x+y+z)=u2x2u+x+v2y2v+y+1z21+z=2ab+b2u+x+2abv+yb21+z2ab+b21+z+2abv+yb21+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)(1ab)x+y+z1u+v+11abx+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+(1ab)2+1minx1F(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+(1x)2+1F(x)=\sqrt{1+x^{2}}+\sqrt{1+(1-x)^{2}}+1. Since minx1F(x)=5+1\min_{x \geq 1} F(x)=\sqrt{5}+1, we get that r15+1=514r \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,000 problems in a working order, from AMC 10 level to the IMO shortlist.

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