Thomae's function: Difference between revisions

Content deleted Content added
Related functions: deadlink can be fixed (see https://www.maa.org/programs/faculty-and-departments/classroom-capsules-and-notes/a-characterization-of-the-set-of-points-of-continuity-of-a-real-function) but seems too far off-topic to keep
Pokyrek (talk | contribs)
m q instead of p (both are correct, but we need q)
Line 31:
For all <math>x \in \mathbb Q,\;</math> there exist <math>p \in \mathbb Z</math> and <math>q \in \mathbb N</math> such that <math>\;x = p/q,\;</math> and <math>\gcd(p,\;q) = 1.</math>
Consider <math>x + n = (p + nq) / q</math>. If <math>d</math> [[divisor|divides]] <math>p</math> and <math>q</math>, it divides <math>p + nq</math>
and <math>pq</math>. Conversely, if <math>d</math> divides <math>p + nq</math> and <math>q</math>, it divides <math>(p + nq) - nq = p</math> and <math>q</math>. So <math>\gcd(p + nq, q) = \gcd(p, q) = 1</math>, and <math>f(x + n) = 1/q = f(x)</math>.
{{Collapse bottom}}