Three Incircles and a Rectangle

Geometry Level 5

Rectangle A B C D ABCD has integer sides. E E is chosen on B C BC so that the incircles of A B E \triangle ABE and A F D \triangle AFD are congruent. A E AE is perpendicular to D F DF . If the radius of the incircle of the quadrilateral F E C D FECD is 3 4 \frac{3}{4} , what is the minimum area of the rectangle?


The answer is 15.

This section requires Javascript.
You are seeing this because something didn't load right. We suggest you, (a) try refreshing the page, (b) enabling javascript if it is disabled on your browser and, finally, (c) loading the non-javascript version of this page . We're sorry about the hassle.

3 solutions

Mark Hennings
Feb 15, 2021

Suppose that A D = a AD=a and A B = b AB=b , where a > b a > b are positive integers. Then A F = B E = a 2 b 2 AF=BE=\sqrt{a^2-b^2} , D F = D C = b DF=DC=b and F E = C E = a a 2 b 2 FE=CE=a-\sqrt{a^2-b^2} . Thus the quadrilateral C D F E CDFE has an incircle with radius r r , where 1 2 ( b + a a 2 b 2 ) r = 1 2 b ( a a 2 b 2 ) \tfrac12\big(b + a - \sqrt{a^2-b^2}\big)r \; = \; \tfrac12b\big(a-\sqrt{a^2-b^2}\big) Since r = 3 4 r=\tfrac34 we deduce that 3 ( a + b a 2 b 2 ) = 4 b ( a a 2 b 2 ) ( 4 b 3 ) a 2 b 2 = 4 a b 3 a 3 b ( 4 b 3 ) 2 ( a 2 b 2 ) = ( 4 a b 3 a 3 b ) 2 8 b 3 12 b 2 12 a b + 9 a + 9 b = 0 \begin{aligned} 3\big(a + b - \sqrt{a^2-b^2}\big) & = \; 4b\big(a - \sqrt{a^2-b^2}\big) \\ (4b-3)\sqrt{a^2-b^2} & = \; 4ab - 3a-3b \\ (4b-3)^2(a^2-b^2) & = \; (4ab - 3a - 3b)^2 \\ 8b^3 - 12b^2 -12ab + 9a+9b & = \; 0 \end{aligned} From this it follows that b = 3 c b = 3c is divisible by 3 3 , and hence that 0 = 24 c 3 12 c 2 4 a c + 3 c + a a = 24 c 3 12 c 2 + 3 c 4 c 1 = 6 c 2 3 c ( 2 c 1 ) 4 c 1 \begin{aligned}0 & = \; 24c^3 - 12c^2 - 4ac + 3c + a \\ a & = \; \frac{24c^3 - 12c^2 + 3c}{4c-1} \; = \; 6c^2 - \frac{3c(2c-1)}{4c-1} \end{aligned} and hence 4 c 1 4c-1 must divide 3 c ( 2 c 1 ) 3c(2c-1) . SInce 4 × c ( 4 c 1 ) = 1 4 \times c - (4c-1) = 1 , c c and 4 c 1 4c-1 are coprime. Since ( 4 c 1 ) 2 ( 2 c 1 ) = 1 (4c-1) - 2(2c-1) = 1 , 2 c 1 2c-1 and 4 c 1 4c-1 are coprime. Thus we deduce that 4 c 1 4c-1 must divide 3 3 , and hence that c = 1 c=1 .

Thus the only solution is given by a = 5 a=5 , b = 3 b=3 , and so the area of the rectangle is 15 \boxed{15} .

Chew-Seong Cheong
Feb 13, 2021

Let A B = C D = a AB=CD=a and B C = D A = b BC=DA=b . We note that A D F \triangle ADF and A B E \triangle ABE are congruent. Let the center of the incircle of F E C D FECD be O O , O G = 3 4 OG=\frac 34 and O H = 3 4 OH=\frac 34 be perpendicular to C D CD and B C BC respectively, and C D F = D A F = A E B = θ \angle CDF = \angle DAF = \angle AEB = \theta . Then we have:

C D = D G + G C a = 3 4 cot θ 2 + 3 4 Let t = tan θ 2 a = 3 4 ( 1 t + 1 ) t = 3 4 a 3 \begin{aligned} CD & = DG + GC \\ a & = \frac 34 \cot \frac \theta 2 + \frac 34 & \small \blue{\text{Let }t = \tan \frac \theta 2} \\ a & = \frac 34 \left(\frac 1t + 1\right) \\ \implies t & = \frac 3{4a-3} \end{aligned}

From the congruent triangles,

