Perfect Square AP Ratio

Over all triplets of positive integers 0 < a < b < c 0 < a < b < c such that a 2 , b 2 , c 2 a^2 , b^2, c^2 form an arithmetic progression , what is the supremum value of b a c b ? \dfrac{b-a}{c-b} ?


The answer is 2.414.

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.

1 solution

Shaun Leong
Oct 23, 2016

a 2 + c 2 = 2 b 2 a^2+c^2=2b^2 ( a b ) 2 + ( c b ) 2 = 2 \left(\frac{a}{b}\right)^2+\left(\frac{c}{b}\right)^2=2 Let a b = x \frac{a}{b}=x and c b = y \frac{c}{b}=y .

Given that x 2 + y 2 = 2 x^2+y^2=2 , we want to maximise b a c b \frac{b-a}{c-b} = b 2 a 2 c 2 b 2 × c + b a + b =\frac{b^2-a^2}{c^2-b^2} \times \frac{c+b}{a+b} = c + b a + b =\frac{c+b}{a+b} = y + 1 x + 1 =\frac{y+1}{x+1}

Since x x and y y are both positive, the supremum value is 2 + 1 0 + 1 \frac{\sqrt2+1}{0+1} 2.414 \approx 2.414 achieved when a b 0 \frac{a}{b} \rightarrow 0 and c b 2 \frac{c}{b} \rightarrow \sqrt2 . For example, we can let a a be small and c b \frac{c}{b} be a convergent of the continued fraction of 2 \sqrt2 .

We might as well assume that a , b , c a,b,c are pairwise coprime, since any common factor cancels out when evaluating b a c b \frac{b-a}{c-b} . Since a 2 + c 2 = 2 b 2 a^2 + c^2 = 2b^2 , both a a and c c must be odd, and so we can write a = u v a = u-v , c = u + v c = u+v where u , v u,v are coprime positive integers with v < u v < u , in which case u 2 + v 2 = b 2 u^2 + v^2 = b^2 . There are now two cases:

  • We can write u = m 2 n 2 u = m^2 - n^2 , v = 2 m n v = 2mn , b = m 2 + n 2 b = m^2 + n^2 , which makes b a c b = m + n m n = 1 + 2 ( m n 1 ) 1 \frac{b-a}{c-b} = \frac{m+n}{m-n} = 1 + 2\big(\tfrac{m}{n} - 1\big)^{-1} . Since we must have u > v u > v , we must have m 2 2 m n n 2 > 0 m^2 -2mn - n^2 > 0 , and hence m n > 1 + 2 \tfrac{m}{n} > 1 + \sqrt{2} . Thus b a c b < 1 + 2 \frac{b-a}{c-b} < 1 + \sqrt{2} , and we can approach 1 + 2 1 + \sqrt{2} as closely as we like by choosing m , n m,n so that m n \tfrac{m}{n} is a close to 1 + 2 1 + \sqrt{2} as we like from above.

  • We can write u = 2 m n u = 2mn , v = m 2 n 2 v = m^2 - n^2 , b = m 2 + n 2 b = m^2 + n^2 , which makes b a c b = m n \frac{b-a}{c-b} = \frac{m}{n} . .Since we must have u > v u > v , we must have n 2 2 m n m 2 > 0 n^2 - 2mn - m^2 > 0 , so that m n < 1 + 2 \tfrac{m}{n} < 1 + \sqrt{2} . Thus b a c b < 1 + 2 \frac{b-a}{c-b} < 1 + \sqrt{2} , and we can again get as close to 1 + 2 1 + \sqrt{2} as we like by letting m n \tfrac{m}{n} get as close to 1 + 2 1 + \sqrt{2} as we like from underneath.

Mark Hennings - 4 years, 7 months ago

Nice problem Calvin, I missed 2root2 and therefore missed by like millionth

Alex Fullbuster - 2 years, 1 month ago

Very nicely done!

For completeness, we should explain how to acheive a 0 , c 2 b a \rightarrow 0, c \rightarrow \sqrt{2} b . In fact, that stictly speaking cannot be done as a a is a positive integer. Actually, what we want is x = a b 0 , y = c b 2 x = \frac{a}{b} \rightarrow 0 , y = \frac{ c}{ b} \rightarrow \sqrt{2} .

Calvin Lin Staff - 4 years, 7 months ago

Log in to reply

Thanks, it has been edited.

Shaun Leong - 4 years, 7 months ago

Log in to reply

Can you still add an explanation of why this can be achieved? Thanks!

Calvin Lin Staff - 4 years, 7 months ago

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...