Samir's Cubic Roots

Algebra Level 5

Suppose a a and b b are positive integers satisfying 1 a 31 1 \leq a \leq 31 , 1 b 31 1 \leq b \leq 31 such that the polynomial P ( x ) = x 3 a x 2 + a 2 b 3 x + 9 a 2 b 2 P(x)=x^3-ax^2+a^2b^3x+9a^2b^2 has roots r r , s s , and t t .

Given that there exists a positive integer k k such that ( r + s ) ( s + t ) ( r + t ) = k 2 (r+s)(s+t)(r+t)=k^2 , compute the maximum possible value of a b ab .

This problem is posed by Samir K .


The answer is 775.

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.

11 solutions

지한 정
May 20, 2014

r + s + t = a r+s+t=a (By the Vieta's formula )

( r + s ) ( s + t ) ( r + t ) = ( a r ) ( a s ) ( a t ) (r+s)(s+t)(r+t)=(a-r)(a-s)(a-t)

P ( x ) P(x) has roots r , s , r, s, and t t

P ( a x ) \implies P(a-x) has roots a r , a s a-r, a-s and a t a-t

Let P ( a x ) = c 3 x 3 + c 2 x 2 + c 1 x 1 + c 0 P(a-x)=c_3 x^3 + c_2 x^2 + c_1 x^1 + c_0 . By the Vieta's formula , ( a r ) ( a s ) ( a t ) = c 3 / c 0 (a-r)(a-s)(a-t)=- c_3 / c_0 , so we only need to calculate c 3 c_3 and c 0 c_0 .

Because the coefficient of x 3 x^3 in P ( x ) P(x) is 1 , c 3 = 1 1, c_3 = -1

c 0 = P ( a 0 ) = P ( a ) = a 3 b 2 9 a 2 b 2 c_0 = P(a-0) = P(a) = - a^3 b^2 - 9 a^2 b^2

Therefore ( r + s ) ( s + t ) ( r + t ) = ( a r ) ( a s ) ( a t ) = c 3 / c 0 = a 3 b 2 + 9 a 2 b 2 = a 2 b 2 ( a b + 9 ) = k 2 (r+s)(s+t)(r+t)=(a-r)(a-s)(a-t)=- c_3 / c_0 = a^3 b^2 + 9 a^2 b^2 = a^2 b^2 ( ab + 9 ) = k^2

a a and b b are positive integers, so a b + 9 ab+9 is also a square of a positive integer. Let a b + 9 = l 2 ab+9=l^2 . Then a b = ( l + 3 ) ( l 3 ) ab=(l+3)(l-3) . we can easily find that ( a , b ) = ( 31 , 25 ) (a, b)=(31, 25) can be a solution of the equation. In this case, l = 28 l=28 .

If l > 28 l>28 , we can show that there is no solution of a b + 9 = l 2 ab+9=l^2 in the range(If l = 29 , 30 l=29, 30 or 31 31 , use direct computation. If l 32 , a b > 31 31 l \geq 32, ab>31 \cdot 31 so there is no solution).

Therefore, The possible maximum value of a b ab is 31 × 25 = 775 31\times 25 = 775 .

This is a very well written solution. Instead of using Vieta's formula for P ( a x ) , P(a-x), some correct solutions used symmetric algebraic identities.

The most common small mistake was to assume, explicitly or implicitly, that a b = ( l + 3 ) ( l 3 ) ab=(l+3)(l-3) implies that the factors ( a , b ) (a,b) are, in some order, ( l + 3 , l 3 ) (l+3, l-3) .

Calvin Lin Staff - 7 years ago

Using Vièt theorem, we get: { r + s + t = a r s + s t + r t = a 2 b 3 r s t = 9 a 2 b 2 \left\{\begin{array}{l}r+s+t=a\\rs+st+rt=a^2b^3\\rst=-9a^2b^2\end{array}\right. .

Hence, k 2 = ( r + s ) ( s + t ) ( r + t ) = ( r + s + t ) ( r s + s t + r t ) r s t k^2=(r+s)(s+t)(r+t)=(r+s+t)(rs+st+rt)-rst = a 3 b 3 + 9 a 2 b 2 = a 2 b 2 ( a b + 9 ) . =a^3b^3+9a^2b^2=a^2b^2(ab+9).

This implies to a b + 9 ab+9 is a perfect square, put: a b + 9 = n 2 ab+9=n^2 .

Since 1 a 31 ; 1 b 31 1\le a\le 31;1\le b\le 31 , n 2 = a b + 9 970 n 31 n^2=ab+9\le 970 \Rightarrow n\le31 .

If n = 31 n=31 , a b = n 2 9 = 952 ab=n^2-9=952 , there are not exist numbers a , b a,b such that.

If n = 30 n=30 , a b = n 2 9 = 891 ab=n^2-9=891 , there are not exist numbers a , b a,b such that.

If n = 29 n=29 , a b = n 2 9 = 832 ab=n^2-9=832 , there are not exist numbers a , b a,b such that.

If n = 28 n=28 , a b = n 2 9 = 775 ab=n^2-9=775 , we can choose: a = 25 , b = 31 a=25,b=31 .

So, the maximum possible value of a b ab is 775 775 .

possibly feature, correcting the spelling of Vi\'ete

Calvin Lin Staff - 7 years ago
Yong See Foo
May 20, 2014

We know that r + s + t = a r+s+t=a , so ( r + s ) ( s + t ) ( r + t ) = ( a r ) ( a s ) ( a t ) = P ( a ) (r+s)(s+t)(r+t)=(a-r)(a-s)(a-t)=P(a) since P ( a ) P(a) is monic, P ( a ) = a 3 a 3 + a 3 b 3 + 9 a 2 b 2 = a 2 b 2 ( a b + 9 ) = k 2 P(a)=a^3-a^3+a^3b^3+9a^2b^2=a^2b^2(ab+9)=k^2 which means that a b + 9 ab+9 is a perfect square, a b = c 2 9 ab=c^2-9 for positive integer c c . Since a , b a,b have a upper bound of 31, we try c = 31 , 30 , 29 c=31, 30, 29 \ldots , since 3 2 2 9 > 3 1 2 32^2-9>31^2 . Without loss of generality, let a b a \geq b . If we choose the divisor d c 2 9 d \geq \sqrt{c^2-9} of c 2 9 c^2-9 that is closest to c 2 9 \sqrt{c^2-9} . If d > 31 d>31 , obviously there are no solutions since 31 a c 2 9 31\geq a \geq \sqrt{c^2-9} . For c = 31 , d = 34 c=31, d=34 . For c = 30 , d = 33 c=30, d=33 . For c = 29 , d = 32 c=29, d=32 . For c = 28 , d = 31 c=28, d=31 . Therefore a = 31 , b = 25 , a b = 775 a=31, b=25, ab=775 .

Pebrudal Zanu
May 20, 2014

Change (r+s)(s+t)(t+r)=k^2 as (a-r)(a-t)(a-s)=k^2 From polinomial we get: r+s+t=a ...(1) rs+st+rs=a^2b^2 ...(2) rst=9a^2b^3 ...(3) from 1,2,3 and also we get (a-r)(a-t)(a-s)=(ab)^2(ab+9)=k^2 ab+9 must be quadratic number... Now suppose that ab+9=l^2 now we strart from l=31 because 0<=a,b<=31. for l=31, there is not a,b for l=30, there is not a,b for l=29, there is not a,b and for l=28, there is a,b=25,31. If l maximum value then ab maximum value... and we get 775

Li-Jen Chu
May 20, 2014

( r + s ) ( s + t ) ( r + t ) = ( a r ) ( a s ) ( a t ) = P ( a ) (r+s)(s+t)(r+t) = (a-r)(a-s)(a-t) = P(a)

P ( a ) = a 3 a 3 + a 3 b 3 + 9 a 2 b 2 = a 2 b 2 ( 9 + a b ) = k 2 P(a)=a^3-a^3+a^3b^3+9a^2b^2 = a^2b^2(9+ab) = k^2

thus 9 + a b 9+ab is a perfect square

9 + a b = n 2 9 + ab = n^2

a b = ( n + 3 ) ( n 3 ) ab = (n+3)(n-3)

n = 28 n=28 works, n = 29 31 n=29~31 doesn't.

" n = 28 n=28 works, n = 29 31 n=29~31 doesn't." Why not n>31? Brevity is commendable though

Calvin Lin Staff - 7 years ago
Gabriel Wong
May 20, 2014

We have:

r+s+t = a

rs + sr + rt = (a^2)(b^3)

rst = -9(a^2)(b^2)

(r+s)(s+t)(r+t) = (rs + st + rt)(r+s+t) - rst

k^2 = (a^3)(b^3) + 9a^2b^2

Let k = (ab)(m)

m^2 = ab + 9

(m-3)(m+3) = ab

Observe that m < 32 since 32^2 - 3 > 961

m = 31: (28)(34) = ab

  • Solutions for a and b cannot be found as 34 is a multiple of 17; the only multiple of 17 in (1,31) is 17, and (28)(34)/17 = 56 > 31

m = 30: (27)(33) = ab

  • Again no solutions; the only primes in (27)(33) are 3 and 11; if a is a multiple of 11 it cant also be a multiple of 3, and (27)(33)/11 = 81 > 31

m = 29: (26)(32) = ab

  • No solutions; only prime factors are 2 and 13; if a is a multiple of 13 it cannot be a multiple of 4; (26)(32)/26 = 32 > 31

m = 28: a = 31, b = 25 is a solution, giving us ab = 775

interestingly, it is easily provable that r,s,t cannot be simultaneously real:

r^2 + s^2 + t^2 + 2rs + 2st + 2rt = a^2

r^2 + s^2 + t^2 - rs - st - rt = 1/2 { (r-s)^2 + (r-t)^2 + (s-t)^2 }, implying

r^2 + s^2 + t^2 >= rs + st + rt

a^2 = r^2 + s^2 + t^2 + 2rs + 2st + 2rt >= 3rs + 3 st + 3rt = 3a^2b^3

a^2 >= 3a^2b^3

1 >= 3b^3; since b is a positive integer, contradiction.

Puresky Walker
May 20, 2014

Because P ( x ) = x 3 a x 2 + a 2 b 3 x + 9 a 2 b 2 P(x)=x^3 - a x^2 + a^2 b^3 x + 9 a^2 b^2 , then r + s + t = a r+s+t=a .

Hence, ( r + s ) ( s + t ) ( r + t ) = ( a t ) ( a r ) ( a s ) (r+s)(s+t)(r+t) = (a-t)(a-r)(a-s) .

Meanwhile, P ( x ) P(x) can be wrote as P ( x ) = ( x t ) ( x r ) ( x s ) P(x)= (x-t)(x-r)(x-s) .

Substituting x x with a a , now P ( a ) = ( a t ) ( a r ) ( a s ) P(a)= (a-t)(a-r)(a-s) .

Because ( r + s ) ( s + t ) ( r + t ) = k 2 (r+s)(s+t)(r+t) = k^2 , then P ( a ) = k 2 P(a)=k^2 , which means a 3 a a 2 + a 2 b 3 a + 9 a 2 b 2 = k 2 a^3 - a\cdot a^2 + a^2 b^3\cdot a + 9 a^2 b^2= k^2 .

Thus we get a 2 b 2 ( a b + 9 ) = k 2 a^2 b^2 (ab + 9)= k^2 .

a a , b b , k k are positive integers, so a b + 9 ab+9 must equal some m 2 m^2 .

a b 3 1 2 ab\leq 31^2 , and a b = ( m + 3 ) ( m 3 ) ab=(m+3)(m-3) , just need to verify m m when m + 3 31 m+3\leq 31 .

At last, a b = ( 31 ) ( 31 3 3 ) = 31 × 25 = 32 × 25 25 = 800 25 = 775 ab=(31)(31-3-3)=31\times 25=32\times 25 - 25=800 - 25 =775 .

" a b 3 1 2 ab\leq 31^2 , and a b = ( m + 3 ) ( m 3 ) ab=(m+3)(m-3) , just need to verify m m when m + 3 31 m+3\leq 31 ." This is not totally obvious.

Calvin Lin Staff - 7 years ago

First. From Vieta theory we can get :

1) r + s + t = a r + s + t = a \Rightarrow (1)

2) r s + r t + s t = a 2 b 3 rs + rt + st = a^2b^3 \Rightarrow (2)

3) r s t = 9 a 2 b 3 rst = -9a^2b^3 \Rightarrow (3)

