Objectif: soient x<y deux réels, chercher (p,q) de (Z x N*) tels que x<=p/q<=y
Analyse: les pas 1/q doivent vérifier 1/q<=y-x. p est le plus petit nombre de "pas" de longueur 1/q pour être dans [x,y[, donc (p-1)/q<=x<p/q ~> on pose p=E(qx)+1
Synthèse: à partir de p, mq x<=p/q<y
Objectif: soient x<y deux réels, chercher (p,q) de (Z x N*) tels que x<=p/q<=y
Analyse: les pas 1/q doivent vérifier 1/q<=y-x. p est le plus petit nombre de "pas" de longueur 1/q pour être dans [x,y[, donc (p-1)/q<=x<p/q ~> on pose p=E(qx)+1
Synthèse: à partir de p, mq x<=p/q<y
Plusieurs thread à venir ça...
Plusieurs thread à venir ça...