Is a function whose derivative vanishes at rationals constant? [duplicate]

real-analysis calculus derivatives

The function $f$ doesn't have to be constant!

A non-constant function $f$ with the required properties is given as Exercise 13.J in A. C. M. van Rooij, W. H. Schikhof, A Second Course on Real Functions, based on an example due to Y. Katznelson and Karl Stromberg, in Everywhere differentiable, nowhere monotone, functions, Amer. Math. Monthly 81 (1974), 349–354, jstor.

Here is a copy of the example:

c1

c2

c3

c4

Another example is has been constructed by Dimitrie Pompeiu in Sur les fonctions dérivées, Math. Ann. 63 (1907), no. 3, 326—332, doi: 10.1007/BF01449201, eudml, GDZ.

You can have a look here.

Related

How are values of the Dirichlet Beta function derivative derived?
Hard contest type trigonometry proof
Definition of a Topology through neighbourhood basis?
$\left\lfloor \frac{1}{\sqrt{1}}+\frac{1}{\sqrt{2}}+\frac{1}{\sqrt{3}}+\frac{1}{\sqrt{4}}+...+\frac{1}{\sqrt{1024}}\right\rfloor =?$
When do the measure-theoretic and elementary definitions of conditional probability/expectation coincide?
Trip around the Earth
Why does the higher order derivative test work?
Properties of Hardy operator $T(u)(x)=\frac{1}{x}\int_0^x u(t)dt$
Integral $ \int_0^\infty \frac{\ln x}{(x+c)(x-1)} dx$
Expected number of cycles in permutation [duplicate]
What are the solutions for $a(n)$ and $b(n)$ when $a(n+1)=a(n)b(n)$ and $b(n+1)=a(n)+b(n)$?
Homology group of Real projective plane