Exercice  programmation : Découverte de la densité de ℚ dans ℝ et la propriété archimédienne de ℝ

#include <stdio.h>

int main() {
    double x, y;
    printf("Entrez deux nombres réels x et y tels que x < y : ");
    scanf("%lf %lf", &x, &y);

    // Vérification de la condition x < y
    if (x >= y) {
        printf("Erreur : Vous devez entrer x < y.\n");
        return 1;
    }

    // Recherche d'un nombre rationnel q tel que x < q < y
    int numerateur = (int)x + 1; // Commence par la valeur entière juste après x
    int denominateur = 1;
    double q;

    // Boucle pour trouver un rationnel q tel que x < q < y
    while (1) {
        q = (double)numerateur / denominateur;
        if (q > x && q < y) {
            printf("Un rationnel trouvé entre %.2lf et %.2lf : %d/%d\n", x, y, numerateur, denominateur);
            break;
        }
        numerateur++;
    }

    // Vérification de la propriété archimédienne pour un nombre réel donné
    printf("Entrez un nombre réel pour vérifier la propriété archimédienne : ");
    scanf("%lf", &x);

    // Recherche d'un entier n tel que n > x
    int n = (int)x + 1;
    printf("L'entier n tel que n > %.2lf est %d.\n", x, n);

    return 0;
}