Give an algebraic proof ?

 If a3b33ab=1,\text{ If }a^3 - b^3 - 3ab = 1,

Prove that (a3b3+ab) is a perfect square.\text{Prove that }(a^3 - b^3 + ab) \text{ is a perfect square.}

Is the converse true ? \text{Is the converse true ? }

Note by Vinay Sipani
7 years, 1 month ago

No vote yet
1 vote

  Easy Math Editor

This discussion board is a place to discuss our Daily Challenges and the math and science related to those challenges. Explanations are more than just a solution — they should explain the steps and thinking strategies that you used to obtain the solution. Comments should further the discussion of math and science.

When posting on Brilliant:

  • Use the emojis to react to an explanation, whether you're congratulating a job well done , or just really confused .
  • Ask specific questions about the challenge or the steps in somebody's explanation. Well-posed questions can add a lot to the discussion, but posting "I don't understand!" doesn't help anyone.
  • Try to contribute something new to the discussion, whether it is an extension, generalization or other idea related to the challenge.
  • Stay on topic — we're all here to learn more about math and science, not to hear about your favorite get-rich-quick scheme or current world events.

MarkdownAppears as
*italics* or _italics_ italics
**bold** or __bold__ bold

- bulleted
- list

  • bulleted
  • list

1. numbered
2. list

  1. numbered
  2. list
Note: you must add a full line of space before and after lists for them to show up correctly
paragraph 1

paragraph 2

paragraph 1

paragraph 2

[example link](https://brilliant.org)example link
> This is a quote
This is a quote
    # I indented these lines
    # 4 spaces, and now they show
    # up as a code block.

    print "hello world"
# I indented these lines
# 4 spaces, and now they show
# up as a code block.

print "hello world"
MathAppears as
Remember to wrap math in \( ... \) or \[ ... \] to ensure proper formatting.
2 \times 3 2×3 2 \times 3
2^{34} 234 2^{34}
a_{i-1} ai1 a_{i-1}
\frac{2}{3} 23 \frac{2}{3}
\sqrt{2} 2 \sqrt{2}
\sum_{i=1}^3 i=13 \sum_{i=1}^3
\sin \theta sinθ \sin \theta
\boxed{123} 123 \boxed{123}

Comments

The converse is not true, let a=b a = b , we get the second expression a perfect square, while the first is not satisfied.

Now for the proof, we can manipulate the expression hoping to make it simpler , or convert into a quadratic (as it is useful in such situations) we complete the cube to have (ab)31=3a2b+3ab2+3ab (a-b)^3 -1 = - 3 a^{2} b + 3 a b^{2} + 3ab , which is equivalent to (ab1)(a22ab+b2+ab+1)=3ab(ab1) (a-b-1)(a^2 - 2ab + b^2 + a - b + 1 ) = -3ab (a-b-1) , name this equation (1) so either a=b+1a = b+1, in which case a substitution in the the second expression and easy computation show that we have a perfect square (2b+1)2 (2b+1)^2 , or we have ab10 a - b - 1 \neq 0 , in which case we have by cancelling that factor in (1), the following quadratic equation a2+a(b+1)+b2b+1=0a^2 + a(b+1) + b^2 - b +1 = 0, but the discriminant of that quadratic equation in aa is (b+1)24(b2b+1)=3(b+1)2 (b+1)^2 - 4(b^2-b+1) = -3 ( b +1 )^2 , so you have no real solutions except when b=1 b = -1 , for which a=0a = 0 substituting this in the second expression we get a perfect square.

Mahmoud Moustafa - 7 years ago

Log in to reply

ahh thanks @michael_lee sorry, I have made a mistake in the last step it should have been , (b+1)24(b2b+1)=3(b1)2 (b+1)^2 -4(b^2-b+1) = -3 (b-1)^2 , which shows that the only real solution when a,b a,b are integers we get when b=1 b = 1 , but at that case a=1 a = -1 , and we don't get a perfect square, so a restatement of proposition must be " If a,ba,b are integers , b1 b\neq 1 and a3b33ab=1a^3-b^3 -3ab = -1 , then a3b3+ab a^3 - b^3 + ab is perfect square .

the above user "Mahmoud moustafa" is me , but I have forgotten password and failed to get it back .

Mahmoud moustafa - 7 years ago

Um, neither is true. For example, let a=1a = -1, b=1b = 1. Then, a3b33ab=1a^3-b^3-3ab = 1 and a3b3+ab=3a^3-b^3+ab = -3, which is obviously not a perfect square.

Michael Lee - 7 years ago

Log in to reply

In particular, if aa and bb are reals such that a1a \neq -1 or b1b \neq 1, then the statement is true. If a3b33ab=1a^3-b^3-3ab = 1, then a3b3+ab=(a3b33ab)+4ab=4ab+1a^3-b^3+ab = (a^3-b^3-3ab)+4ab = 4ab+1. Then, from the first statement, we have a33abb31=(ab1)(a2+ab+b2+ab+1)=0a^3-3ab-b^3-1 = (a-b-1)(a^2+ab+b^2+a-b+1) = 0. From this, we have a=b+1a = b+1, which gives 4ab+1=4(b+1)b+1=4b2+4b+1=(2b+1)24ab+1 = 4(b+1)b+1 = 4b^2+4b+1 = (2b+1)^2, or a=b+1±3b2+6b32a = -\frac{b+1\pm\sqrt{-3b^2+6b-3}}{2}, which is only real for b=1b=1, which gives our solution that does not satisfy the statement, a=1a = -1, b=1a3b3+ab=3b = 1 \Rightarrow a^3-b^3+ab = -3.

Michael Lee - 7 years ago

Let us assume a-b=1 . \Longrightarrow a3b33ab=a3b33ab(ab)a^3 -b^3 -3ab=a^3-b^3-3ab(a-b) = (ab)3 (a-b)^3 . Since a3b33aba^3 -b^3 -3ab =1 , (ab)3 (a-b)^3 is also =1 . Hence a-b=1 . Thus our assumption is valid .Now , a3b3=(ab)(a2+ab+b2) a^3-b^3 = (a-b)(a^2+ab+b^2)   \Longrightarrow \ (a3b3+ab)=(a+b)2(a^{ 3 }-b^{ 3 } +ab) =(a+b)^2 as ab=1a-b=1 .Hence the above statement is true .

Anish Kelkar - 7 years ago

Log in to reply

But if (ab)3=1(a-b)^3 = 1 then possible solutions of (a-b) are

(ab)=1,ω,ω2(a-b)=1,\omega,{\omega}^2

How will you justify this ?

Vinay Sipani - 7 years ago

No

Lee Minhyeok - 7 years, 1 month ago
×

Problem Loading...

Note Loading...

Set Loading...