Paradoxe de Galilée sur l'infini
Galilée a associé chaque entier naturel à son carré, 1 avec 1, 2 avec 4, 3 avec 9, et constaté qu'aucune des deux listes ne s'épuise la première. Choisissez une limite jusqu'à 10 000 et voyez cette correspondance écrite en entier, nombre par nombre. Gratuit dans votre navigateur.
- Gratuit
- Fonctionne dans votre navigateur
- Sans inscription
- Vos données restent sur votre appareil
Lancer gratuitement
Exemple résolu
- Limite
- 5
- Quantité
- 5
Le paradoxe de l'infini de Galilée figure parmi les premières observations rigoureuses sur les ensembles infinis, consigné dans les Discours et démonstrations mathématiques concernant deux sciences nouvelles publiés en 1638. Les carrés parfaits se raréfient sans cesse parmi les entiers naturels, et pourtant Galilée associa chaque entier à exactement un carré : 1 à 1, 2 à 4, 3 à 9, et ainsi de suite indéfiniment. Aucune des deux collections ne s'épuise avant l'autre, de sorte que, dans le cas infini, les deux ensembles ont la même taille alors même que l'un est une partie propre de l'autre. Cet outil dresse explicitement la liste de ces couples pour chaque entier naturel de 1 jusqu'à une limite entière positive que vous choisissez, afin que la correspondance puisse être examinée, citée et vérifiée directement.
Ce que Galilée a réellement observé
Dans son dernier ouvrage, Galilée Galilei place un raisonnement troublant dans la bouche de son personnage Salviati. D'une part, les carrés parfaits forment une infime minorité des entiers naturels : parmi les cent premiers entiers, dix seulement sont des carrés, et parmi les dix mille premiers, cent seulement, si bien que la proportion ne cesse de décroître vers zéro.
D'autre part, tout entier naturel possède un carré, et tout carré possède exactement une racine carrée positive, de sorte qu'il existe un appariement biunivoque parfait entre les entiers naturels et les carrés. Si deux collections peuvent être appariées membre à membre sans reste d'aucun côté, disait Galilée, alors aucune ne peut honnêtement être déclarée plus grande.
Il en conclut que le langage ordinaire du « plus », du « moins » et de l'« égal » ne s'applique tout simplement pas aux collections infinies comme il s'applique aux collections finies, et il en resta là sur ce véritable paradoxe. Le préfixe fini que produit cet outil est l'ombre concrète et vérifiable de ce raisonnement : pour toute limite positive, la liste des couples présente chaque nombre à côté de son propre carré, sans répétition ni lacune d'aucun côté.
La correspondance biunivoque, rendue finie et visible
Une correspondance biunivoque, ou bijection, est un appariement dans lequel chaque élément de la première collection est associé à exactement un élément de la seconde, et où rien dans l'une ou l'autre collection n'est laissé sans correspondant ni associé deux fois. L'application qui envoie chaque entier naturel n sur son carré n² est précisément un tel appariement : des nombres de départ différents donnent toujours des carrés différents, et chaque carré provient d'une seule racine positive.
Lorsque vous envoyez une limite à cette capacité, la réponse contient un enregistrement par entier naturel de un jusqu'à cette limite, chaque enregistrement contenant le nombre et son carré. Le parcours des couples démontre les deux propriétés constitutives par simple inspection. Premièrement, la colonne n visite chaque entier naturel de l'intervalle exactement une fois, si bien que l'appariement est total et univoque.
Deuxièmement, la colonne des carrés ne contient aucun doublon, car la fonction carré est strictement croissante sur les entiers positifs. Toute limite jusqu'à dix mille est acceptée, ce qui maintient le résultat assez court pour être lu intégralement tout en rendant l'argument de densité frappant : à la limite maximale, les carrés n'occupent qu'un pour cent de l'intervalle.
Du paradoxe de Galilée à la théorie des ensembles infinis de Cantor
Galilée traita le paradoxe comme un avertissement : l'infini résiste à la comparaison quotidienne, et les mathématiques laissèrent la question en suspens pendant environ deux siècles et demi. Dans les années 1870, Georg Cantor renversa l'observation pour en faire une définition : deux ensembles, finis ou infinis, ont le même cardinal précisément lorsqu'il existe une correspondance biunivoque entre eux.
Selon cette définition, les entiers naturels et les carrés parfaits ont réellement la même taille, tout comme les nombres pairs et les entiers, ce fait que Galilée avait trouvé trop étrange pour l'accepter. Cantor démontra ensuite que tous les ensembles infinis ne s'apparient pas avec les entiers naturels — les nombres réels, notamment, ne le font pas — de sorte que l'infini se décline finalement en plusieurs tailles, mesurées par appariement plutôt que par comptage.
L'étude d'appariements finis explicites, comme ceux que produit cet outil, constitue la voie pédagogique classique vers cette théorie : le motif 1-1, 2-4, 3-9 est une bijection que l'on peut voir, et son prolongement mental au-delà de toute borne est exactement le geste que Cantor a formalisé.
Cas d’usage
Cours de théorie des ensembles et sur l'infini
Les enseignants qui introduisent les bijections et la notion de cardinalité de Cantor peuvent montrer l'appariement explicite nombre-carré pour une limite choisie au lieu de le tracer à la main au tableau.
Groupes de lecture en histoire des mathématiques
Les groupes qui travaillent sur les Deux sciences nouvelles de Galilée peuvent reproduire la correspondance exacte que décrit Salviati et vérifier la densité des carrés dans tout intervalle fini.
Génération programmatique de tables de carrés
Les notebooks, démonstrations et jeux d'essai qui exigent une table fiable de n accompagné de n² pour n allant de 1 à une borne peuvent l'obtenir en un seul appel déterministe.
Questions fréquentes
Qu'est-ce que le paradoxe de l'infini de Galilée ?
Galilée observa en 1638 que, bien que les carrés parfaits se raréfient toujours davantage parmi les entiers naturels, chaque entier naturel n s'apparie exactement à son carré n², de sorte que les deux collections infinies peuvent être mises en correspondance biunivoque — une contradiction pour les idées courantes de « plus » et de « moins ».
Quelles valeurs d'entrée sont acceptées ?
Uniquement les entiers positifs de 1 à 10000.
Pourquoi cela montre-t-il que les deux ensembles ont la même taille ?
L'appariement est une bijection : chaque entier naturel apparaît exactement une fois dans la colonne n et chaque carré listé apparaît exactement une fois dans la colonne des carrés. Puisque rien, d'aucun côté, n'est laissé sans correspondant ni dupliqué, aucune des deux collections ne peut être plus nombreuse que l'autre.
Qui a formulé le paradoxe de Galilée, et quand ?
Galilée lui-même, dans son dernier livre, les Discours et démonstrations mathématiques concernant deux sciences nouvelles, paru en 1638. Il place l'argument dans la bouche de son personnage Salviati et le laisse ouvert, comme un véritable paradoxe.
Combien y a-t-il de carrés parfaits parmi les 100 premiers nombres ?
Seulement 10, et parmi les 10 000 premiers, il n'y en a que 100. La proportion ne cesse de tendre vers zéro, et pourtant chaque entier naturel possède son propre carré, sans exception.
Outils associés
Pour les développeurs — accès API
Tout sur cette page est disponible par programmation. Cette section s'adresse aux équipes qui veulent l'intégrer à leurs systèmes ; les autres peuvent simplement utiliser l'outil ci-dessus.
Endpoint
Authentification par jeton Bearer : un seul POST met la tâche en file d’attente, et le résultat vous parvient par webhook ou lien signé.
Appeler depuis votre stack
curl -X POST https://api.kit.forhosting.com/math/galileos-paradox-of-infinity \
-H "Authorization: Bearer $KIT_KEY" \
-H "Content-Type: application/json" \
-d '{"limit":10}'const res = await fetch("https://api.kit.forhosting.com/math/galileos-paradox-of-infinity", {
method: "POST",
headers: {
"Authorization": `Bearer ${process.env.KIT_KEY}`,
"Content-Type": "application/json"
},
body: JSON.stringify({
"limit": 10
})
});
const { task_id } = await res.json();import os, requests
res = requests.post(
"https://api.kit.forhosting.com/math/galileos-paradox-of-infinity",
headers={"Authorization": f"Bearer {os.environ['KIT_KEY']}"},
json={
"limit": 10
},
)
task_id = res.json()["task_id"]<?php
$res = file_get_contents("https://api.kit.forhosting.com/math/galileos-paradox-of-infinity", false, stream_context_create([
"http" => [
"method" => "POST",
"header" => "Authorization: Bearer " . getenv("KIT_KEY") . "\r\nContent-Type: application/json",
"content" => '{"limit":10}',
],
]));
$task = json_decode($res, true);body := bytes.NewBufferString(`{"limit":10}`)
req, _ := http.NewRequest("POST", "https://api.kit.forhosting.com/math/galileos-paradox-of-infinity", body)
req.Header.Set("Authorization", "Bearer "+os.Getenv("KIT_KEY"))
req.Header.Set("Content-Type", "application/json")
res, _ := http.DefaultClient.Do(req)Exemple de requête
{
"limit": 10
}Exemple de réponse
{
"task_id": "tsk_a1b2c3d4e5f6a1b2c3d4e5f6",
"type": "math.galileos_paradox_of_infinity",
"status": "queued",
"_links": {
"result": "/tasks/tsk_…/result"
}
}L’API est asynchrone : chaque appel renvoie un task_id immédiatement, puis vous interrogez l’état à raison d’une requête par seconde.
Tarifs
Le prix est publié, sans tokens ni crédits. Une tâche qui échoue n’est pas facturée.
Limites
max_limit | 10000 |
Erreurs
| HTTP | Code | Signification |
|---|---|---|
401 | unauthorized | Clé API absente ou invalide : vérifiez l’en-tête Authorization. |
402 | insufficient_balance | Solde insuffisant : rechargez votre compte pour lancer cette tâche. |
404 | unknown_type | Type de tâche inconnu : vérifiez le champ type de votre requête. |
429 | rate_limited | Trop de requêtes : ralentissez la cadence, puis réessayez. |
Notes techniques
Du paradoxe de Galilée à la théorie des ensembles infinis de Cantor
Le comportement en cas d'erreur est lui aussi simple et déterministe : toute limite qui n'est pas un entier positif, ou qui dépasse dix mille, est rejetée avec une erreur invalid_input désignant le champ fautif.
Questions techniques
Comment obtenir l'appariement avec cette API ?
Envoyez un corps JSON contenant un champ 'limit' entier positif à math.galileos_paradox_of_infinity. La réponse énumère les couples, un enregistrement par n de 1 jusqu'à limit avec son carré, ainsi que le nombre de couples.
Combien coûte chaque appel ?
La capacité coûte $0.002 par élément, le tarif plancher du catalogue pour les capacités d'analyse de niveau A. La même logique d'appariement s'exécute aussi gratuitement dans le widget du navigateur.