Quadrilateral Inscribed In Semicircle A

Geometry Level 5

A quadrilateral is inscribed in a semicircle of diameter 105 105

The three shorter sides are of integer lengths in arithmetic progression.

What's the length of the shortest side?


The answer is 25.

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

David Vreken
Feb 24, 2020

Label the vertices A A , B B , C C , and D D so that A D = 105 AD = 105 and A B < B C < C D < A D AB < BC < CD < AD , and draw diagonals A C AC and B D BD . Since A B AB , B C BC , and C D CD are of integer lengths in an arithmetic progression, let A B = t k AB = t - k , B C = t BC = t , and C D = t + k CD = t + k , where t t and k k are positive integers. Also, since B C < A D BC < AD , that means t < 105 t < 105 .

By Thales's Theorem, A B D \triangle ABD is a right triangle, and by Pythagorean's Theorem B D = 10 5 2 ( t k ) 2 BD = \sqrt{105^2 - (t - k)^2} . Similarly, A C = 10 5 2 ( t + k ) 2 AC = \sqrt{105^2 - (t + k)^2} .

By Ptolemy's Theorem, A C B D = A B C D + B C A D AC \cdot BD = AB \cdot CD + BC \cdot AD , which after substitution becomes 10 5 2 ( t k ) 2 10 5 2 ( t + k ) 2 = ( t k ) ( t + k ) + 105 t \sqrt{105^2 - (t - k)^2} \cdot \sqrt{105^2 - (t + k)^2} = (t - k)(t + k) + 105t and simplifies to 2 k 2 = 2 t 3 + 315 t 2 1157625 t 105 = ( t + 105 ) 2 ( 2 t 105 ) t 105 = 2 t 2 + 525 t + 55125 + 4630500 t 105 2k^2 = \frac{2t^3 + 315t^2 - 1157625}{t - 105} = \frac{(t + 105)^2(2t - 105)}{t - 105} = 2t^2 + 525t + 55125 + \frac{4630500}{t - 105} .

Since A B = t k > 0 AB = t - k > 0 , that means t > k t > k and 2 t 2 > 2 k 2 2t^2 > 2k^2 . Therefore, 2 t 2 > 2 t 2 + 525 t + 55125 + 4630500 t 105 2t^2 > 2t^2 + 525t + 55125 + \frac{4630500}{t - 105} , and since t < 105 t < 105 , this solves to t > 2205 47 t > \sqrt{2205} \geq 47 .

Since 2 k 2 > 0 2k^2 > 0 , ( t + 105 ) 2 ( 2 t 105 ) t 105 > 0 \frac{(t + 105)^2(2t - 105)}{t - 105} > 0 , and since t < 105 t < 105 , this means that t < 105 2 52 t < \frac{105}{2} \leq 52 .

Since 2 k 2 2k^2 is an integer and 2 k 2 = 2 t 2 + 525 t + 55125 + 4630500 t 105 2k^2 = 2t^2 + 525t + 55125 + \frac{4630500}{t - 105} , t 105 t - 105 must divide evenly into 4630500 = 2 2 3 3 5 3 7 3 4630500 = 2^23^35^37^3 . Out of the integers in the range 47 t 52 47 \leq t \leq 52 , only t = 51 t = 51 gives a t 105 t - 105 value that divides evenly into 4630500 4630500 .

Therefore, t = 51 t = 51 , k = ( t + 105 ) 2 ( 2 t 105 ) 2 ( t 105 ) = ( 51 + 105 ) 2 ( 2 51 105 ) 2 ( 51 105 ) = 26 k = \sqrt{\frac{(t + 105)^2(2t - 105)}{2(t - 105)}} = \sqrt{\frac{(51 + 105)^2(2\cdot 51 - 105)}{2(51 - 105)}} = 26 , and A B = t k = 51 26 = 25 AB = t - k = 51 - 26 = \boxed{25} .

Only one point. Though it is evident, you should mention that t t is less than 105 105 in the step where you are showing that t 52 t\leq {52} . :)

A Former Brilliant Member - 1 year, 3 months ago

Log in to reply

I edited my solution. Thanks!

David Vreken - 1 year, 3 months ago

The above argument can be applied to show that for a general case of a diameter A D = d AD = d , if t t is an integer between d 5 < t < d 2 \frac{d}{\sqrt{5}} < t < \frac{d}{2} such that t x t - x divides evenly into 4 d 3 4d^3 and k 2 = ( t + d ) 2 ( 2 t d ) 2 ( t d ) k^2 = \frac{(t + d)^2(2t - d)}{2(t - d)} is a square integer, then A B = t k AB = t - k , B C = t BC = t , and C D = t + k CD = t + k are in an arithmetic progression.

The smallest diameter I could find (with the help of a computer program) that also fits the question's arithmetic progression criteria is A D = 30 AD = 30 , where A B = 3 AB = 3 , B C = 14 BC = 14 , and C D = 25 CD = 25 .

David Vreken - 1 year, 3 months ago
Chew-Seong Cheong
Feb 23, 2020

