Mixing
System of equations with three variables
Characterize all triples $(a,b,c)$ of positive real numbers such that
$$ a^2-ab+bc = b^2-bc+ca = c^2-ca+ab. $$
This is the equality case of the so-called Vasc inequality. I think the answer is that $a=b=c$ or $a:b:c = sin^2(4pi/7) : sin^2(2pi/7) : sin^2(pi/7)$ and cyclic equality cases. I'm mostly interested if there is a way to derive this reasonably, other than just magically guessing the solutions and then doing degree-counting. This was left as a "good exercise" in Mildorf that has bothered me for years.
calculus inequality systems-of-equations
asked Nov 20 '18 at 4:30
nam
973
add a comment |
Characterize all triples $(a,b,c)$ of positive real numbers such that
$$ a^2-ab+bc = b^2-bc+ca = c^2-ca+ab. $$
This is the equality case of the so-called Vasc inequality. I think the answer is that $a=b=c$ or $a:b:c = sin^2(4pi/7) : sin^2(2pi/7) : sin^2(pi/7)$ and cyclic equality cases. I'm mostly interested if there is a way to derive this reasonably, other than just magically guessing the solutions and then doing degree-counting. This was left as a "good exercise" in Mildorf that has bothered me for years.
calculus inequality systems-of-equations
asked Nov 20 '18 at 4:30
nam
973
What is the “so-called Vasc inequality”?
– Martin R
Nov 20 '18 at 8:40
add a comment |
Characterize all triples $(a,b,c)$ of positive real numbers such that
$$ a^2-ab+bc = b^2-bc+ca = c^2-ca+ab. $$
This is the equality case of the so-called Vasc inequality. I think the answer is that $a=b=c$ or $a:b:c = sin^2(4pi/7) : sin^2(2pi/7) : sin^2(pi/7)$ and cyclic equality cases. I'm mostly interested if there is a way to derive this reasonably, other than just magically guessing the solutions and then doing degree-counting. This was left as a "good exercise" in Mildorf that has bothered me for years.
calculus inequality systems-of-equations
asked Nov 20 '18 at 4:30
nam
973
Characterize all triples $(a,b,c)$ of positive real numbers such that
$$ a^2-ab+bc = b^2-bc+ca = c^2-ca+ab. $$
This is the equality case of the so-called Vasc inequality. I think the answer is that $a=b=c$ or $a:b:c = sin^2(4pi/7) : sin^2(2pi/7) : sin^2(pi/7)$ and cyclic equality cases. I'm mostly interested if there is a way to derive this reasonably, other than just magically guessing the solutions and then doing degree-counting. This was left as a "good exercise" in Mildorf that has bothered me for years.
calculus inequality systems-of-equations
calculus inequality systems-of-equations
asked Nov 20 '18 at 4:30
nam
973
asked Nov 20 '18 at 4:30
nam
973
asked Nov 20 '18 at 4:30
nam
973
asked Nov 20 '18 at 4:30
nam
973
asked Nov 20 '18 at 4:30
nam
973
973
What is the “so-called Vasc inequality”?
– Martin R
Nov 20 '18 at 8:40
add a comment |
What is the “so-called Vasc inequality”?
– Martin R
Nov 20 '18 at 8:40
What is the “so-called Vasc inequality”?
– Martin R
Nov 20 '18 at 8:40
What is the “so-called Vasc inequality”?
– Martin R
Nov 20 '18 at 8:40
add a comment |
3 Answers
3
active
oldest
votes
Too long for comment
Using $sin(pi-A)=+sin A,cos(pi-B)=-cos B,sin2C=2sin Ccos C$
$$dfrac{sin^2dfrac{2pi}7}{sin^2dfrac{pi}7}=4cos^2dfracpi7=2+2cosdfrac{2pi}7$$
$$dfrac{sin^2dfrac{pi}7}{sin^2dfrac{3pi}7}=dfrac{sin^2dfrac{6pi}7}{sin^2dfrac{3pi}7}=4cos^2dfrac{3pi}7=2+2cosdfrac{6pi}7$$
$$dfrac{sin^2dfrac{3pi}7}{sin^2dfrac{2pi}7}=dfrac{sin^2dfrac{4pi}7}{sin^2dfrac{2pi}7}=4cos^2dfrac{2pi}7=2+2cosdfrac{4pi}7$$
From How to solve $8t^3-4t^2-4t+1=0$ and factor $z^7-1$ into linear and quadratic factors and prove that $ cos(pi/7) cdotcos(2pi/7) cdotcos(3pi/7)=1/8$,
the roots of $$x^3+x^2-2x-1=0$$ are $2cosdfrac{2pi}7,2cosdfrac{4pi}7,2cosdfrac{6pi}7$
Replace $x$ with $y-2$ to find $$y^3-5y^2+6y-1=0$$
answered Nov 20 '18 at 6:25
lab bhattacharjee
223k15156274
add a comment |
If $c=0$ then $a^2-ab=b^2=ab$, which gives $a=b=c=0.$
Let $abcneq0$ and $a=xb$.
Thus, from the first equation we obtain:
$$a^2-ab-b^2=(a-2b)c.$$
If $a=2b$ so $a=b=c=0$, which is impossible here.
Thus, $c=frac{a^2-ab-b^2}{a-2b}$ and from the second equation we obtain:
$$b^2+frac{(a-b)(a^2-ab-b^2)}{a-2b}=frac{(a^2-ab-b^2)^2}{(a-2b)^2}-frac{(a^2-ab-b^2)a}{a-2b}+ab$$ or
$$1+frac{(x-1)(x^2-x-1)}{x-2}=frac{(x^2-x-1)^2}{(x-2)^2}-frac{(x^2-x-1)x}{x-2}+x$$ or
$$(x-1)(x^3-5x^2+6x-1)=0,$$ which gives $x=1$ and $a=b=c$ or
$$x^3-5x^2+6x-1=0.$$
Now, easy to show that $frac{sin^2frac{2pi}{7}}{sin^2frac{pi}{7}}$, $frac{sin^2frac{pi}{7}}{sin^2frac{3pi}{7}}$ and $frac{sin^2frac{3pi}{7}}{sin^2frac{2pi}{7}}$ they are roots of the last equation.
For example:
$$left(frac{sin^2frac{2pi}{7}}{sin^2frac{pi}{7}}right)^3-5left(frac{sin^2frac{2pi}{7}}{sin^2frac{pi}{7}}right)^2+6cdotfrac{sin^2frac{2pi}{7}}{sin^2frac{pi}{7}}-1=$$
$$=left(4cos^2frac{pi}{7}right)^3-5left(4cos^2frac{pi}{7}right)^2+6left(4cos^2frac{pi}{7}right)-1=$$
$$=left(2+2cosfrac{2pi}{7}right)^3-5left(2+2cosfrac{2pi}{7}right)^2+6left(2+2cosfrac{2pi}{7}right)-1=$$
$$=8cos^3frac{2pi}{7}+4cos^2frac{2pi}{7}-4cosfrac{2pi}{7}-1=$$
$$=2left(4cos^3frac{2pi}{7}-3cosfrac{2pi}{7}right)+6cosfrac{2pi}{7}+2+2cosfrac{4pi}{7}-4cosfrac{2pi}{7}-1=$$
$$=2cosfrac{2pi}{7}+2cosfrac{4pi}{7}+2cosfrac{6pi}{7}+1=$$
$$=frac{2sinfrac{pi}{7}cosfrac{2pi}{7}+2sinfrac{pi}{7}cosfrac{4pi}{7}+2sinfrac{pi}{7}cosfrac{6pi}{7}}{sinfrac{pi}{7}}+1=$$
$$=frac{sinfrac{3pi}{7}-sinfrac{pi}{7}+sinfrac{5pi}{7}-sinfrac{3pi}{7}+sinfrac{7pi}{7}-sinfrac{5pi}{7}}{sinfrac{pi}{7}}+1=0.$$
Since we have no another roots, we are done!
answered Nov 20 '18 at 5:34
Michael Rozenberg
96.3k1588186
1
“easy to show that ... are roots of the last equation” – isn't that “magically guessing the solutions”?
– Martin R
Nov 20 '18 at 8:48
add a comment |
Suppose $a=b$, then $bc=b^2=c^2-cb+b^2$, those $a=b=c$. Which includes cyclic equality cases as well.
Now lets assume WLOG $a>b>c$. Show that in this case above equations don't hold simultaneously.
answered Nov 20 '18 at 6:34
Lee
1077
Are you saying that $a=b=c$ is the only solution?
– Martin R
Nov 20 '18 at 12:16
I believe so. But I have tried to show that equations don't hold simultaneously for $a>b>c$, but no success so far.
– Lee
Nov 20 '18 at 12:59
add a comment |
Your Answer
StackExchange.ifUsing("editor", function () {
return StackExchange.using("mathjaxEditing", function () {
StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix) {
StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
});
});
}, "mathjax-editing");
StackExchange.ready(function() {
var channelOptions = {
tags: "".split(" "),
id: "69"
};
initTagRenderer("".split(" "), "".split(" "), channelOptions);
StackExchange.using("externalEditor", function() {
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled) {
StackExchange.using("snippets", function() {
createEditor();
});
}
else {
createEditor();
}
});
function createEditor() {
StackExchange.prepareEditor({
heartbeatType: 'answer',
autoActivateHeartbeat: false,
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader: {
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
},
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
});
}
});
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3005940%2fsystem-of-equations-with-three-variables%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
3 Answers
3
active
oldest
votes
3 Answers
3
active
oldest
votes
active
oldest
votes
active
oldest
votes
Too long for comment
Using $sin(pi-A)=+sin A,cos(pi-B)=-cos B,sin2C=2sin Ccos C$
$$dfrac{sin^2dfrac{2pi}7}{sin^2dfrac{pi}7}=4cos^2dfracpi7=2+2cosdfrac{2pi}7$$
$$dfrac{sin^2dfrac{pi}7}{sin^2dfrac{3pi}7}=dfrac{sin^2dfrac{6pi}7}{sin^2dfrac{3pi}7}=4cos^2dfrac{3pi}7=2+2cosdfrac{6pi}7$$
$$dfrac{sin^2dfrac{3pi}7}{sin^2dfrac{2pi}7}=dfrac{sin^2dfrac{4pi}7}{sin^2dfrac{2pi}7}=4cos^2dfrac{2pi}7=2+2cosdfrac{4pi}7$$
From How to solve $8t^3-4t^2-4t+1=0$ and factor $z^7-1$ into linear and quadratic factors and prove that $ cos(pi/7) cdotcos(2pi/7) cdotcos(3pi/7)=1/8$,
the roots of $$x^3+x^2-2x-1=0$$ are $2cosdfrac{2pi}7,2cosdfrac{4pi}7,2cosdfrac{6pi}7$
Replace $x$ with $y-2$ to find $$y^3-5y^2+6y-1=0$$
answered Nov 20 '18 at 6:25
lab bhattacharjee
223k15156274
add a comment |
Too long for comment
Using $sin(pi-A)=+sin A,cos(pi-B)=-cos B,sin2C=2sin Ccos C$
$$dfrac{sin^2dfrac{2pi}7}{sin^2dfrac{pi}7}=4cos^2dfracpi7=2+2cosdfrac{2pi}7$$
$$dfrac{sin^2dfrac{pi}7}{sin^2dfrac{3pi}7}=dfrac{sin^2dfrac{6pi}7}{sin^2dfrac{3pi}7}=4cos^2dfrac{3pi}7=2+2cosdfrac{6pi}7$$
$$dfrac{sin^2dfrac{3pi}7}{sin^2dfrac{2pi}7}=dfrac{sin^2dfrac{4pi}7}{sin^2dfrac{2pi}7}=4cos^2dfrac{2pi}7=2+2cosdfrac{4pi}7$$
From How to solve $8t^3-4t^2-4t+1=0$ and factor $z^7-1$ into linear and quadratic factors and prove that $ cos(pi/7) cdotcos(2pi/7) cdotcos(3pi/7)=1/8$,
the roots of $$x^3+x^2-2x-1=0$$ are $2cosdfrac{2pi}7,2cosdfrac{4pi}7,2cosdfrac{6pi}7$
Replace $x$ with $y-2$ to find $$y^3-5y^2+6y-1=0$$
answered Nov 20 '18 at 6:25
lab bhattacharjee
223k15156274
add a comment |
Too long for comment
Using $sin(pi-A)=+sin A,cos(pi-B)=-cos B,sin2C=2sin Ccos C$
$$dfrac{sin^2dfrac{2pi}7}{sin^2dfrac{pi}7}=4cos^2dfracpi7=2+2cosdfrac{2pi}7$$
$$dfrac{sin^2dfrac{pi}7}{sin^2dfrac{3pi}7}=dfrac{sin^2dfrac{6pi}7}{sin^2dfrac{3pi}7}=4cos^2dfrac{3pi}7=2+2cosdfrac{6pi}7$$
$$dfrac{sin^2dfrac{3pi}7}{sin^2dfrac{2pi}7}=dfrac{sin^2dfrac{4pi}7}{sin^2dfrac{2pi}7}=4cos^2dfrac{2pi}7=2+2cosdfrac{4pi}7$$
From How to solve $8t^3-4t^2-4t+1=0$ and factor $z^7-1$ into linear and quadratic factors and prove that $ cos(pi/7) cdotcos(2pi/7) cdotcos(3pi/7)=1/8$,
the roots of $$x^3+x^2-2x-1=0$$ are $2cosdfrac{2pi}7,2cosdfrac{4pi}7,2cosdfrac{6pi}7$
Replace $x$ with $y-2$ to find $$y^3-5y^2+6y-1=0$$
answered Nov 20 '18 at 6:25
lab bhattacharjee
223k15156274
Too long for comment
Using $sin(pi-A)=+sin A,cos(pi-B)=-cos B,sin2C=2sin Ccos C$
$$dfrac{sin^2dfrac{2pi}7}{sin^2dfrac{pi}7}=4cos^2dfracpi7=2+2cosdfrac{2pi}7$$
$$dfrac{sin^2dfrac{pi}7}{sin^2dfrac{3pi}7}=dfrac{sin^2dfrac{6pi}7}{sin^2dfrac{3pi}7}=4cos^2dfrac{3pi}7=2+2cosdfrac{6pi}7$$
$$dfrac{sin^2dfrac{3pi}7}{sin^2dfrac{2pi}7}=dfrac{sin^2dfrac{4pi}7}{sin^2dfrac{2pi}7}=4cos^2dfrac{2pi}7=2+2cosdfrac{4pi}7$$
From How to solve $8t^3-4t^2-4t+1=0$ and factor $z^7-1$ into linear and quadratic factors and prove that $ cos(pi/7) cdotcos(2pi/7) cdotcos(3pi/7)=1/8$,
the roots of $$x^3+x^2-2x-1=0$$ are $2cosdfrac{2pi}7,2cosdfrac{4pi}7,2cosdfrac{6pi}7$
Replace $x$ with $y-2$ to find $$y^3-5y^2+6y-1=0$$
answered Nov 20 '18 at 6:25
lab bhattacharjee
223k15156274
answered Nov 20 '18 at 6:25
lab bhattacharjee
223k15156274
answered Nov 20 '18 at 6:25
lab bhattacharjee
223k15156274
answered Nov 20 '18 at 6:25
lab bhattacharjee
223k15156274
223k15156274
add a comment |
add a comment |
If $c=0$ then $a^2-ab=b^2=ab$, which gives $a=b=c=0.$
Let $abcneq0$ and $a=xb$.
Thus, from the first equation we obtain:
$$a^2-ab-b^2=(a-2b)c.$$
If $a=2b$ so $a=b=c=0$, which is impossible here.
Thus, $c=frac{a^2-ab-b^2}{a-2b}$ and from the second equation we obtain:
$$b^2+frac{(a-b)(a^2-ab-b^2)}{a-2b}=frac{(a^2-ab-b^2)^2}{(a-2b)^2}-frac{(a^2-ab-b^2)a}{a-2b}+ab$$ or
$$1+frac{(x-1)(x^2-x-1)}{x-2}=frac{(x^2-x-1)^2}{(x-2)^2}-frac{(x^2-x-1)x}{x-2}+x$$ or
$$(x-1)(x^3-5x^2+6x-1)=0,$$ which gives $x=1$ and $a=b=c$ or
$$x^3-5x^2+6x-1=0.$$
Now, easy to show that $frac{sin^2frac{2pi}{7}}{sin^2frac{pi}{7}}$, $frac{sin^2frac{pi}{7}}{sin^2frac{3pi}{7}}$ and $frac{sin^2frac{3pi}{7}}{sin^2frac{2pi}{7}}$ they are roots of the last equation.
For example:
$$left(frac{sin^2frac{2pi}{7}}{sin^2frac{pi}{7}}right)^3-5left(frac{sin^2frac{2pi}{7}}{sin^2frac{pi}{7}}right)^2+6cdotfrac{sin^2frac{2pi}{7}}{sin^2frac{pi}{7}}-1=$$
$$=left(4cos^2frac{pi}{7}right)^3-5left(4cos^2frac{pi}{7}right)^2+6left(4cos^2frac{pi}{7}right)-1=$$
$$=left(2+2cosfrac{2pi}{7}right)^3-5left(2+2cosfrac{2pi}{7}right)^2+6left(2+2cosfrac{2pi}{7}right)-1=$$
$$=8cos^3frac{2pi}{7}+4cos^2frac{2pi}{7}-4cosfrac{2pi}{7}-1=$$
$$=2left(4cos^3frac{2pi}{7}-3cosfrac{2pi}{7}right)+6cosfrac{2pi}{7}+2+2cosfrac{4pi}{7}-4cosfrac{2pi}{7}-1=$$
$$=2cosfrac{2pi}{7}+2cosfrac{4pi}{7}+2cosfrac{6pi}{7}+1=$$
$$=frac{2sinfrac{pi}{7}cosfrac{2pi}{7}+2sinfrac{pi}{7}cosfrac{4pi}{7}+2sinfrac{pi}{7}cosfrac{6pi}{7}}{sinfrac{pi}{7}}+1=$$
$$=frac{sinfrac{3pi}{7}-sinfrac{pi}{7}+sinfrac{5pi}{7}-sinfrac{3pi}{7}+sinfrac{7pi}{7}-sinfrac{5pi}{7}}{sinfrac{pi}{7}}+1=0.$$
Since we have no another roots, we are done!
answered Nov 20 '18 at 5:34
Michael Rozenberg
96.3k1588186
1
“easy to show that ... are roots of the last equation” – isn't that “magically guessing the solutions”?
– Martin R
Nov 20 '18 at 8:48
add a comment |
If $c=0$ then $a^2-ab=b^2=ab$, which gives $a=b=c=0.$
Let $abcneq0$ and $a=xb$.
Thus, from the first equation we obtain:
$$a^2-ab-b^2=(a-2b)c.$$
If $a=2b$ so $a=b=c=0$, which is impossible here.
Thus, $c=frac{a^2-ab-b^2}{a-2b}$ and from the second equation we obtain:
$$b^2+frac{(a-b)(a^2-ab-b^2)}{a-2b}=frac{(a^2-ab-b^2)^2}{(a-2b)^2}-frac{(a^2-ab-b^2)a}{a-2b}+ab$$ or
$$1+frac{(x-1)(x^2-x-1)}{x-2}=frac{(x^2-x-1)^2}{(x-2)^2}-frac{(x^2-x-1)x}{x-2}+x$$ or
$$(x-1)(x^3-5x^2+6x-1)=0,$$ which gives $x=1$ and $a=b=c$ or
$$x^3-5x^2+6x-1=0.$$
Now, easy to show that $frac{sin^2frac{2pi}{7}}{sin^2frac{pi}{7}}$, $frac{sin^2frac{pi}{7}}{sin^2frac{3pi}{7}}$ and $frac{sin^2frac{3pi}{7}}{sin^2frac{2pi}{7}}$ they are roots of the last equation.
For example:
$$left(frac{sin^2frac{2pi}{7}}{sin^2frac{pi}{7}}right)^3-5left(frac{sin^2frac{2pi}{7}}{sin^2frac{pi}{7}}right)^2+6cdotfrac{sin^2frac{2pi}{7}}{sin^2frac{pi}{7}}-1=$$
$$=left(4cos^2frac{pi}{7}right)^3-5left(4cos^2frac{pi}{7}right)^2+6left(4cos^2frac{pi}{7}right)-1=$$
$$=left(2+2cosfrac{2pi}{7}right)^3-5left(2+2cosfrac{2pi}{7}right)^2+6left(2+2cosfrac{2pi}{7}right)-1=$$
$$=8cos^3frac{2pi}{7}+4cos^2frac{2pi}{7}-4cosfrac{2pi}{7}-1=$$
$$=2left(4cos^3frac{2pi}{7}-3cosfrac{2pi}{7}right)+6cosfrac{2pi}{7}+2+2cosfrac{4pi}{7}-4cosfrac{2pi}{7}-1=$$
$$=2cosfrac{2pi}{7}+2cosfrac{4pi}{7}+2cosfrac{6pi}{7}+1=$$
$$=frac{2sinfrac{pi}{7}cosfrac{2pi}{7}+2sinfrac{pi}{7}cosfrac{4pi}{7}+2sinfrac{pi}{7}cosfrac{6pi}{7}}{sinfrac{pi}{7}}+1=$$
$$=frac{sinfrac{3pi}{7}-sinfrac{pi}{7}+sinfrac{5pi}{7}-sinfrac{3pi}{7}+sinfrac{7pi}{7}-sinfrac{5pi}{7}}{sinfrac{pi}{7}}+1=0.$$
Since we have no another roots, we are done!
answered Nov 20 '18 at 5:34
Michael Rozenberg
96.3k1588186
1
“easy to show that ... are roots of the last equation” – isn't that “magically guessing the solutions”?
– Martin R
Nov 20 '18 at 8:48
add a comment |
If $c=0$ then $a^2-ab=b^2=ab$, which gives $a=b=c=0.$
Let $abcneq0$ and $a=xb$.
Thus, from the first equation we obtain:
$$a^2-ab-b^2=(a-2b)c.$$
If $a=2b$ so $a=b=c=0$, which is impossible here.
Thus, $c=frac{a^2-ab-b^2}{a-2b}$ and from the second equation we obtain:
$$b^2+frac{(a-b)(a^2-ab-b^2)}{a-2b}=frac{(a^2-ab-b^2)^2}{(a-2b)^2}-frac{(a^2-ab-b^2)a}{a-2b}+ab$$ or
$$1+frac{(x-1)(x^2-x-1)}{x-2}=frac{(x^2-x-1)^2}{(x-2)^2}-frac{(x^2-x-1)x}{x-2}+x$$ or
$$(x-1)(x^3-5x^2+6x-1)=0,$$ which gives $x=1$ and $a=b=c$ or
$$x^3-5x^2+6x-1=0.$$
Now, easy to show that $frac{sin^2frac{2pi}{7}}{sin^2frac{pi}{7}}$, $frac{sin^2frac{pi}{7}}{sin^2frac{3pi}{7}}$ and $frac{sin^2frac{3pi}{7}}{sin^2frac{2pi}{7}}$ they are roots of the last equation.
For example:
$$left(frac{sin^2frac{2pi}{7}}{sin^2frac{pi}{7}}right)^3-5left(frac{sin^2frac{2pi}{7}}{sin^2frac{pi}{7}}right)^2+6cdotfrac{sin^2frac{2pi}{7}}{sin^2frac{pi}{7}}-1=$$
$$=left(4cos^2frac{pi}{7}right)^3-5left(4cos^2frac{pi}{7}right)^2+6left(4cos^2frac{pi}{7}right)-1=$$
$$=left(2+2cosfrac{2pi}{7}right)^3-5left(2+2cosfrac{2pi}{7}right)^2+6left(2+2cosfrac{2pi}{7}right)-1=$$
$$=8cos^3frac{2pi}{7}+4cos^2frac{2pi}{7}-4cosfrac{2pi}{7}-1=$$
$$=2left(4cos^3frac{2pi}{7}-3cosfrac{2pi}{7}right)+6cosfrac{2pi}{7}+2+2cosfrac{4pi}{7}-4cosfrac{2pi}{7}-1=$$
$$=2cosfrac{2pi}{7}+2cosfrac{4pi}{7}+2cosfrac{6pi}{7}+1=$$
$$=frac{2sinfrac{pi}{7}cosfrac{2pi}{7}+2sinfrac{pi}{7}cosfrac{4pi}{7}+2sinfrac{pi}{7}cosfrac{6pi}{7}}{sinfrac{pi}{7}}+1=$$
$$=frac{sinfrac{3pi}{7}-sinfrac{pi}{7}+sinfrac{5pi}{7}-sinfrac{3pi}{7}+sinfrac{7pi}{7}-sinfrac{5pi}{7}}{sinfrac{pi}{7}}+1=0.$$
Since we have no another roots, we are done!
answered Nov 20 '18 at 5:34
Michael Rozenberg
96.3k1588186
If $c=0$ then $a^2-ab=b^2=ab$, which gives $a=b=c=0.$
Let $abcneq0$ and $a=xb$.
Thus, from the first equation we obtain:
$$a^2-ab-b^2=(a-2b)c.$$
If $a=2b$ so $a=b=c=0$, which is impossible here.
Thus, $c=frac{a^2-ab-b^2}{a-2b}$ and from the second equation we obtain:
$$b^2+frac{(a-b)(a^2-ab-b^2)}{a-2b}=frac{(a^2-ab-b^2)^2}{(a-2b)^2}-frac{(a^2-ab-b^2)a}{a-2b}+ab$$ or
$$1+frac{(x-1)(x^2-x-1)}{x-2}=frac{(x^2-x-1)^2}{(x-2)^2}-frac{(x^2-x-1)x}{x-2}+x$$ or
$$(x-1)(x^3-5x^2+6x-1)=0,$$ which gives $x=1$ and $a=b=c$ or
$$x^3-5x^2+6x-1=0.$$
Now, easy to show that $frac{sin^2frac{2pi}{7}}{sin^2frac{pi}{7}}$, $frac{sin^2frac{pi}{7}}{sin^2frac{3pi}{7}}$ and $frac{sin^2frac{3pi}{7}}{sin^2frac{2pi}{7}}$ they are roots of the last equation.
For example:
$$left(frac{sin^2frac{2pi}{7}}{sin^2frac{pi}{7}}right)^3-5left(frac{sin^2frac{2pi}{7}}{sin^2frac{pi}{7}}right)^2+6cdotfrac{sin^2frac{2pi}{7}}{sin^2frac{pi}{7}}-1=$$
$$=left(4cos^2frac{pi}{7}right)^3-5left(4cos^2frac{pi}{7}right)^2+6left(4cos^2frac{pi}{7}right)-1=$$
$$=left(2+2cosfrac{2pi}{7}right)^3-5left(2+2cosfrac{2pi}{7}right)^2+6left(2+2cosfrac{2pi}{7}right)-1=$$
$$=8cos^3frac{2pi}{7}+4cos^2frac{2pi}{7}-4cosfrac{2pi}{7}-1=$$
$$=2left(4cos^3frac{2pi}{7}-3cosfrac{2pi}{7}right)+6cosfrac{2pi}{7}+2+2cosfrac{4pi}{7}-4cosfrac{2pi}{7}-1=$$
$$=2cosfrac{2pi}{7}+2cosfrac{4pi}{7}+2cosfrac{6pi}{7}+1=$$
$$=frac{2sinfrac{pi}{7}cosfrac{2pi}{7}+2sinfrac{pi}{7}cosfrac{4pi}{7}+2sinfrac{pi}{7}cosfrac{6pi}{7}}{sinfrac{pi}{7}}+1=$$
$$=frac{sinfrac{3pi}{7}-sinfrac{pi}{7}+sinfrac{5pi}{7}-sinfrac{3pi}{7}+sinfrac{7pi}{7}-sinfrac{5pi}{7}}{sinfrac{pi}{7}}+1=0.$$
Since we have no another roots, we are done!
answered Nov 20 '18 at 5:34
Michael Rozenberg
96.3k1588186
edited Nov 20 '18 at 6:06
answered Nov 20 '18 at 5:34
Michael Rozenberg
96.3k1588186
answered Nov 20 '18 at 5:34
Michael Rozenberg
96.3k1588186
answered Nov 20 '18 at 5:34
Michael Rozenberg
96.3k1588186
96.3k1588186
1
“easy to show that ... are roots of the last equation” – isn't that “magically guessing the solutions”?
– Martin R
Nov 20 '18 at 8:48
add a comment |
1
“easy to show that ... are roots of the last equation” – isn't that “magically guessing the solutions”?
– Martin R
Nov 20 '18 at 8:48
1
1
“easy to show that ... are roots of the last equation” – isn't that “magically guessing the solutions”?
– Martin R
Nov 20 '18 at 8:48
“easy to show that ... are roots of the last equation” – isn't that “magically guessing the solutions”?
– Martin R
Nov 20 '18 at 8:48
add a comment |
Suppose $a=b$, then $bc=b^2=c^2-cb+b^2$, those $a=b=c$. Which includes cyclic equality cases as well.
Now lets assume WLOG $a>b>c$. Show that in this case above equations don't hold simultaneously.
answered Nov 20 '18 at 6:34
Lee
1077
Are you saying that $a=b=c$ is the only solution?
– Martin R
Nov 20 '18 at 12:16
I believe so. But I have tried to show that equations don't hold simultaneously for $a>b>c$, but no success so far.
– Lee
Nov 20 '18 at 12:59
add a comment |
Suppose $a=b$, then $bc=b^2=c^2-cb+b^2$, those $a=b=c$. Which includes cyclic equality cases as well.
Now lets assume WLOG $a>b>c$. Show that in this case above equations don't hold simultaneously.
answered Nov 20 '18 at 6:34
Lee
1077
Are you saying that $a=b=c$ is the only solution?
– Martin R
Nov 20 '18 at 12:16
I believe so. But I have tried to show that equations don't hold simultaneously for $a>b>c$, but no success so far.
– Lee
Nov 20 '18 at 12:59
add a comment |
Suppose $a=b$, then $bc=b^2=c^2-cb+b^2$, those $a=b=c$. Which includes cyclic equality cases as well.
Now lets assume WLOG $a>b>c$. Show that in this case above equations don't hold simultaneously.
answered Nov 20 '18 at 6:34
Lee
1077
Suppose $a=b$, then $bc=b^2=c^2-cb+b^2$, those $a=b=c$. Which includes cyclic equality cases as well.
Now lets assume WLOG $a>b>c$. Show that in this case above equations don't hold simultaneously.
answered Nov 20 '18 at 6:34
Lee
1077
answered Nov 20 '18 at 6:34
Lee
1077
answered Nov 20 '18 at 6:34
Lee
1077
answered Nov 20 '18 at 6:34
Lee
1077
1077
Are you saying that $a=b=c$ is the only solution?
– Martin R
Nov 20 '18 at 12:16
I believe so. But I have tried to show that equations don't hold simultaneously for $a>b>c$, but no success so far.
– Lee
Nov 20 '18 at 12:59
add a comment |
Are you saying that $a=b=c$ is the only solution?
– Martin R
Nov 20 '18 at 12:16
I believe so. But I have tried to show that equations don't hold simultaneously for $a>b>c$, but no success so far.
– Lee
Nov 20 '18 at 12:59
Are you saying that $a=b=c$ is the only solution?
– Martin R
Nov 20 '18 at 12:16
Are you saying that $a=b=c$ is the only solution?
– Martin R
Nov 20 '18 at 12:16
I believe so. But I have tried to show that equations don't hold simultaneously for $a>b>c$, but no success so far.
– Lee
Nov 20 '18 at 12:59
I believe so. But I have tried to show that equations don't hold simultaneously for $a>b>c$, but no success so far.
– Lee
Nov 20 '18 at 12:59
add a comment |
Thanks for contributing an answer to Mathematics Stack Exchange!
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
Use MathJax to format equations. MathJax reference.
To learn more, see our tips on writing great answers.
Some of your past answers have not been well-received, and you're in danger of being blocked from answering.
Please pay close attention to the following guidance:
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
To learn more, see our tips on writing great answers.
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3005940%2fsystem-of-equations-with-three-variables%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
What is the “so-called Vasc inequality”?
– Martin R
Nov 20 '18 at 8:40