( r + s ) ( s + t ) ( t + r ) = ( r + s ) ( r s ) + ( r + t ) ( r t ) + ( s + t ) ( s t ) + 2 r s t (r+s)(s+t)(t+r) = (r+s)(rs) + (r+t)(rt) + (s+t)(st) + 2rst \Rightarrow (4)

from (1) we can get :

r + s = a t , r + s = a - t,

r + t = a s , r + t = a - s,

s + t = a r . s + t = a - r.

so, (4) can be changed into :

( a r ) ( s t ) + ( a t ) ( r s ) + ( a s ) ( r t ) + 2 r s t . (a-r)(st) + (a-t)(rs) + (a-s)(rt) + 2rst.

( a ) ( r s + s t + r t ) 3 r s t + 2 r s t . (a)(rs + st + rt) -3rst + 2rst.

( a ) ( r s + s t + r t ) r s t . (a)(rs + st + rt) - rst. \Rightarrow (5)

from (2) and (3), we can change (5) into :

( a ) ( a 2 b 3 ) ( 9 a 2 b 2 ) . (a)(a^2b^3) - (-9a^2b^2).

( ( a b ) 2 ) ( a b + 9 ) . ((ab)^2)(ab + 9).

we know that ( r + s ) ( s + t ) ( r + t ) = k 2 . (r+s)(s+t)(r+t) = k^2. with k k is a positive integer.