b = a csc θ = a 1 + t 2 2 t = a ( 1 t + t ) = a 2 ( 4 a 3 3 + 3 4 a 3 ) 6 b = 4 a 2 3 a + 9 a 4 a 3 \begin{aligned} b & = a \csc \theta = a \cdot \frac {1+t^2}{2t} \\ & = a \left(\frac 1t + t \right) = \frac a2 \left(\frac {4a-3}3 + \frac 3{4a-3} \right) \\ \implies 6b & = 4a^2 - 3a + \frac {9a}{4a-3} \end{aligned}

Putting in integer values for a a it is found that the smallest integer solution is when a = 3 a=3 , then b = 5 b=5 and the area of the rectangle is a b = 15 ab = \boxed {15} .

A technicality, but I believe that to show that 6 b 6b is an integer you also need to show that 9 4 a 3 \cfrac{9}{4a - 3} is also not a factor of 1 a \cfrac{1}{a}

David Vreken - 3 months, 4 weeks ago

Log in to reply

You are right.

Chew-Seong Cheong - 3 months, 3 weeks ago

b b only increases with a a when b > 1.243 b > 1.243 .

You could split up 9 a 4 a 3 \cfrac{9a}{4a - 3} to 9 4 + 27 4 ( 4 a 3 ) \cfrac{9}{4} + \cfrac{27}{4(4a - 3)} , so that 6 b = 4 a 2 3 a + 9 a 4 a 3 6b = 4a^2 - 3a + \cfrac{9a}{4a - 3} becomes 24 b = 16 a 2 12 a + 9 + 27 4 a 3 24b = 16a^2 - 12a + 9 + \cfrac{27}{4a - 3} . Then from there you just need to test factors of 27 27 .

David Vreken - 3 months, 3 weeks ago

Log in to reply

Thanks. I did not actually check.

Chew-Seong Cheong - 3 months, 3 weeks ago
David Vreken
Feb 15, 2021

Since A B E D F A \triangle ABE \sim \triangle DFA by AA similarity, and their incircles are congruent, A B E D F A \triangle ABE \cong \triangle DFA .

Let a = A F = B E a = AF = BE , b = F D = A B b = FD = AB , and c = A D = A E c = AD = AE , and extend D C DC and A E AE to meet at G G :

Then G F D D F A \triangle GFD \sim \triangle DFA by AA similarity, G F = F D F D A F = b b a = b 2 a GF = FD \cdot \cfrac{FD}{AF} = b \cdot \cfrac{b}{a} = \cfrac{b^2}{a} and G D = F D A D F D = b c a = b c a GD = FD \cdot \cfrac{AD}{FD} = b \cdot \cfrac{c}{a} = \cfrac{bc}{a} .

The inradius r r of right G F D \triangle GFD is r = 1 2 ( F D + G F G D ) = 1 2 ( b + b 2 a b c a ) = 3 4 r = \cfrac{1}{2}(FD + GF - GD) = \cfrac{1}{2}\bigg(b + \cfrac{b^2}{a} - \cfrac{bc}{a}\bigg) = \cfrac{3}{4} .

By the Pythagorean Theorem, a = c 2 b 2 a = \sqrt{c^2 - b^2} , and substituting this into 1 2 ( b + b 2 a b c a ) = 3 4 \cfrac{1}{2}\bigg(b + \cfrac{b^2}{a} - \cfrac{bc}{a}\bigg) = \cfrac{3}{4} and rearranging gives ( 4 b 3 ) ( 24 c 16 b 2 + 12 b 9 ) = 27 (4b - 3)(24c - 16b^2 + 12b - 9) = 27 .

Since rectangle A B C D ABCD has integer sides, b b and c c must be positive integers, which means 4 b 3 4b - 3 is a positive integer, and from the equation above, 4 b 3 4b - 3 must also be a factor of 27 27 , so either 4 b 3 = 1 4b - 3 = 1 , 4 b 3 = 3 4b - 3 = 3 , 4 b 3 = 9 4b - 3 = 9 , or 4 b 3 = 27 4b - 3 = 27 .

If 4 b 3 = 1 4b - 3 = 1 , then b = 1 b = 1 , but c = 5 3 c = \cfrac{5}{3} , a non-integer.

If 4 b 3 = 3 4b - 3 = 3 , then b = 3 2 b = \cfrac{3}{2} , a non-integer.

If 4 b 3 = 27 4b - 3 = 27 , then b = 15 2 b = \cfrac{15}{2} , a non-integer.

If 4 b 3 = 9 4b - 3 = 9 , then b = 3 b = 3 and c = 5 c = 5 , both integers.

Therefore, b = 3 b = 3 , c = 5 c = 5 , and the area of rectangle A B C D ABCD is 15 \boxed{15} .

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...