Five variables, one solution

Algebra Level 3

It is known that there is such a number s s such that if real numbers a , b , c , d a,b,c,d are all neither 0 nor 1, satisfying 1 a + 1 b + 1 c + 1 d = s \frac{1}{a}+\frac{1}{b}+\frac{1}{c}+\frac{1}{d}=s and a + b + c + d = s , a+b+c+d=s, then 1 1 a + 1 1 b + 1 1 c + 1 1 d = s \frac{1}{1-a}+\frac{1}{1-b}+\frac{1}{1-c}+\frac{1}{1-d}=s Find s s .


The answer is 2.

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

Mark Hennings
Jun 2, 2019

If a + b + c + d = a 1 + b 1 + c 1 + d 1 = s a+b+c+d = a^{-1} + b^{-1} + c^{-1} + d^{-1} = s , then a , b , c , d a,b,c,d are the roots of the quartic equation f ( X ) = X 4 s X 3 + u X 2 s v X + v = 0 f(X) \; = \; X^4 - sX^3 + uX^2 - svX + v \; = \; 0 for some u , v u,v . Then ( 1 a ) 1 , ( 1 b ) 1 , ( 1 c ) 1 , ( 1 d ) 1 (1-a)^{-1},(1-b)^{-1},(1-c)^{-1},(1-d)^{-1} will be the roots of the equation f ( 1 Y 1 ) = 0 f(1 - Y^{-1}) = 0 , and so the roots of g ( Y ) = Y 4 f ( 1 Y 1 ) = ( Y 1 ) 4 s Y ( Y 1 ) 3 + u Y 2 ( Y 1 ) 2 s v Y 3 ( Y 1 ) + v Y 4 = 0 g(Y) \; = \; Y^4f\big(1 - Y^{-1}\big) \; = \; (Y-1)^4 - sY(Y-1)^3 + uY^2(Y-1)^2 -svY^3(Y-1) + vY^4 \; = \; 0 Now g ( Y ) g(Y) is a quartic polynomial, and its first two terms are g ( Y ) = ( 1 s + u + ( 1 s ) v ) Y 4 ( 4 3 s + 2 u s v ) Y 3 + g(Y) \; = \; \big(1 - s + u + (1-s)v\big)Y^4 - \big(4 - 3s + 2u - sv\big)Y^3 + \cdots and since the sum of the roots of this quartic is also s s , we deduce that 4 3 s + 2 u s v = s [ 1 s + u + ( 1 s ) v ] s 2 4 s + 4 + ( 2 s ) u + s ( s 2 ) v = 0 ( s 2 ) [ s 2 u + s v ] = 0 \begin{aligned} 4 - 3s + 2u - sv & = \; s\big[1-s + u + (1-s)v\big] \\ s^2 - 4s + 4 + (2-s)u + s(s-2)v & = \; 0 \\ (s-2)\big[s-2 - u + sv\big] & = \; 0 \end{aligned} and this equation will be true, whatever the values of u u and v v , provided that s = 2 s = \boxed{2} .

Direct calculation gives (s-2)[s-2+sabcd-(ab+ac+ad+bc+bd+cd)]=0, which implies s=2 for any a, b, c, d satisfying the given conditions. Good work. There is a little typo though. It will be s-2+sv-u instead of s-2+u-sv

Log in to reply

Typo fixed. Certainly direct calculation will show that identity, but it is not at all obvious why you should try for that identity in particular. My approach gives a reason for the formula!

Mark Hennings - 2 years ago

Very nice, as always. I did come across one shortcut, in case you're interested (I don't think it's worth writing up as a separate solution, though).

We can write

1 1 a + 1 1 b + 1 1 c + 1 1 d = ( 1 b ) ( 1 c ) ( 1 d ) + ( 1 a ) ( 1 c ) ( 1 d ) + ( 1 a ) ( 1 b ) ( 1 d ) + ( 1 a ) ( 1 b ) ( 1 c ) ( 1 a ) ( 1 b ) ( 1 c ) ( 1 d ) = f ( 1 ) f ( 1 ) \frac{1}{1-a}+\frac{1}{1-b}+\frac{1}{1-c}+\frac{1}{1-d}=\frac{(1-b)(1-c)(1-d)+(1-a)(1-c)(1-d)+(1-a)(1-b)(1-d)+(1-a)(1-b)(1-c)}{(1-a)(1-b)(1-c)(1-d)}=\frac{f'(1)}{f(1)}

which immediately gives 4 3 s + 2 u s v = s ( 1 s + u s v + v ) 4-3s+2u-sv=s(1-s+u-sv+v) without having to introduce the function g g .

Chris Lewis - 2 years ago

It appears that many extremely good approximations can be made, that don't result in s = 2 s = 2 . For example:

a 0.392923 b 0.365355 c 0.354129 d 3.020380 s 3.346942 a \approx -0.392923 \\ b \approx 0.365355 \\ c \approx 0.354129 \\ d \approx 3.020380 \\ s \approx 3.346942

What shall we make of this? I interpreted the question as meaning "Find ( a , b , c , d , s ) (a,b,c,d,s) such that the following three equations are simultaneously satisfied"

Steven Chase - 2 years ago

Log in to reply

This is a misinterpretation of the question. In general, for some value of s s , there are many possible sets of a , b , c , d a,b,c,d such that a + b + c + d = s a+b+c+d=s and a 1 + b 1 + c 1 + d 1 = s a^{-1}+b^{-1}+c^{-1}+d^{-1}=s . These various sets given many possible values for ( 1 a ) 1 + ( 1 b ) 1 + ( 1 c ) 1 + ( 1 d ) 1 (1-a)^{-1}+(1-b)^{-1}+(1-c)^{-1}+(1-d)^{-1} . There is only one value of s s which, no matter what the values of a , b , c , d a,b,c,d , gives ( 1 a ) 1 + ( 1 b ) 1 + ( 1 c ) 1 + ( 1 d ) 1 = s (1-a)^{-1}+(1-b)^{-1}+(1-c)^{-1}+(1-d)^{-1}=s , namely s = 2 s=2 .

Mark Hennings - 2 years ago

Log in to reply

Ok, thanks for the clarification

Steven Chase - 2 years ago

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...