( a b + 9 ) = ( k a b ) 2 . (ab+9) = (\frac{k}{ab})^2.

We can assume ( k a b ) 2 = w 2 . (\frac{k}{ab})^2 = w^2.

So, we get ( a b + 9 ) = w 2 (ab+9) = w^2

a b = w 2 3 2 ab = w^2 - 3^2

a b = ( w 3 ) ( w + 3 ) ab = (w-3)(w+3)

Remember that a m a x = 31 a_{max} = 31 and b m a x = 31. b_{max} = 31.

a b ab become max if w + 3 = a m a x w+3 = a_{max} or b m a x . b_{max}.

a b m a x = 31 ( 31 6 ) = 775. ab_{max} = 31*(31-6) = 775.

" a b ab become max if w + 3 = a m a x w+3 = a_{max} or b m a x . b_{max}. " This is not obvious, one has to make sure there is no other decomposition of w 2 + 9 w^2+9 as a product.

Calvin Lin Staff - 7 years ago
Jefferson Irawan
May 20, 2014

Using Vieta we can conclude that

r + s + t = a r+s+t = a

r s + s t + t r = a 2 b 3 rs+st+tr = a^2b^3

r s t = 9 a 2 b 2 rst = 9a^2b^2

then ( r + s ) ( s + t ) ( t + r ) = ( a t ) ( a r ) ( a s ) = k 2 (r+s)(s+t)(t+r) = (a-t)(a-r)(a-s) =k^2

