Is it possible get an algebraic expression for $sin 1°$ that does not contain roots of negative values?
$begingroup$
Is it possible get an algebraic expression for $sin 1°$ that does not contain roots of negative values, so that it can be evaluated entirely using only real numbers?
For example, this paper gives some algebraic expressions for it, but they all involve complex numbers.
trigonometry algebraic-number-theory real-numbers
$endgroup$
add a comment |
$begingroup$
Is it possible get an algebraic expression for $sin 1°$ that does not contain roots of negative values, so that it can be evaluated entirely using only real numbers?
For example, this paper gives some algebraic expressions for it, but they all involve complex numbers.
trigonometry algebraic-number-theory real-numbers
$endgroup$
$begingroup$
It seems to be hard dogding the usage of complex numbers here since, as far as I can tell from the given sources, it appears to be common sense reducing the whole problem back to $sin(3x)=3sin(x)-4sin^3(x)$ which leaves us with a cubic equation in $sin(x)$ $($assuming $sin(3)$ as known$)$. Solving this invokes complex numbers in a natural way due the general solving formulae for cubic equations.
$endgroup$
– mrtaurho
Jan 27 at 19:46
add a comment |
$begingroup$
Is it possible get an algebraic expression for $sin 1°$ that does not contain roots of negative values, so that it can be evaluated entirely using only real numbers?
For example, this paper gives some algebraic expressions for it, but they all involve complex numbers.
trigonometry algebraic-number-theory real-numbers
$endgroup$
Is it possible get an algebraic expression for $sin 1°$ that does not contain roots of negative values, so that it can be evaluated entirely using only real numbers?
For example, this paper gives some algebraic expressions for it, but they all involve complex numbers.
trigonometry algebraic-number-theory real-numbers
trigonometry algebraic-number-theory real-numbers
edited Jan 27 at 20:02


