Pith. sign in

REVIEW

A dynamical system proof of Niven's theorem and its extensions

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 2304.07823 v1 pith:MWZDGG6S submitted 2023-04-16 math.NT math.DS

A dynamical system proof of Niven's theorem and its extensions

classification math.NT math.DS
keywords mathbbniventheoremalgorithmarbitraryarithmeticassertsclassifying
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved
0 comments
read the original abstract

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 $\{\cos(r\pi) \mid r\in \mathbb{Q}\}\cap K$, where $K$ is an arbitrary number field.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.