so a 3 ( r + s + t ) a 2 + ( r s + s t + t r ) a + r s t a^3-(r+s+t)a^2+(rs+st+tr)a+rst

= a 3 a 3 + a 3 b 3 + 9 a 2 b 2 = k 2 = a^3 - a^3 + a^3b^3 + 9a^2b^2 = k^2

for k N \in \mathbb{N}

and a 2 b 2 ( a b + 9 ) = k 2 a^2b^2 (ab+9)=k^2 so we find the maximum value of ab

where a b + 9 = l 2 ab+9 = l^2 where l N l \in \mathbb{N}

a b + 9 = l 2 ab+9 =l^2

a b = l 2 9 = ( l 3 ) ( l + 3 ) ab = l^2-9 = (l-3)(l+3)

then the maximum value will be reached when a b = 25 × 31 = 775 ab=25 \times 31 = 775

"then the maximum value will be reached when a b = 25 × 31 = 775 ab=25 \times 31 = 775 " This should be justified better

Calvin Lin Staff - 7 years ago
Qiang Xiao
May 20, 2014

since r, s and t are roots of x 3 a x 2 + a 2 b 3 x + 9 a 2 b 2 x^3-ax^2+a^2b^3x+9a^2b^2 , we have r + s + t = a ; r+s+t = a; r s + r t + s t = a 2 b 3 ; rs+rt+st = a^2b^3; r s t = 9 a 2 b 2 ; rst = -9a^2b^2; hence ( r + s ) ( s + t ) ( r + t ) (r+s)(s+t)(r+t) = ( r s + r t + s t ) ( r + s + t ) r s t = (rs+rt+st)(r+s+t) - rst = a 3 b 3 + 9 a 2 b 2 = a^3b^3+9a^2b^2 = a 2 b 2 ( a b + 9 ) ; = a^2b^2(ab+9); On the other hand, since a 2 b 2 ( a b + 9 ) a^2b^2(ab+9) is a square of a integer, and a b + 9 , a , b ab+9, a, b are integers, then it can be easily seen that a b + 9 ab+9 is also a perfect square, which means that a b = u 2 9 ab = u^2 - 9 for some integer u 31 u \leq 31 . By a few trials, we find that u = 25 u = 25 is the largest integer that satisfies that u 2 9 u^2-9 can be factored as the product of two integers 31 \leq 31 . Hence the maximum possible value of a b ab is 2 5 2 9 = 775 25^2-9 = 775 ;

" By a few trials, we find that u = 25 u = 25 is the largest integer that satisfies that u 2 9 u^2-9 can be factored as the product of two integers 31 \leq 31 ." This should be explained better.

Calvin Lin Staff - 7 years ago
Fletcher Mattox
Aug 22, 2020

hee, hee.

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
from numpy import real, imag, roots
from sympy.ntheory.primetest import is_square

ab_max = -10**6
for a in range(1, 32):
    for b in range(1, 32):
        coeff = [1, -a, a**2 * b**3, 9*a**2 * b**2]
        r, s, t = roots(coeff)
        prod = (r + s) * (s + t) * (r + t)
        if abs(imag(prod)) < 10**-8 and is_square(int(round(real(prod), 8))):
            ab = a*b
            if ab > ab_max:
                ab_max = ab
print(ab_max)

1
775

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...