Salut à tous,
Je suis bloqué à la moitié d'un fichu exo de maths sur nombres réels/théorie des ensembles (chapitre que par ailleurs je déteste !!).
On a f(x) = x - E(x)
- il faut démontrer qu'un réel x est rationnel ssi il existe q €N* tel que f(qx) = 0 (si ça peut aider, j'ai prouvé avant que pour tt p€N*, f(px)=f[pf(x)])
- on pose x = p/q un rationnel ((p,q) € ZxN*) et il faut montrer que pour tout n€N*, f(nx)=f(rx) où r est le reste de la division euclidienne de n par q.
Voilà, un grand merci à ceux qui pourront éclairer ma lanterne...
-----