Zobrazeno 1 - 10
of 58
pro vyhledávání: '"Niven's theorem"'
Niven's theorem asserts that $\{\cos(r\pi) \mid r\in \mathbb{Q}\}\cap \mathbb{Q}=\{0,\pm 1,\pm 1/2\}.$ In this paper, we use elementary techniques and results from arithmetic dynamics to obtain an algorithm for classifying all values in the set $\{\c
Externí odkaz:
http://arxiv.org/abs/2304.07823
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Samart, Detchat1 petesamart@gmail.com
Publikováno v:
International Journal of Mathematical Education in Science & Technology. Apr2024, Vol. 55 Issue 4, p1024-1031. 8p.
Autor:
Korniłowicz, Artur1, Naumowicz, Adam1
Publikováno v:
Formalized Mathematics. Dec2016, Vol. 24 Issue 4, p301-308. 8p.
Autor:
Paolillo, Bonaventura1, Vincenzi, Giovanni2 vincenzi@unisa.it
Publikováno v:
International Journal of Mathematical Education in Science & Technology. Sep2021, Vol. 52 Issue 6, p959-964. 6p.
Autor:
Detchat Samart
Publikováno v:
International Journal of Mathematical Education in Science and Technology. :1-8
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d5b66216eba056c3cde8c752a9af3bef
https://doi.org/10.1080/0020739x.2022.2101029
https://doi.org/10.1080/0020739x.2022.2101029
Autor:
Adam Naumowicz, Artur Korniłowicz
Publikováno v:
Formalized Mathematics, Vol 24, Iss 4, Pp 301-308 (2016)
Summary This article formalizes the proof of Niven’s theorem [12] which states that if x/π and sin(x) are both rational, then the sine takes values 0, ±1/2, and ±1. The main part of the formalization follows the informal proof presented at Pr∞
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::447b4b10bbf6f61d33e9372d172ea98a
https://doaj.org/article/b6343f726d65400ca69dec2d4d4f12a0
https://doaj.org/article/b6343f726d65400ca69dec2d4d4f12a0
Autor:
BERGER, ARNO1 berger@ualberta.ca
Publikováno v:
Carpathian Journal of Mathematics. 2018, Vol. 34 Issue 2, p157-166. 10p.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.