Since there is no other solution provided, I submit my numerical solution.

Let the three shorter side lengths of increasing length be a a , b b , and c c and the angles they extend at the center of the semicircle be α \alpha , β \beta , and γ \gamma respectively. Then we have a = 105 sin α 2 a = 105 \sin \frac \alpha 2 , b = 105 sin β 2 b = 105 \sin \frac \beta 2 , and c = 105 sin γ 2 c = 105 \sin \frac \gamma 2 . Since α 2 + β 2 + γ 2 = 9 0 \frac \alpha 2 + \frac \beta 2 + \frac \gamma 2 = 90^\circ , we have:

b = 105 sin β 2 = 105 sin ( 9 0 α 2 γ 2 ) = 105 cos ( α 2 + γ 2 ) = 105 cos ( sin 1 a 105 + sin 1 c 105 ) b = 105 \sin \frac \beta 2 = 105 \sin \left(90^\circ - \frac \alpha 2 - \frac \gamma 2\right) = 105 \cos \left(\frac \alpha 2 + \frac \gamma 2\right) = 105 \cos \left(\sin^{-1}\frac a{105} + \sin^{-1} \frac c{105} \right)

We can find b b from a a and c c . We just have to cast a large enough integral net of a a and c c to get the integral b b . I used the following Microsoft spreadsheet for the net.

From the spreadsheet there are three integral solutions

{ a = 21 b = 57 c = 75 a + c 2 b rejected a = 25 b = 51 c = 77 a + c = 2 b accepted a = 30 b = 55 c = 70 a + c 2 b rejected \begin{cases} a = 21 & b = 57 & c = 75 & \implies a + c \ne 2b & \red{\text{rejected}} \\ a = 25 & b = 51 & c = 77 & \implies a + c = 2b & \blue{\text{accepted}} \\ a = 30 & b = 55 & c = 70 & \implies a + c \ne 2b & \red{\text{rejected}} \end{cases}

Therefore the length of the shortest side is 25 \boxed{25} .

I did the same way, and got a relation between a a and c c as

a = 2 c 4 420 c 3 66150 c 2 + 4630500 c + 607753125 c ( 2 c + 105 ) 4 c + 525 a=\dfrac{2\sqrt {c^4-420c^3-66150c^2+4630500c+607753125}-c(2c+105)}{4c+525} and left after that.

Finding an integral value of c c to yield an integral value of a a can be done numerically. That's why I left the problem there.

A Former Brilliant Member - 1 year, 3 months ago

Part of your expression can be factorized, so that

a = 2 ( 105 + c ) ( 525 c ) ( 105 c ) c ( 2 c + 105 ) 4 c + 525 a = \dfrac{ 2(105 +c) \sqrt{ (525-c)(105-c) } -c(2c+105) }{4c + 525}

so there's very few c c to try out, once we have your relation. Similar relations can be found from the following which is true for cyclic quadrilaterals inscribed in a semicircle:

d 3 ( a 2 + b 2 + c 2 ) d 2 a b c = 0 d^3 - (a^2+b^2+c^2)d -2abc = 0

where d d is the longest side, or diameter. For example:

c = 1 d ( a b + ( d + a ) ( d a ) ( d + b ) ( d b ) ) c = \dfrac{1}{d} \left( -ab + \sqrt{ (d+a)(d-a)(d+b)(d-b) } \right)

so that, again, because 105 = 3 × 5 × 7 105 = 3 \times 5 \times 7 , there's not much to try out.

Michael Mendrin - 1 year, 3 months ago

Log in to reply

Even simpler:

From your expression of a a , a necessary condition is for the radical part to be a perfect square, ( 525 c ) ( 105 c ) = d 2 (525-c)(105-c) = d^2 for some integer d > 0 d> 0 . This is essentially a Pell's equation .

With a constraint of c < 105 c<105 , there are only 4 solutions, namely, c = 25 , 41 , 77 , 93 c = 25,41,77,93 . Trial and error shows that c = 77 c=77 is the only solution.

Pi Han Goh - 1 year, 3 months ago

Log in to reply

You are good. I still don't know Pell much.

Chew-Seong Cheong - 1 year, 3 months ago

Great! I should have better tried to factorize the discriminant. Thanks for pointing this out.

A Former Brilliant Member - 1 year, 3 months ago
Michael Mendrin
Feb 22, 2020

The sides are ( 25 , 51 , 77 , 105 ) (25, 51, 77, 105)

Well, sorry Professor Mendrin but i have to say i could not solve this without wolphram alpha after using Ptolemy (as David Vreken did) + sum of opposite angle doing 180° (as Mister Cheong did), the system of equation is too complicated.

Valentin Duringer - 1 year, 2 months ago

Use WolframAlpha

Diophantine asin(x/105)+asin((x+y)/105)+asin((x+2y)/105)=pi/2,

or Ptolemy’s theorem

Diophantine (105^2-x^2)[105^2-(x+2y)^2]=[x(x+2y)+105(x+y)]^2

Gives, x=25 and y=26.

Vinod Kumar - 1 year, 1 month ago

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...