Trigonometric diophantine equations (On vanishing sums of roots of unity)
John Conway, A. Jones (1976)
Acta Arithmetica
Similarity:
John Conway, A. Jones (1976)
Acta Arithmetica
Similarity:
Artur Korniłowicz, Adam Naumowicz (2016)
Formalized Mathematics
Similarity:
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∞fWiki (https://proofwiki.org/wiki/Niven’s_Theorem#Source_of_Name). For this proof, we have also formalized the rational and integral root theorems setting constraints on solutions of polynomial equations with integer coefficients [8, 9].
Yahya, Q.A.M.M. (1968)
Portugaliae mathematica
Similarity:
Petulante, Nelson, Kaja, Ifeoma (2000)
International Journal of Mathematics and Mathematical Sciences
Similarity:
L. Carlitz (1972)
Rendiconti del Seminario Matematico della Università di Padova
Similarity:
Yahya, Q.A.M.M. (1976)
Portugaliae mathematica
Similarity:
Florian Luca, P. G. Walsh (2004)
Colloquium Mathematicae
Similarity:
We show that there exist infinitely many positive integers r not of the form (p-1)/2 - ϕ(p-1), thus providing an affirmative answer to a question of Neville Robbins.
Yonghui Wang, Claus Bauer (2004)
Acta Arithmetica
Similarity:
T. W. Müller, J.-C. Schlage-Puchta (2004)
Acta Arithmetica
Similarity:
A. Oppenheim (1964)
Acta Arithmetica
Similarity:
J. Cohn (1977)
Acta Arithmetica
Similarity:
Robert Juricevic (2009)
Acta Arithmetica
Similarity:
Chakrabarti, Ranabir, Santhanam, Thalanayar S. (2000)
International Journal of Mathematics and Mathematical Sciences
Similarity: