Rational with finite decimals values for sine, cosine, and tangent
$begingroup$
What are the possible combinations of sine, cosine, and tangent values such that all three are simultaneously rational with finite decimals?
I am aware of the below two cases.
$sin(x) = 0, cos(x) = 1, tan(x) = 0$ is a trivial case for angle measure zero
$sin(x) = 0.6, cos(x) = 0.8, tan(x) = 0.75$ is another case, for an angle of $37$ degrees (approximately)
Are there any other combinations that satisfy the condition? If not, is it possible to prove that these are the only possible combinations?
Edit: Sorry, I missed one detail when posting the question. I am looking for sin, cos and tan values being rational numbers with finite decimals. For example, (7, 24, 25) is a Pythagorean triple that does not satisfy the condition because tan value would be 0.291666....
algebra-precalculus trigonometry rational-numbers rationality-testing
New contributor
$endgroup$
add a comment |
$begingroup$
What are the possible combinations of sine, cosine, and tangent values such that all three are simultaneously rational with finite decimals?
I am aware of the below two cases.
$sin(x) = 0, cos(x) = 1, tan(x) = 0$ is a trivial case for angle measure zero
$sin(x) = 0.6, cos(x) = 0.8, tan(x) = 0.75$ is another case, for an angle of $37$ degrees (approximately)
Are there any other combinations that satisfy the condition? If not, is it possible to prove that these are the only possible combinations?
Edit: Sorry, I missed one detail when posting the question. I am looking for sin, cos and tan values being rational numbers with finite decimals. For example, (7, 24, 25) is a Pythagorean triple that does not satisfy the condition because tan value would be 0.291666....
algebra-precalculus trigonometry rational-numbers rationality-testing
New contributor
$endgroup$
4
$begingroup$
Any Pythagorean triple will give such values.
$endgroup$
– Blue
23 hours ago
$begingroup$
With your edit, any positive example will show a power of $25$ minus a power of $4$ being a square number, and you have essentially already found $25^0-4^0=0^2$ and $25^1-4^2=3^2$. Can you find any others?
$endgroup$
– Henry
21 hours ago
4
$begingroup$
Restricting it to terminating decimals makes the question much less interesting. There's no great mathematical significance to the fact that modern civilization tends to use decimal (and of course our computers use binary / hexadecimal).
$endgroup$
– PM 2Ring
20 hours ago
$begingroup$
Apart from the examples you have, I doubt there are any essentially different examples with fewer than ten decimal places, and there may be none
$endgroup$
– Henry
19 hours ago
1
$begingroup$
@PM2Ring What is interesting is a matter of opinion. If you wish, you can work on figuring out an algorithm for generating solutions in an arbitrary base, and then set the base to 10.
$endgroup$
– Acccumulation
13 hours ago
add a comment |
$begingroup$
What are the possible combinations of sine, cosine, and tangent values such that all three are simultaneously rational with finite decimals?
I am aware of the below two cases.
$sin(x) = 0, cos(x) = 1, tan(x) = 0$ is a trivial case for angle measure zero
$sin(x) = 0.6, cos(x) = 0.8, tan(x) = 0.75$ is another case, for an angle of $37$ degrees (approximately)
Are there any other combinations that satisfy the condition? If not, is it possible to prove that these are the only possible combinations?
Edit: Sorry, I missed one detail when posting the question. I am looking for sin, cos and tan values being rational numbers with finite decimals. For example, (7, 24, 25) is a Pythagorean triple that does not satisfy the condition because tan value would be 0.291666....
algebra-precalculus trigonometry rational-numbers rationality-testing
New contributor
$endgroup$
What are the possible combinations of sine, cosine, and tangent values such that all three are simultaneously rational with finite decimals?
I am aware of the below two cases.
$sin(x) = 0, cos(x) = 1, tan(x) = 0$ is a trivial case for angle measure zero
$sin(x) = 0.6, cos(x) = 0.8, tan(x) = 0.75$ is another case, for an angle of $37$ degrees (approximately)
Are there any other combinations that satisfy the condition? If not, is it possible to prove that these are the only possible combinations?
Edit: Sorry, I missed one detail when posting the question. I am looking for sin, cos and tan values being rational numbers with finite decimals. For example, (7, 24, 25) is a Pythagorean triple that does not satisfy the condition because tan value would be 0.291666....
algebra-precalculus trigonometry rational-numbers rationality-testing
algebra-precalculus trigonometry rational-numbers rationality-testing
New contributor
New contributor
edited 21 hours ago
Shahul
New contributor
asked 23 hours ago
ShahulShahul
363
363
New contributor
New contributor
4
$begingroup$
Any Pythagorean triple will give such values.
$endgroup$
– Blue
23 hours ago
$begingroup$
With your edit, any positive example will show a power of $25$ minus a power of $4$ being a square number, and you have essentially already found $25^0-4^0=0^2$ and $25^1-4^2=3^2$. Can you find any others?
$endgroup$
– Henry
21 hours ago
4
$begingroup$
Restricting it to terminating decimals makes the question much less interesting. There's no great mathematical significance to the fact that modern civilization tends to use decimal (and of course our computers use binary / hexadecimal).
$endgroup$
– PM 2Ring
20 hours ago
$begingroup$
Apart from the examples you have, I doubt there are any essentially different examples with fewer than ten decimal places, and there may be none
$endgroup$
– Henry
19 hours ago
1
$begingroup$
@PM2Ring What is interesting is a matter of opinion. If you wish, you can work on figuring out an algorithm for generating solutions in an arbitrary base, and then set the base to 10.
$endgroup$
– Acccumulation
13 hours ago
add a comment |
4
$begingroup$
Any Pythagorean triple will give such values.
$endgroup$
– Blue
23 hours ago
$begingroup$
With your edit, any positive example will show a power of $25$ minus a power of $4$ being a square number, and you have essentially already found $25^0-4^0=0^2$ and $25^1-4^2=3^2$. Can you find any others?
$endgroup$
– Henry
21 hours ago
4
$begingroup$
Restricting it to terminating decimals makes the question much less interesting. There's no great mathematical significance to the fact that modern civilization tends to use decimal (and of course our computers use binary / hexadecimal).
$endgroup$
– PM 2Ring
20 hours ago
$begingroup$
Apart from the examples you have, I doubt there are any essentially different examples with fewer than ten decimal places, and there may be none
$endgroup$
– Henry
19 hours ago
1
$begingroup$
@PM2Ring What is interesting is a matter of opinion. If you wish, you can work on figuring out an algorithm for generating solutions in an arbitrary base, and then set the base to 10.
$endgroup$
– Acccumulation
13 hours ago
4
4
$begingroup$
Any Pythagorean triple will give such values.
$endgroup$
– Blue
23 hours ago
$begingroup$
Any Pythagorean triple will give such values.
$endgroup$
– Blue
23 hours ago
$begingroup$
With your edit, any positive example will show a power of $25$ minus a power of $4$ being a square number, and you have essentially already found $25^0-4^0=0^2$ and $25^1-4^2=3^2$. Can you find any others?
$endgroup$
– Henry
21 hours ago
$begingroup$
With your edit, any positive example will show a power of $25$ minus a power of $4$ being a square number, and you have essentially already found $25^0-4^0=0^2$ and $25^1-4^2=3^2$. Can you find any others?
$endgroup$
– Henry
21 hours ago
4
4
$begingroup$
Restricting it to terminating decimals makes the question much less interesting. There's no great mathematical significance to the fact that modern civilization tends to use decimal (and of course our computers use binary / hexadecimal).
$endgroup$
– PM 2Ring
20 hours ago
$begingroup$
Restricting it to terminating decimals makes the question much less interesting. There's no great mathematical significance to the fact that modern civilization tends to use decimal (and of course our computers use binary / hexadecimal).
$endgroup$
– PM 2Ring
20 hours ago
$begingroup$
Apart from the examples you have, I doubt there are any essentially different examples with fewer than ten decimal places, and there may be none
$endgroup$
– Henry
19 hours ago
$begingroup$
Apart from the examples you have, I doubt there are any essentially different examples with fewer than ten decimal places, and there may be none
$endgroup$
– Henry
19 hours ago
1
1
$begingroup$
@PM2Ring What is interesting is a matter of opinion. If you wish, you can work on figuring out an algorithm for generating solutions in an arbitrary base, and then set the base to 10.
$endgroup$
– Acccumulation
13 hours ago
$begingroup$
@PM2Ring What is interesting is a matter of opinion. If you wish, you can work on figuring out an algorithm for generating solutions in an arbitrary base, and then set the base to 10.
$endgroup$
– Acccumulation
13 hours ago
add a comment |
4 Answers
4
active
oldest
votes
$begingroup$
Any Pythagorean triple will give you rational $sin, cos, tan$ values, and any triple of rational trig values will give you a Pythagorean triple.
The Pythagorean triples have been completely classified. Take two natural numbers $u>v$. Then
$$
(u^2-v^2)^2 + (2uv)^2=(u^2+v^2)^2
$$
and any Pythagorean triple is either of this form or a multiple of such a triple. So the possible rational $sin$ and $cos$ pairs are all possible values of
$$
frac{u^2-v^2}{u^2+v^2}text{ and }frac{2uv}{u^2+v^2}
$$
$endgroup$
$begingroup$
You are right, But I missed a detail in my question - it is now edited.
$endgroup$
– Shahul
21 hours ago
$begingroup$
@Shahul That's an easy fix. Make sure $u^2 + v^2$ is a divisor of $10^n$ for some $n$. In other words that the only prime numbers in the prime decomposition of $u^2 + v^2$ are $2$ and $5$.
$endgroup$
– Arthur
21 hours ago
2
$begingroup$
In order to guarantee $tan$ has finite decimal expansion too, you need either $2uv$ or $u^2-v^2$ to be a divisor of a power of $10$ too. Taking $u,v$ relatively prime and exactly one even (we can always assume that for Pythagorean triples) you can say much more - for instance, $2uv$ and $u^2+v^2$ are relatively prime, so if they both divide $10^n$, they are a power of $2$ and $5$ respectively.
$endgroup$
– Wojowu
20 hours ago
1
$begingroup$
@Wojowu And hence wlog $u=1$ and $v=2^k$ for some $kgeq0$, and $1+4^k=5^l$ so $5^l-4^k=1$, which has the unique integer solution $l=k=1$.
$endgroup$
– Servaes
20 hours ago
add a comment |
$begingroup$
A hypotenuse-$1$ right-angled triangle containing an angle $x$ has side length $sin x$ opposite it and $cos x$ adjacent to it, and if these are rational so is their ratio $tan x$. But these lengths are rational iff the triangle can be scaled to have integer side lengths, so the rational choices for $sin x,,cos x,,tan x$ with $x$ acute are precisely those obtained from Pythagorean triples. Extending to arbitrary angles so some functions may be negative, the general solution is $sin x=frac{2ab}{a^2+b^2},,cos x=frac{a^2-b^2}{a^2+b^2},,tan x=frac{2ab}{a^2-b^2}$ with $a,,binmathbb{Z},,anepm b$.
$endgroup$
add a comment |
$begingroup$
Note that
$$frac{sin(x)}{cos(x)} = tan(x)$$
Therefore, whenever sine and cosine are rational, and cosine nonzero, tangent is also rational. Since sine and cosine are also continuous for all real numbers $x$ and are what we call "onto" or "surjective" on the interval $[-1,1]$, for each number in that interval we can find $x$ such that $sin(x)$ and $cos(x)$ are that number.
We also know that the rationals are "dense" in the reals - that is, in between any two real numbers, you can always find a rational number. It ergo goes that we can find infinitely many $x$ combos so that $sin(x)$ and $cos(x)$ (independent of each other) are rational.
This doesn't really address the case of their ratio or them being rational at the same time, though.
For this, as noted by Blue in the comments, Pythagorean triples will always work. Pythagorean triples define three sides of a right triangle, specifically positive integer solutions to $a^2 + b^2 = c^2$. Because the triangle is a right triangle, we can also note that any $x$ we use as the angle here (opposite a leg) will be between $0$ and $pi/2$ in measure, noninclusive.
There is a method to generate infinitely many Pythagorean triples too! Take positive, unequal integers $m,n$ - any two you want. Then $a = 2mn, b = m^2 - n^2, c = m^2 + n^2$. Since $m,n$ are integers, then $a,b,c$ are integers. Then in turn $sin(x) = b/c$ (or $a/c$, depending on the choice of angle), and $cos(x) = a/c$ (or $b/c$), giving those two are rational. From that, we see that $tan(x) = b/a$ (or $a/b$) and thus is also ratio.
Thus, for each pair of unequal, positive integers $m,n$ we can have
$$sin(x) = frac{b}{c} = frac{m^2 - n^2}{m^2 + n^2} ;;; cos(x) = frac{2mn}{m^2 + n^2} ;;; tan(x) = frac{m^2 - n^2}{2mn}$$
giving infinitely many solutions such that $sin(x),cos(x),tan(x)$ are all rational. From there, finding the corresponding $x$ is trivial.
As for whether these are the only solutions, I do not know.
$endgroup$
add a comment |
$begingroup$
Have you tried using base $6$? I have heard that doing so can result in more accurate results when using $pi$. It may also work better in this case, as the desired result are finite decimals.
New contributor
$endgroup$
1
$begingroup$
Welcome to Math.SE. How is this relevant to the question. Please elaborate
$endgroup$
– Shailesh
5 hours ago
$begingroup$
Welcome to Mathematics Stack Exchange! A quick tour will enhance your experience. This post explains how to write a good question. The lingua franca for formulation is MathJax.
$endgroup$
– dantopa
4 hours ago
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
});
}
});
Shahul is a new contributor. Be nice, and check out our Code of Conduct.
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%2f3119802%2frational-with-finite-decimals-values-for-sine-cosine-and-tangent%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
4 Answers
4
active
oldest
votes
4 Answers
4
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
Any Pythagorean triple will give you rational $sin, cos, tan$ values, and any triple of rational trig values will give you a Pythagorean triple.
The Pythagorean triples have been completely classified. Take two natural numbers $u>v$. Then
$$
(u^2-v^2)^2 + (2uv)^2=(u^2+v^2)^2
$$
and any Pythagorean triple is either of this form or a multiple of such a triple. So the possible rational $sin$ and $cos$ pairs are all possible values of
$$
frac{u^2-v^2}{u^2+v^2}text{ and }frac{2uv}{u^2+v^2}
$$
$endgroup$
$begingroup$
You are right, But I missed a detail in my question - it is now edited.
$endgroup$
– Shahul
21 hours ago
$begingroup$
@Shahul That's an easy fix. Make sure $u^2 + v^2$ is a divisor of $10^n$ for some $n$. In other words that the only prime numbers in the prime decomposition of $u^2 + v^2$ are $2$ and $5$.
$endgroup$
– Arthur
21 hours ago
2
$begingroup$
In order to guarantee $tan$ has finite decimal expansion too, you need either $2uv$ or $u^2-v^2$ to be a divisor of a power of $10$ too. Taking $u,v$ relatively prime and exactly one even (we can always assume that for Pythagorean triples) you can say much more - for instance, $2uv$ and $u^2+v^2$ are relatively prime, so if they both divide $10^n$, they are a power of $2$ and $5$ respectively.
$endgroup$
– Wojowu
20 hours ago
1
$begingroup$
@Wojowu And hence wlog $u=1$ and $v=2^k$ for some $kgeq0$, and $1+4^k=5^l$ so $5^l-4^k=1$, which has the unique integer solution $l=k=1$.
$endgroup$
– Servaes
20 hours ago
add a comment |
$begingroup$
Any Pythagorean triple will give you rational $sin, cos, tan$ values, and any triple of rational trig values will give you a Pythagorean triple.
The Pythagorean triples have been completely classified. Take two natural numbers $u>v$. Then
$$
(u^2-v^2)^2 + (2uv)^2=(u^2+v^2)^2
$$
and any Pythagorean triple is either of this form or a multiple of such a triple. So the possible rational $sin$ and $cos$ pairs are all possible values of
$$
frac{u^2-v^2}{u^2+v^2}text{ and }frac{2uv}{u^2+v^2}
$$
$endgroup$
$begingroup$
You are right, But I missed a detail in my question - it is now edited.
$endgroup$
– Shahul
21 hours ago
$begingroup$
@Shahul That's an easy fix. Make sure $u^2 + v^2$ is a divisor of $10^n$ for some $n$. In other words that the only prime numbers in the prime decomposition of $u^2 + v^2$ are $2$ and $5$.
$endgroup$
– Arthur
21 hours ago
2
$begingroup$
In order to guarantee $tan$ has finite decimal expansion too, you need either $2uv$ or $u^2-v^2$ to be a divisor of a power of $10$ too. Taking $u,v$ relatively prime and exactly one even (we can always assume that for Pythagorean triples) you can say much more - for instance, $2uv$ and $u^2+v^2$ are relatively prime, so if they both divide $10^n$, they are a power of $2$ and $5$ respectively.
$endgroup$
– Wojowu
20 hours ago
1
$begingroup$
@Wojowu And hence wlog $u=1$ and $v=2^k$ for some $kgeq0$, and $1+4^k=5^l$ so $5^l-4^k=1$, which has the unique integer solution $l=k=1$.
$endgroup$
– Servaes
20 hours ago
add a comment |
$begingroup$
Any Pythagorean triple will give you rational $sin, cos, tan$ values, and any triple of rational trig values will give you a Pythagorean triple.
The Pythagorean triples have been completely classified. Take two natural numbers $u>v$. Then
$$
(u^2-v^2)^2 + (2uv)^2=(u^2+v^2)^2
$$
and any Pythagorean triple is either of this form or a multiple of such a triple. So the possible rational $sin$ and $cos$ pairs are all possible values of
$$
frac{u^2-v^2}{u^2+v^2}text{ and }frac{2uv}{u^2+v^2}
$$
$endgroup$
Any Pythagorean triple will give you rational $sin, cos, tan$ values, and any triple of rational trig values will give you a Pythagorean triple.
The Pythagorean triples have been completely classified. Take two natural numbers $u>v$. Then
$$
(u^2-v^2)^2 + (2uv)^2=(u^2+v^2)^2
$$
and any Pythagorean triple is either of this form or a multiple of such a triple. So the possible rational $sin$ and $cos$ pairs are all possible values of
$$
frac{u^2-v^2}{u^2+v^2}text{ and }frac{2uv}{u^2+v^2}
$$
edited 22 hours ago
answered 22 hours ago
ArthurArthur
116k7116198
116k7116198
$begingroup$
You are right, But I missed a detail in my question - it is now edited.
$endgroup$
– Shahul
21 hours ago
$begingroup$
@Shahul That's an easy fix. Make sure $u^2 + v^2$ is a divisor of $10^n$ for some $n$. In other words that the only prime numbers in the prime decomposition of $u^2 + v^2$ are $2$ and $5$.
$endgroup$
– Arthur
21 hours ago
2
$begingroup$
In order to guarantee $tan$ has finite decimal expansion too, you need either $2uv$ or $u^2-v^2$ to be a divisor of a power of $10$ too. Taking $u,v$ relatively prime and exactly one even (we can always assume that for Pythagorean triples) you can say much more - for instance, $2uv$ and $u^2+v^2$ are relatively prime, so if they both divide $10^n$, they are a power of $2$ and $5$ respectively.
$endgroup$
– Wojowu
20 hours ago
1
$begingroup$
@Wojowu And hence wlog $u=1$ and $v=2^k$ for some $kgeq0$, and $1+4^k=5^l$ so $5^l-4^k=1$, which has the unique integer solution $l=k=1$.
$endgroup$
– Servaes
20 hours ago
add a comment |
$begingroup$
You are right, But I missed a detail in my question - it is now edited.
$endgroup$
– Shahul
21 hours ago
$begingroup$
@Shahul That's an easy fix. Make sure $u^2 + v^2$ is a divisor of $10^n$ for some $n$. In other words that the only prime numbers in the prime decomposition of $u^2 + v^2$ are $2$ and $5$.
$endgroup$
– Arthur
21 hours ago
2
$begingroup$
In order to guarantee $tan$ has finite decimal expansion too, you need either $2uv$ or $u^2-v^2$ to be a divisor of a power of $10$ too. Taking $u,v$ relatively prime and exactly one even (we can always assume that for Pythagorean triples) you can say much more - for instance, $2uv$ and $u^2+v^2$ are relatively prime, so if they both divide $10^n$, they are a power of $2$ and $5$ respectively.
$endgroup$
– Wojowu
20 hours ago
1
$begingroup$
@Wojowu And hence wlog $u=1$ and $v=2^k$ for some $kgeq0$, and $1+4^k=5^l$ so $5^l-4^k=1$, which has the unique integer solution $l=k=1$.
$endgroup$
– Servaes
20 hours ago
$begingroup$
You are right, But I missed a detail in my question - it is now edited.
$endgroup$
– Shahul
21 hours ago
$begingroup$
You are right, But I missed a detail in my question - it is now edited.
$endgroup$
– Shahul
21 hours ago
$begingroup$
@Shahul That's an easy fix. Make sure $u^2 + v^2$ is a divisor of $10^n$ for some $n$. In other words that the only prime numbers in the prime decomposition of $u^2 + v^2$ are $2$ and $5$.
$endgroup$
– Arthur
21 hours ago
$begingroup$
@Shahul That's an easy fix. Make sure $u^2 + v^2$ is a divisor of $10^n$ for some $n$. In other words that the only prime numbers in the prime decomposition of $u^2 + v^2$ are $2$ and $5$.
$endgroup$
– Arthur
21 hours ago
2
2
$begingroup$
In order to guarantee $tan$ has finite decimal expansion too, you need either $2uv$ or $u^2-v^2$ to be a divisor of a power of $10$ too. Taking $u,v$ relatively prime and exactly one even (we can always assume that for Pythagorean triples) you can say much more - for instance, $2uv$ and $u^2+v^2$ are relatively prime, so if they both divide $10^n$, they are a power of $2$ and $5$ respectively.
$endgroup$
– Wojowu
20 hours ago
$begingroup$
In order to guarantee $tan$ has finite decimal expansion too, you need either $2uv$ or $u^2-v^2$ to be a divisor of a power of $10$ too. Taking $u,v$ relatively prime and exactly one even (we can always assume that for Pythagorean triples) you can say much more - for instance, $2uv$ and $u^2+v^2$ are relatively prime, so if they both divide $10^n$, they are a power of $2$ and $5$ respectively.
$endgroup$
– Wojowu
20 hours ago
1
1
$begingroup$
@Wojowu And hence wlog $u=1$ and $v=2^k$ for some $kgeq0$, and $1+4^k=5^l$ so $5^l-4^k=1$, which has the unique integer solution $l=k=1$.
$endgroup$
– Servaes
20 hours ago
$begingroup$
@Wojowu And hence wlog $u=1$ and $v=2^k$ for some $kgeq0$, and $1+4^k=5^l$ so $5^l-4^k=1$, which has the unique integer solution $l=k=1$.
$endgroup$
– Servaes
20 hours ago
add a comment |
$begingroup$
A hypotenuse-$1$ right-angled triangle containing an angle $x$ has side length $sin x$ opposite it and $cos x$ adjacent to it, and if these are rational so is their ratio $tan x$. But these lengths are rational iff the triangle can be scaled to have integer side lengths, so the rational choices for $sin x,,cos x,,tan x$ with $x$ acute are precisely those obtained from Pythagorean triples. Extending to arbitrary angles so some functions may be negative, the general solution is $sin x=frac{2ab}{a^2+b^2},,cos x=frac{a^2-b^2}{a^2+b^2},,tan x=frac{2ab}{a^2-b^2}$ with $a,,binmathbb{Z},,anepm b$.
$endgroup$
add a comment |
$begingroup$
A hypotenuse-$1$ right-angled triangle containing an angle $x$ has side length $sin x$ opposite it and $cos x$ adjacent to it, and if these are rational so is their ratio $tan x$. But these lengths are rational iff the triangle can be scaled to have integer side lengths, so the rational choices for $sin x,,cos x,,tan x$ with $x$ acute are precisely those obtained from Pythagorean triples. Extending to arbitrary angles so some functions may be negative, the general solution is $sin x=frac{2ab}{a^2+b^2},,cos x=frac{a^2-b^2}{a^2+b^2},,tan x=frac{2ab}{a^2-b^2}$ with $a,,binmathbb{Z},,anepm b$.
$endgroup$
add a comment |
$begingroup$
A hypotenuse-$1$ right-angled triangle containing an angle $x$ has side length $sin x$ opposite it and $cos x$ adjacent to it, and if these are rational so is their ratio $tan x$. But these lengths are rational iff the triangle can be scaled to have integer side lengths, so the rational choices for $sin x,,cos x,,tan x$ with $x$ acute are precisely those obtained from Pythagorean triples. Extending to arbitrary angles so some functions may be negative, the general solution is $sin x=frac{2ab}{a^2+b^2},,cos x=frac{a^2-b^2}{a^2+b^2},,tan x=frac{2ab}{a^2-b^2}$ with $a,,binmathbb{Z},,anepm b$.
$endgroup$
A hypotenuse-$1$ right-angled triangle containing an angle $x$ has side length $sin x$ opposite it and $cos x$ adjacent to it, and if these are rational so is their ratio $tan x$. But these lengths are rational iff the triangle can be scaled to have integer side lengths, so the rational choices for $sin x,,cos x,,tan x$ with $x$ acute are precisely those obtained from Pythagorean triples. Extending to arbitrary angles so some functions may be negative, the general solution is $sin x=frac{2ab}{a^2+b^2},,cos x=frac{a^2-b^2}{a^2+b^2},,tan x=frac{2ab}{a^2-b^2}$ with $a,,binmathbb{Z},,anepm b$.
answered 22 hours ago
J.G.J.G.
27.6k22843
27.6k22843
add a comment |
add a comment |
$begingroup$
Note that
$$frac{sin(x)}{cos(x)} = tan(x)$$
Therefore, whenever sine and cosine are rational, and cosine nonzero, tangent is also rational. Since sine and cosine are also continuous for all real numbers $x$ and are what we call "onto" or "surjective" on the interval $[-1,1]$, for each number in that interval we can find $x$ such that $sin(x)$ and $cos(x)$ are that number.
We also know that the rationals are "dense" in the reals - that is, in between any two real numbers, you can always find a rational number. It ergo goes that we can find infinitely many $x$ combos so that $sin(x)$ and $cos(x)$ (independent of each other) are rational.
This doesn't really address the case of their ratio or them being rational at the same time, though.
For this, as noted by Blue in the comments, Pythagorean triples will always work. Pythagorean triples define three sides of a right triangle, specifically positive integer solutions to $a^2 + b^2 = c^2$. Because the triangle is a right triangle, we can also note that any $x$ we use as the angle here (opposite a leg) will be between $0$ and $pi/2$ in measure, noninclusive.
There is a method to generate infinitely many Pythagorean triples too! Take positive, unequal integers $m,n$ - any two you want. Then $a = 2mn, b = m^2 - n^2, c = m^2 + n^2$. Since $m,n$ are integers, then $a,b,c$ are integers. Then in turn $sin(x) = b/c$ (or $a/c$, depending on the choice of angle), and $cos(x) = a/c$ (or $b/c$), giving those two are rational. From that, we see that $tan(x) = b/a$ (or $a/b$) and thus is also ratio.
Thus, for each pair of unequal, positive integers $m,n$ we can have
$$sin(x) = frac{b}{c} = frac{m^2 - n^2}{m^2 + n^2} ;;; cos(x) = frac{2mn}{m^2 + n^2} ;;; tan(x) = frac{m^2 - n^2}{2mn}$$
giving infinitely many solutions such that $sin(x),cos(x),tan(x)$ are all rational. From there, finding the corresponding $x$ is trivial.
As for whether these are the only solutions, I do not know.
$endgroup$
add a comment |
$begingroup$
Note that
$$frac{sin(x)}{cos(x)} = tan(x)$$
Therefore, whenever sine and cosine are rational, and cosine nonzero, tangent is also rational. Since sine and cosine are also continuous for all real numbers $x$ and are what we call "onto" or "surjective" on the interval $[-1,1]$, for each number in that interval we can find $x$ such that $sin(x)$ and $cos(x)$ are that number.
We also know that the rationals are "dense" in the reals - that is, in between any two real numbers, you can always find a rational number. It ergo goes that we can find infinitely many $x$ combos so that $sin(x)$ and $cos(x)$ (independent of each other) are rational.
This doesn't really address the case of their ratio or them being rational at the same time, though.
For this, as noted by Blue in the comments, Pythagorean triples will always work. Pythagorean triples define three sides of a right triangle, specifically positive integer solutions to $a^2 + b^2 = c^2$. Because the triangle is a right triangle, we can also note that any $x$ we use as the angle here (opposite a leg) will be between $0$ and $pi/2$ in measure, noninclusive.
There is a method to generate infinitely many Pythagorean triples too! Take positive, unequal integers $m,n$ - any two you want. Then $a = 2mn, b = m^2 - n^2, c = m^2 + n^2$. Since $m,n$ are integers, then $a,b,c$ are integers. Then in turn $sin(x) = b/c$ (or $a/c$, depending on the choice of angle), and $cos(x) = a/c$ (or $b/c$), giving those two are rational. From that, we see that $tan(x) = b/a$ (or $a/b$) and thus is also ratio.
Thus, for each pair of unequal, positive integers $m,n$ we can have
$$sin(x) = frac{b}{c} = frac{m^2 - n^2}{m^2 + n^2} ;;; cos(x) = frac{2mn}{m^2 + n^2} ;;; tan(x) = frac{m^2 - n^2}{2mn}$$
giving infinitely many solutions such that $sin(x),cos(x),tan(x)$ are all rational. From there, finding the corresponding $x$ is trivial.
As for whether these are the only solutions, I do not know.
$endgroup$
add a comment |
$begingroup$
Note that
$$frac{sin(x)}{cos(x)} = tan(x)$$
Therefore, whenever sine and cosine are rational, and cosine nonzero, tangent is also rational. Since sine and cosine are also continuous for all real numbers $x$ and are what we call "onto" or "surjective" on the interval $[-1,1]$, for each number in that interval we can find $x$ such that $sin(x)$ and $cos(x)$ are that number.
We also know that the rationals are "dense" in the reals - that is, in between any two real numbers, you can always find a rational number. It ergo goes that we can find infinitely many $x$ combos so that $sin(x)$ and $cos(x)$ (independent of each other) are rational.
This doesn't really address the case of their ratio or them being rational at the same time, though.
For this, as noted by Blue in the comments, Pythagorean triples will always work. Pythagorean triples define three sides of a right triangle, specifically positive integer solutions to $a^2 + b^2 = c^2$. Because the triangle is a right triangle, we can also note that any $x$ we use as the angle here (opposite a leg) will be between $0$ and $pi/2$ in measure, noninclusive.
There is a method to generate infinitely many Pythagorean triples too! Take positive, unequal integers $m,n$ - any two you want. Then $a = 2mn, b = m^2 - n^2, c = m^2 + n^2$. Since $m,n$ are integers, then $a,b,c$ are integers. Then in turn $sin(x) = b/c$ (or $a/c$, depending on the choice of angle), and $cos(x) = a/c$ (or $b/c$), giving those two are rational. From that, we see that $tan(x) = b/a$ (or $a/b$) and thus is also ratio.
Thus, for each pair of unequal, positive integers $m,n$ we can have
$$sin(x) = frac{b}{c} = frac{m^2 - n^2}{m^2 + n^2} ;;; cos(x) = frac{2mn}{m^2 + n^2} ;;; tan(x) = frac{m^2 - n^2}{2mn}$$
giving infinitely many solutions such that $sin(x),cos(x),tan(x)$ are all rational. From there, finding the corresponding $x$ is trivial.
As for whether these are the only solutions, I do not know.
$endgroup$
Note that
$$frac{sin(x)}{cos(x)} = tan(x)$$
Therefore, whenever sine and cosine are rational, and cosine nonzero, tangent is also rational. Since sine and cosine are also continuous for all real numbers $x$ and are what we call "onto" or "surjective" on the interval $[-1,1]$, for each number in that interval we can find $x$ such that $sin(x)$ and $cos(x)$ are that number.
We also know that the rationals are "dense" in the reals - that is, in between any two real numbers, you can always find a rational number. It ergo goes that we can find infinitely many $x$ combos so that $sin(x)$ and $cos(x)$ (independent of each other) are rational.
This doesn't really address the case of their ratio or them being rational at the same time, though.
For this, as noted by Blue in the comments, Pythagorean triples will always work. Pythagorean triples define three sides of a right triangle, specifically positive integer solutions to $a^2 + b^2 = c^2$. Because the triangle is a right triangle, we can also note that any $x$ we use as the angle here (opposite a leg) will be between $0$ and $pi/2$ in measure, noninclusive.
There is a method to generate infinitely many Pythagorean triples too! Take positive, unequal integers $m,n$ - any two you want. Then $a = 2mn, b = m^2 - n^2, c = m^2 + n^2$. Since $m,n$ are integers, then $a,b,c$ are integers. Then in turn $sin(x) = b/c$ (or $a/c$, depending on the choice of angle), and $cos(x) = a/c$ (or $b/c$), giving those two are rational. From that, we see that $tan(x) = b/a$ (or $a/b$) and thus is also ratio.
Thus, for each pair of unequal, positive integers $m,n$ we can have
$$sin(x) = frac{b}{c} = frac{m^2 - n^2}{m^2 + n^2} ;;; cos(x) = frac{2mn}{m^2 + n^2} ;;; tan(x) = frac{m^2 - n^2}{2mn}$$
giving infinitely many solutions such that $sin(x),cos(x),tan(x)$ are all rational. From there, finding the corresponding $x$ is trivial.
As for whether these are the only solutions, I do not know.
answered 22 hours ago
Eevee TrainerEevee Trainer
6,41811237
6,41811237
add a comment |
add a comment |
$begingroup$
Have you tried using base $6$? I have heard that doing so can result in more accurate results when using $pi$. It may also work better in this case, as the desired result are finite decimals.
New contributor
$endgroup$
1
$begingroup$
Welcome to Math.SE. How is this relevant to the question. Please elaborate
$endgroup$
– Shailesh
5 hours ago
$begingroup$
Welcome to Mathematics Stack Exchange! A quick tour will enhance your experience. This post explains how to write a good question. The lingua franca for formulation is MathJax.
$endgroup$
– dantopa
4 hours ago
add a comment |
$begingroup$
Have you tried using base $6$? I have heard that doing so can result in more accurate results when using $pi$. It may also work better in this case, as the desired result are finite decimals.
New contributor
$endgroup$
1
$begingroup$
Welcome to Math.SE. How is this relevant to the question. Please elaborate
$endgroup$
– Shailesh
5 hours ago
$begingroup$
Welcome to Mathematics Stack Exchange! A quick tour will enhance your experience. This post explains how to write a good question. The lingua franca for formulation is MathJax.
$endgroup$
– dantopa
4 hours ago
add a comment |
$begingroup$
Have you tried using base $6$? I have heard that doing so can result in more accurate results when using $pi$. It may also work better in this case, as the desired result are finite decimals.
New contributor
$endgroup$
Have you tried using base $6$? I have heard that doing so can result in more accurate results when using $pi$. It may also work better in this case, as the desired result are finite decimals.
New contributor
edited 4 hours ago
dantopa
6,51942244
6,51942244
New contributor
answered 5 hours ago
cboscbos
11
11
New contributor
New contributor
1
$begingroup$
Welcome to Math.SE. How is this relevant to the question. Please elaborate
$endgroup$
– Shailesh
5 hours ago
$begingroup$
Welcome to Mathematics Stack Exchange! A quick tour will enhance your experience. This post explains how to write a good question. The lingua franca for formulation is MathJax.
$endgroup$
– dantopa
4 hours ago
add a comment |
1
$begingroup$
Welcome to Math.SE. How is this relevant to the question. Please elaborate
$endgroup$
– Shailesh
5 hours ago
$begingroup$
Welcome to Mathematics Stack Exchange! A quick tour will enhance your experience. This post explains how to write a good question. The lingua franca for formulation is MathJax.
$endgroup$
– dantopa
4 hours ago
1
1
$begingroup$
Welcome to Math.SE. How is this relevant to the question. Please elaborate
$endgroup$
– Shailesh
5 hours ago
$begingroup$
Welcome to Math.SE. How is this relevant to the question. Please elaborate
$endgroup$
– Shailesh
5 hours ago
$begingroup$
Welcome to Mathematics Stack Exchange! A quick tour will enhance your experience. This post explains how to write a good question. The lingua franca for formulation is MathJax.
$endgroup$
– dantopa
4 hours ago
$begingroup$
Welcome to Mathematics Stack Exchange! A quick tour will enhance your experience. This post explains how to write a good question. The lingua franca for formulation is MathJax.
$endgroup$
– dantopa
4 hours ago
add a comment |
Shahul is a new contributor. Be nice, and check out our Code of Conduct.
Shahul is a new contributor. Be nice, and check out our Code of Conduct.
Shahul is a new contributor. Be nice, and check out our Code of Conduct.
Shahul is a new contributor. Be nice, and check out our Code of Conduct.
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%2f3119802%2frational-with-finite-decimals-values-for-sine-cosine-and-tangent%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
4
$begingroup$
Any Pythagorean triple will give such values.
$endgroup$
– Blue
23 hours ago
$begingroup$
With your edit, any positive example will show a power of $25$ minus a power of $4$ being a square number, and you have essentially already found $25^0-4^0=0^2$ and $25^1-4^2=3^2$. Can you find any others?
$endgroup$
– Henry
21 hours ago
4
$begingroup$
Restricting it to terminating decimals makes the question much less interesting. There's no great mathematical significance to the fact that modern civilization tends to use decimal (and of course our computers use binary / hexadecimal).
$endgroup$
– PM 2Ring
20 hours ago
$begingroup$
Apart from the examples you have, I doubt there are any essentially different examples with fewer than ten decimal places, and there may be none
$endgroup$
– Henry
19 hours ago
1
$begingroup$
@PM2Ring What is interesting is a matter of opinion. If you wish, you can work on figuring out an algorithm for generating solutions in an arbitrary base, and then set the base to 10.
$endgroup$
– Acccumulation
13 hours ago