Ring Theoretical Method of Solving a Math Olympiad ProblemMath Olympiad problemCzech Republic Math Olympiad 2008 Problemquestion from russian math olympiadMath Olympiad Algebraic QuestionMath Olympiad Divisor ProblemMath Olympiad Perfect Square QuestionMath Olympiad Algebra QuestionDouble Integral Math Olympiad ProblemMath Olympiad Question- ProofMath Olympiad Problem regarding sum of digits.
OP Amp not amplifying audio signal
What Exploit Are These User Agents Trying to Use?
Why is it a bad idea to hire a hitman to eliminate most corrupt politicians?
How to remove border from elements in the last row?
How to travel to Japan while expressing milk?
My ex-girlfriend uses my Apple ID to log in to her iPad. Do I have to give her my Apple ID password to reset it?
Is there an expression that means doing something right before you will need it rather than doing it in case you might need it?
How badly should I try to prevent a user from XSSing themselves?
Ambiguity in the definition of entropy
Why didn't Boeing produce its own regional jet?
how do we prove that a sum of two periods is still a period?
Is it inappropriate for a student to attend their mentor's dissertation defense?
What reasons are there for a Capitalist to oppose a 100% inheritance tax?
How can saying a song's name be a copyright violation?
Does Dispel Magic work on Tiny Hut?
Placement of More Information/Help Icon button for Radio Buttons
Unlock My Phone! February 2018
ssTTsSTtRrriinInnnnNNNIiinngg
What is the most common color to indicate the input-field is disabled?
How could indestructible materials be used in power generation?
Knowledge-based authentication using Domain-driven Design in C#
Description list Formatting using enumitem
Can someone clarify Hamming's notion of important problems in relation to modern academia?
Was the old ablative pronoun "med" or "mēd"?
Ring Theoretical Method of Solving a Math Olympiad Problem
Math Olympiad problemCzech Republic Math Olympiad 2008 Problemquestion from russian math olympiadMath Olympiad Algebraic QuestionMath Olympiad Divisor ProblemMath Olympiad Perfect Square QuestionMath Olympiad Algebra QuestionDouble Integral Math Olympiad ProblemMath Olympiad Question- ProofMath Olympiad Problem regarding sum of digits.
$begingroup$
These paragraphs are from Steve Olson's book Count Down: Six Kids Vie for Glory at the World's Toughest Math Competition.
On page 170, the author said:
The sixth and last problem on the Forty-second Olympiad ---
by tradition the hardest of all --- looked deceptively straightforward to the competitors.
Let $a > b > c> d$ be positive integers and suppose that $ac +bd =(b + d + a -c)(b + d -a + c)$. Prove that $ab + cd$ is not
prime.
On page 174:
Gabriel's answer to problem six demonstrated his power as a
mathematician. "Gabe's solution was overkill," says Stankova,
"but he solved the problem the way a mathematician would solve it." In his solution he used a mathematical idea called a ring --- a set of mathematical objects, any two of which can be added or multiplied to yield another member of the set.
Edit
On page 210:
Gabriel's use of imaginary numbers in problem six was directly linked to the famous equation $e^pi i = -1$. The number omega ($omega$)
is defined as $omega = e^2pi i/3$. So $omega^2 = e^2pi i/3times e^2pi i/3=e^2pi i/3+2pi i/3=e^4pi i/3$ (because the exponents of $e$ can be added together when the two numbers are multiplied). By the same token, $omega^3 =e^6pi i/3=e^2pi i=e^pi itimes e^pi i= -1 times -1 = 1$.
Thus the set of numbers $1, -1, omega, -omega, omega^2$, and $-w^2$ are related in a particular way. If you multiply any two of them together, you get another member of the set. Gabriel used the powerful properties of this group to crack problem six.
The original problem: https://www.imo-official.org/problems.aspx (2001)
My Question: How did he solve the problem in a ring theoretical method?
ring-theory contest-math
$endgroup$
add a comment |
$begingroup$
These paragraphs are from Steve Olson's book Count Down: Six Kids Vie for Glory at the World's Toughest Math Competition.
On page 170, the author said:
The sixth and last problem on the Forty-second Olympiad ---
by tradition the hardest of all --- looked deceptively straightforward to the competitors.
Let $a > b > c> d$ be positive integers and suppose that $ac +bd =(b + d + a -c)(b + d -a + c)$. Prove that $ab + cd$ is not
prime.
On page 174:
Gabriel's answer to problem six demonstrated his power as a
mathematician. "Gabe's solution was overkill," says Stankova,
"but he solved the problem the way a mathematician would solve it." In his solution he used a mathematical idea called a ring --- a set of mathematical objects, any two of which can be added or multiplied to yield another member of the set.
Edit
On page 210:
Gabriel's use of imaginary numbers in problem six was directly linked to the famous equation $e^pi i = -1$. The number omega ($omega$)
is defined as $omega = e^2pi i/3$. So $omega^2 = e^2pi i/3times e^2pi i/3=e^2pi i/3+2pi i/3=e^4pi i/3$ (because the exponents of $e$ can be added together when the two numbers are multiplied). By the same token, $omega^3 =e^6pi i/3=e^2pi i=e^pi itimes e^pi i= -1 times -1 = 1$.
Thus the set of numbers $1, -1, omega, -omega, omega^2$, and $-w^2$ are related in a particular way. If you multiply any two of them together, you get another member of the set. Gabriel used the powerful properties of this group to crack problem six.
The original problem: https://www.imo-official.org/problems.aspx (2001)
My Question: How did he solve the problem in a ring theoretical method?
ring-theory contest-math
$endgroup$
$begingroup$
The way that text is written is ... cringeworthy at best. Honestly, with problems like these, any methods that use ring properties can also be solved with the equivalent integer manipulations. I don't know what the author is getting at.
$endgroup$
– Don Thousand
Mar 28 at 16:33
$begingroup$
Maybe just working with $(a+c)(b+d)pmod ab+cd$? I didn't work it out.
$endgroup$
– rschwieb
Mar 28 at 16:43
$begingroup$
Also $(a-c)(b-d)$ might be important, because if $ab+cd$ is assumed to be prime, it is associate to the other product I mentioned in the quotient ring.
$endgroup$
– rschwieb
Mar 28 at 16:51
$begingroup$
Sorry. I forgot to quote a paragraph. I have made it. It seems to use group theory.
$endgroup$
– bfhaha
Mar 28 at 16:59
$begingroup$
Af first glance, it seems to hint at employing the ring of Eisenstein integers. And a quick glance at an AoPS solution shows (unmotivated) integer calculations involving obvious Eisenstein integer norms, so it should be straightforward to reformulate that more naturally in Eisenstein arithmetic. Likely that is the "ring theoretic" solution implied in the book.
$endgroup$
– Bill Dubuque
Mar 28 at 18:33
add a comment |
$begingroup$
These paragraphs are from Steve Olson's book Count Down: Six Kids Vie for Glory at the World's Toughest Math Competition.
On page 170, the author said:
The sixth and last problem on the Forty-second Olympiad ---
by tradition the hardest of all --- looked deceptively straightforward to the competitors.
Let $a > b > c> d$ be positive integers and suppose that $ac +bd =(b + d + a -c)(b + d -a + c)$. Prove that $ab + cd$ is not
prime.
On page 174:
Gabriel's answer to problem six demonstrated his power as a
mathematician. "Gabe's solution was overkill," says Stankova,
"but he solved the problem the way a mathematician would solve it." In his solution he used a mathematical idea called a ring --- a set of mathematical objects, any two of which can be added or multiplied to yield another member of the set.
Edit
On page 210:
Gabriel's use of imaginary numbers in problem six was directly linked to the famous equation $e^pi i = -1$. The number omega ($omega$)
is defined as $omega = e^2pi i/3$. So $omega^2 = e^2pi i/3times e^2pi i/3=e^2pi i/3+2pi i/3=e^4pi i/3$ (because the exponents of $e$ can be added together when the two numbers are multiplied). By the same token, $omega^3 =e^6pi i/3=e^2pi i=e^pi itimes e^pi i= -1 times -1 = 1$.
Thus the set of numbers $1, -1, omega, -omega, omega^2$, and $-w^2$ are related in a particular way. If you multiply any two of them together, you get another member of the set. Gabriel used the powerful properties of this group to crack problem six.
The original problem: https://www.imo-official.org/problems.aspx (2001)
My Question: How did he solve the problem in a ring theoretical method?
ring-theory contest-math
$endgroup$
These paragraphs are from Steve Olson's book Count Down: Six Kids Vie for Glory at the World's Toughest Math Competition.
On page 170, the author said:
The sixth and last problem on the Forty-second Olympiad ---
by tradition the hardest of all --- looked deceptively straightforward to the competitors.
Let $a > b > c> d$ be positive integers and suppose that $ac +bd =(b + d + a -c)(b + d -a + c)$. Prove that $ab + cd$ is not
prime.
On page 174:
Gabriel's answer to problem six demonstrated his power as a
mathematician. "Gabe's solution was overkill," says Stankova,
"but he solved the problem the way a mathematician would solve it." In his solution he used a mathematical idea called a ring --- a set of mathematical objects, any two of which can be added or multiplied to yield another member of the set.
Edit
On page 210:
Gabriel's use of imaginary numbers in problem six was directly linked to the famous equation $e^pi i = -1$. The number omega ($omega$)
is defined as $omega = e^2pi i/3$. So $omega^2 = e^2pi i/3times e^2pi i/3=e^2pi i/3+2pi i/3=e^4pi i/3$ (because the exponents of $e$ can be added together when the two numbers are multiplied). By the same token, $omega^3 =e^6pi i/3=e^2pi i=e^pi itimes e^pi i= -1 times -1 = 1$.
Thus the set of numbers $1, -1, omega, -omega, omega^2$, and $-w^2$ are related in a particular way. If you multiply any two of them together, you get another member of the set. Gabriel used the powerful properties of this group to crack problem six.
The original problem: https://www.imo-official.org/problems.aspx (2001)
My Question: How did he solve the problem in a ring theoretical method?
ring-theory contest-math
ring-theory contest-math
edited Mar 28 at 17:02
bfhaha
asked Mar 28 at 16:23
bfhahabfhaha
1,5751125
1,5751125
$begingroup$
The way that text is written is ... cringeworthy at best. Honestly, with problems like these, any methods that use ring properties can also be solved with the equivalent integer manipulations. I don't know what the author is getting at.
$endgroup$
– Don Thousand
Mar 28 at 16:33
$begingroup$
Maybe just working with $(a+c)(b+d)pmod ab+cd$? I didn't work it out.
$endgroup$
– rschwieb
Mar 28 at 16:43
$begingroup$
Also $(a-c)(b-d)$ might be important, because if $ab+cd$ is assumed to be prime, it is associate to the other product I mentioned in the quotient ring.
$endgroup$
– rschwieb
Mar 28 at 16:51
$begingroup$
Sorry. I forgot to quote a paragraph. I have made it. It seems to use group theory.
$endgroup$
– bfhaha
Mar 28 at 16:59
$begingroup$
Af first glance, it seems to hint at employing the ring of Eisenstein integers. And a quick glance at an AoPS solution shows (unmotivated) integer calculations involving obvious Eisenstein integer norms, so it should be straightforward to reformulate that more naturally in Eisenstein arithmetic. Likely that is the "ring theoretic" solution implied in the book.
$endgroup$
– Bill Dubuque
Mar 28 at 18:33
add a comment |
$begingroup$
The way that text is written is ... cringeworthy at best. Honestly, with problems like these, any methods that use ring properties can also be solved with the equivalent integer manipulations. I don't know what the author is getting at.
$endgroup$
– Don Thousand
Mar 28 at 16:33
$begingroup$
Maybe just working with $(a+c)(b+d)pmod ab+cd$? I didn't work it out.
$endgroup$
– rschwieb
Mar 28 at 16:43
$begingroup$
Also $(a-c)(b-d)$ might be important, because if $ab+cd$ is assumed to be prime, it is associate to the other product I mentioned in the quotient ring.
$endgroup$
– rschwieb
Mar 28 at 16:51
$begingroup$
Sorry. I forgot to quote a paragraph. I have made it. It seems to use group theory.
$endgroup$
– bfhaha
Mar 28 at 16:59
$begingroup$
Af first glance, it seems to hint at employing the ring of Eisenstein integers. And a quick glance at an AoPS solution shows (unmotivated) integer calculations involving obvious Eisenstein integer norms, so it should be straightforward to reformulate that more naturally in Eisenstein arithmetic. Likely that is the "ring theoretic" solution implied in the book.
$endgroup$
– Bill Dubuque
Mar 28 at 18:33
$begingroup$
The way that text is written is ... cringeworthy at best. Honestly, with problems like these, any methods that use ring properties can also be solved with the equivalent integer manipulations. I don't know what the author is getting at.
$endgroup$
– Don Thousand
Mar 28 at 16:33
$begingroup$
The way that text is written is ... cringeworthy at best. Honestly, with problems like these, any methods that use ring properties can also be solved with the equivalent integer manipulations. I don't know what the author is getting at.
$endgroup$
– Don Thousand
Mar 28 at 16:33
$begingroup$
Maybe just working with $(a+c)(b+d)pmod ab+cd$? I didn't work it out.
$endgroup$
– rschwieb
Mar 28 at 16:43
$begingroup$
Maybe just working with $(a+c)(b+d)pmod ab+cd$? I didn't work it out.
$endgroup$
– rschwieb
Mar 28 at 16:43
$begingroup$
Also $(a-c)(b-d)$ might be important, because if $ab+cd$ is assumed to be prime, it is associate to the other product I mentioned in the quotient ring.
$endgroup$
– rschwieb
Mar 28 at 16:51
$begingroup$
Also $(a-c)(b-d)$ might be important, because if $ab+cd$ is assumed to be prime, it is associate to the other product I mentioned in the quotient ring.
$endgroup$
– rschwieb
Mar 28 at 16:51
$begingroup$
Sorry. I forgot to quote a paragraph. I have made it. It seems to use group theory.
$endgroup$
– bfhaha
Mar 28 at 16:59
$begingroup$
Sorry. I forgot to quote a paragraph. I have made it. It seems to use group theory.
$endgroup$
– bfhaha
Mar 28 at 16:59
$begingroup$
Af first glance, it seems to hint at employing the ring of Eisenstein integers. And a quick glance at an AoPS solution shows (unmotivated) integer calculations involving obvious Eisenstein integer norms, so it should be straightforward to reformulate that more naturally in Eisenstein arithmetic. Likely that is the "ring theoretic" solution implied in the book.
$endgroup$
– Bill Dubuque
Mar 28 at 18:33
$begingroup$
Af first glance, it seems to hint at employing the ring of Eisenstein integers. And a quick glance at an AoPS solution shows (unmotivated) integer calculations involving obvious Eisenstein integer norms, so it should be straightforward to reformulate that more naturally in Eisenstein arithmetic. Likely that is the "ring theoretic" solution implied in the book.
$endgroup$
– Bill Dubuque
Mar 28 at 18:33
add a comment |
0
active
oldest
votes
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%2f3166110%2fring-theoretical-method-of-solving-a-math-olympiad-problem%23new-answer', 'question_page');
);
Post as a guest
Required, but never shown
0
active
oldest
votes
0
active
oldest
votes
active
oldest
votes
active
oldest
votes
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.
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%2f3166110%2fring-theoretical-method-of-solving-a-math-olympiad-problem%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
$begingroup$
The way that text is written is ... cringeworthy at best. Honestly, with problems like these, any methods that use ring properties can also be solved with the equivalent integer manipulations. I don't know what the author is getting at.
$endgroup$
– Don Thousand
Mar 28 at 16:33
$begingroup$
Maybe just working with $(a+c)(b+d)pmod ab+cd$? I didn't work it out.
$endgroup$
– rschwieb
Mar 28 at 16:43
$begingroup$
Also $(a-c)(b-d)$ might be important, because if $ab+cd$ is assumed to be prime, it is associate to the other product I mentioned in the quotient ring.
$endgroup$
– rschwieb
Mar 28 at 16:51
$begingroup$
Sorry. I forgot to quote a paragraph. I have made it. It seems to use group theory.
$endgroup$
– bfhaha
Mar 28 at 16:59
$begingroup$
Af first glance, it seems to hint at employing the ring of Eisenstein integers. And a quick glance at an AoPS solution shows (unmotivated) integer calculations involving obvious Eisenstein integer norms, so it should be straightforward to reformulate that more naturally in Eisenstein arithmetic. Likely that is the "ring theoretic" solution implied in the book.
$endgroup$
– Bill Dubuque
Mar 28 at 18:33