Calculateur du postulat d'addition des segments

Le postulat d'addition des segments est la première identité de longueurs de la géométrie euclidienne : si le point B se trouve entre A et C sur une droite, les deux parties s'additionnent exactement au tout, écrit AB + BC = AC. Tout résultat ultérieur sur les points colinéaires, les milieux et les segments congruents repose sur cette seule phrase. Ce calculateur applique le postulat sous la forme dont les élèves ont besoin au pupitre : fournissez deux quelconques des trois longueurs finies AB, BC et AC, et il renvoie la longueur manquante avec le triplet déjà complété.

Ce que dit le postulat d'addition des segments

Prenez trois points colinéaires A, B et C avec B entre A et C. Le trajet qui part de A et s'achève en C est un segment de longueur AC, et le point intérieur B le partage en deux morceaux plus petits AB et BC. Le postulat d'addition des segments affirme que ces pièces ne sont pas des ornements indépendants du schéma : leurs longueurs s'additionnent, sans reste et sans chevauchement, à la longueur du tout.

En symboles, l'affirmation est AB + BC = AC, et cette seule équation suffit à retrouver lequel des trois nombres un énoncé a laissé en blanc. Si les deux parties sont connues, le tout est leur somme. Si le tout et une partie sont connus, l'autre partie est la différence, pourvu que celle-ci ne soit pas négative — un reste négatif signifierait que la « partie » étiquetée est déjà plus longue que le segment dans lequel elle devrait tenir, ce qui est impossible pour une longueur euclidienne ordinaire.

Le postulat n'exige ni système de coordonnées, ni conversion d'unités, ni angle. C'est un énoncé sur l'intermédiarité et la mesure seulement, c'est pourquoi un calculateur à trois champs peut le réaliser avec une addition ou une soustraction et quelques contrôles de signe. Le langage de classe reformule parfois le même fait en « le tout est égal à la somme de ses parties » ou écrit les trois lettres dans un autre ordre (BA + AC = BC lorsque A est le point intérieur).

Contrat d'entrée, comment on trouve la longueur manquante et les erreurs

Laissez le champ inconnu entièrement de côté ; n'envoyez pas null. Zéro est une longueur dégénérée licite (A et B coïncident, ou le point intérieur tombe sur une extrémité). Lorsque le champ omis est ac, la réponse est ab plus bc.

Lorsque l'omis est bc, la réponse est ac moins ab. Lorsque l'omis est ab, la réponse est ac moins bc. Si cette différence est négative, le couple viole le postulat et la tâche échoue au lieu de renvoyer une longueur signée.

En cas de succès, le corps renvoie en écho le triplet complet ab, bc et ac ; nomme le champ reconstruit dans missing ; indique la mesure reconstruite dans length ; et répète l'identité dans formula sous la forme AB + BC = AC. Les nombres sont arrondis à douze décimales pour que les références coïncident octet par octet d'un moteur à l'autre. Exemple : ab égal à cinq et bc égal à huit donne ac treize, missing ac et length treize.

Exemple : ab égal à cinq et ac égal à treize donne bc huit. Les unités transitent sans changement : centimètres en entrée, centimètres en sortie.

Où un calculateur d'addition de segments rend service

Les salles de géométrie et les plateformes de tutorat utilisent un calculateur du postulat d'addition des segments pour que l'apprenant vérifie une longueur manquante sans inverser à la main une addition ou une soustraction, puis voie le triplet AB, BC, AC complété à côté de la formule qu'il doit inscrire en marge. Les générateurs de préparation aux examens et les greffons LMS ont besoin d'un oracle déterministe qui marque une longueur négative comme fausse, au lieu de renvoyer silencieusement un NaN qu'un correcteur défectueux pourrait prendre pour un succès.

Les scripts de dessin, de CAD et d'implantation connaissent souvent deux distances mesurées sur un mur ou une liste de coupe et ont besoin de la troisième mesure colinéaire avant de poser un montant, une soudure ou une cote. Les chaînes de jeux et de cartes qui stockent des points de passage comme une suite de longueurs de segment retrouvent le tronçon manquant de la même façon, sans tirer un système complet d'algèbre computationnelle pour une seule addition. Une validation échouée ne consomme pas le solde.

Gardez les requêtes petites, figez la longueur arrondie dans les tests, et vous obtiendrez des longueurs manquantes reproductibles pour les devoirs, les correcteurs par lots et les workers de bordure, sans dresser votre propre infrastructure de géométrie symbolique.