Blue
49.2k870157
49.2k870157
asked Jan 27 at 19:21
tmlentmlen
20617
20617
$begingroup$
It seems to be hard dogding the usage of complex numbers here since, as far as I can tell from the given sources, it appears to be common sense reducing the whole problem back to $sin(3x)=3sin(x)-4sin^3(x)$ which leaves us with a cubic equation in $sin(x)$ $($assuming $sin(3)$ as known$)$. Solving this invokes complex numbers in a natural way due the general solving formulae for cubic equations.
$endgroup$
– mrtaurho
Jan 27 at 19:46
add a comment |
$begingroup$
It seems to be hard dogding the usage of complex numbers here since, as far as I can tell from the given sources, it appears to be common sense reducing the whole problem back to $sin(3x)=3sin(x)-4sin^3(x)$ which leaves us with a cubic equation in $sin(x)$ $($assuming $sin(3)$ as known$)$. Solving this invokes complex numbers in a natural way due the general solving formulae for cubic equations.
$endgroup$
– mrtaurho
Jan 27 at 19:46
$begingroup$
It seems to be hard dogding the usage of complex numbers here since, as far as I can tell from the given sources, it appears to be common sense reducing the whole problem back to $sin(3x)=3sin(x)-4sin^3(x)$ which leaves us with a cubic equation in $sin(x)$ $($assuming $sin(3)$ as known$)$. Solving this invokes complex numbers in a natural way due the general solving formulae for cubic equations.
$endgroup$
– mrtaurho
Jan 27 at 19:46
$begingroup$
It seems to be hard dogding the usage of complex numbers here since, as far as I can tell from the given sources, it appears to be common sense reducing the whole problem back to $sin(3x)=3sin(x)-4sin^3(x)$ which leaves us with a cubic equation in $sin(x)$ $($assuming $sin(3)$ as known$)$. Solving this invokes complex numbers in a natural way due the general solving formulae for cubic equations.
$endgroup$
– mrtaurho
Jan 27 at 19:46
add a comment |
1 Answer
1
active
oldest
votes
$begingroup$
If this would be possible, you could also get an algebraic expression for $sin(10^o)$ that doesn't contain complex numbers. That is one of three real roots
of the cubic $8 z^3 - 6 z + 1$. Now see casus irreducibilis: given a cubic with rational coefficients that is irreducible over the rationals and has three real roots, it is impossible to express the roots using real radicals.
$endgroup$
$begingroup$
More generally, trig values (when defined) of rational degree angles can be expressed in terms of real radicals if and only if the values are constructible real numbers, a result that Andrzej W. Mostowski proved in this 1948 paper, although the result was known prior to this, possibly by Mostowski himself, although he doesn't say either way in the paper. (This paper appeared in the first volume of Colloquium Mathematicum, and the early volume of this journal often published student-authored and student-level non-research papers.)
$endgroup$
– Dave L. Renfro
Jan 27 at 20:19
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%2f3090008%2fis-it-possible-get-an-algebraic-expression-for-sin-1-that-does-not-contain-r%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
1 Answer
1
active
oldest
votes
1 Answer
1
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
If this would be possible, you could also get an algebraic expression for $sin(10^o)$ that doesn't contain complex numbers. That is one of three real roots
of the cubic $8 z^3 - 6 z + 1$. Now see casus irreducibilis: given a cubic with rational coefficients that is irreducible over the rationals and has three real roots, it is impossible to express the roots using real radicals.
$endgroup$
$begingroup$
More generally, trig values (when defined) of rational degree angles can be expressed in terms of real radicals if and only if the values are constructible real numbers, a result that Andrzej W. Mostowski proved in this 1948 paper, although the result was known prior to this, possibly by Mostowski himself, although he doesn't say either way in the paper. (This paper appeared in the first volume of Colloquium Mathematicum, and the early volume of this journal often published student-authored and student-level non-research papers.)
$endgroup$
– Dave L. Renfro
Jan 27 at 20:19
add a comment |
$begingroup$
If this would be possible, you could also get an algebraic expression for $sin(10^o)$ that doesn't contain complex numbers. That is one of three real roots
of the cubic $8 z^3 - 6 z + 1$. Now see casus irreducibilis: given a cubic with rational coefficients that is irreducible over the rationals and has three real roots, it is impossible to express the roots using real radicals.
$endgroup$
$begingroup$
More generally, trig values (when defined) of rational degree angles can be expressed in terms of real radicals if and only if the values are constructible real numbers, a result that Andrzej W. Mostowski proved in this 1948 paper, although the result was known prior to this, possibly by Mostowski himself, although he doesn't say either way in the paper. (This paper appeared in the first volume of Colloquium Mathematicum, and the early volume of this journal often published student-authored and student-level non-research papers.)
$endgroup$
– Dave L. Renfro
Jan 27 at 20:19
add a comment |
$begingroup$
If this would be possible, you could also get an algebraic expression for $sin(10^o)$ that doesn't contain complex numbers. That is one of three real roots
of the cubic $8 z^3 - 6 z + 1$. Now see casus irreducibilis: given a cubic with rational coefficients that is irreducible over the rationals and has three real roots, it is impossible to express the roots using real radicals.
$endgroup$
If this would be possible, you could also get an algebraic expression for $sin(10^o)$ that doesn't contain complex numbers. That is one of three real roots
of the cubic $8 z^3 - 6 z + 1$. Now see casus irreducibilis: given a cubic with rational coefficients that is irreducible over the rationals and has three real roots, it is impossible to express the roots using real radicals.
answered Jan 27 at 19:59
Robert IsraelRobert Israel
329k23217470
329k23217470
$begingroup$
More generally, trig values (when defined) of rational degree angles can be expressed in terms of real radicals if and only if the values are constructible real numbers, a result that Andrzej W. Mostowski proved in this 1948 paper, although the result was known prior to this, possibly by Mostowski himself, although he doesn't say either way in the paper. (This paper appeared in the first volume of Colloquium Mathematicum, and the early volume of this journal often published student-authored and student-level non-research papers.)
$endgroup$
– Dave L. Renfro
Jan 27 at 20:19
add a comment |
$begingroup$
More generally, trig values (when defined) of rational degree angles can be expressed in terms of real radicals if and only if the values are constructible real numbers, a result that Andrzej W. Mostowski proved in this 1948 paper, although the result was known prior to this, possibly by Mostowski himself, although he doesn't say either way in the paper. (This paper appeared in the first volume of Colloquium Mathematicum, and the early volume of this journal often published student-authored and student-level non-research papers.)
$endgroup$
– Dave L. Renfro
Jan 27 at 20:19
$begingroup$
More generally, trig values (when defined) of rational degree angles can be expressed in terms of real radicals if and only if the values are constructible real numbers, a result that Andrzej W. Mostowski proved in this 1948 paper, although the result was known prior to this, possibly by Mostowski himself, although he doesn't say either way in the paper. (This paper appeared in the first volume of Colloquium Mathematicum, and the early volume of this journal often published student-authored and student-level non-research papers.)
$endgroup$
– Dave L. Renfro
Jan 27 at 20:19
$begingroup$
More generally, trig values (when defined) of rational degree angles can be expressed in terms of real radicals if and only if the values are constructible real numbers, a result that Andrzej W. Mostowski proved in this 1948 paper, although the result was known prior to this, possibly by Mostowski himself, although he doesn't say either way in the paper. (This paper appeared in the first volume of Colloquium Mathematicum, and the early volume of this journal often published student-authored and student-level non-research papers.)
$endgroup$
– Dave L. Renfro
Jan 27 at 20:19
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.
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%2f3090008%2fis-it-possible-get-an-algebraic-expression-for-sin-1-that-does-not-contain-r%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$
It seems to be hard dogding the usage of complex numbers here since, as far as I can tell from the given sources, it appears to be common sense reducing the whole problem back to $sin(3x)=3sin(x)-4sin^3(x)$ which leaves us with a cubic equation in $sin(x)$ $($assuming $sin(3)$ as known$)$. Solving this invokes complex numbers in a natural way due the general solving formulae for cubic equations.
$endgroup$
– mrtaurho
Jan 27 at 19:46