Calcolatore del postulato di addizione dei segmenti

Il postulato dell'addizione dei segmenti è la prima identità di lunghezze della geometria euclidea: se il punto B giace tra A e C su una retta, le due parti sommano esattamente il tutto, scritto AB + BC = AC. Ogni risultato successivo su punti collineari, punti medi e segmenti congruenti poggia su quella sola frase. Questo calcolatore applica il postulato nella forma di cui gli studenti hanno bisogno al banco: fornisca due qualunque delle tre lunghezze finite AB, BC e AC, e restituisce la lunghezza mancante insieme al tripletto già completato. Quando i due numeri dati costringerebbero la parte ignota a essere negativa — un presunto tutto più corto di una delle sue parti — viene sollevato lo stesso errore tipizzato, invece di inventare una distanza con segno.

Che cosa afferma il postulato dell'addizione dei segmenti

Prenda tre punti collineari A, B e C con B compreso tra A e C. Il tratto che parte da A e termina in C è un segmento di lunghezza AC, e il punto interno B lo divide in due pezzi minori AB e BC. Il postulato dell'addizione dei segmenti sostiene che quei pezzi non sono ornamenti indipendenti del disegno: le loro lunghezze si sommano, senza resto e senza sovrapposizione, alla lunghezza del tutto.

In simboli l'affermazione è AB + BC = AC, e quella sola equazione basta a recuperare quale dei tre numeri un enunciato ha lasciato in bianco. Se le due parti sono note, il tutto è la loro somma. Se il tutto e una parte sono noti, l'altra parte è la differenza, purché essa non sia negativa: un resto negativo significherebbe che la «parte» etichettata è già più lunga del segmento in cui dovrebbe stare, cosa impossibile per la lunghezza euclidea ordinaria.

Il postulato non richiede un sistema di coordinate, una conversione di unità né un angolo. È un enunciato solo su intermediarietà e misura, ed è per questo che un calcolatore a tre campi può realizzarlo con un'addizione o una sottrazione e pochi controlli di segno. Il linguaggio d'aula a volte riformula lo stesso fatto come «il tutto è uguale alla somma delle sue parti» oppure scrive le tre lettere in un altro ordine (BA + AC = BC quando A è il punto interno).

Contratto di ingresso, come si ottiene la lunghezza mancante e gli errori

Lasci del tutto fuori il campo ignoto; non invii null. Lo zero è una lunghezza degenere lecita (A e B coincidono, oppure il punto interno cade su un estremo). Quando il campo omesso è ac, la risposta è ab più bc.

Quando l'omesso è bc, la risposta è ac meno ab. Quando l'omesso è ab, la risposta è ac meno bc. Se quella differenza è negativa, la coppia viola il postulato e l'attività fallisce invece di restituire una lunghezza con segno.

In caso di successo, il corpo riecheggia il tripletto completo ab, bc e ac; nomina il campo ricostruito in missing; riporta la misura ricostruita in length; e ripete l'identità in formula come AB + BC = AC. I numeri sono arrotondati a dodici decimali così i riferimenti coincidono byte per byte tra ambienti. Esempio: ab uguale a cinque e bc uguale a otto produce ac tredici, missing ac e length tredici.

Esempio: ab uguale a cinque e ac uguale a tredici produce bc otto. Le unità transitano invariate: centimetri in ingresso, centimetri in uscita.

Dove un calcolatore di addizione di segmenti merita il proprio posto

Le aule di geometria e le piattaforme di tutoraggio usano un calcolatore del postulato di addizione dei segmenti affinché chi impara controlli una lunghezza mancante senza invertire a mano un'addizione o una sottrazione, e poi veda il tripletto AB, BC, AC completato accanto alla formula da annotare a margine. I generatori di preparazione agli esami e i plugin LMS necessitano di un oracolo deterministico che segni una lunghezza negativa come errata, invece di restituire in silenzio un NaN che un correttore difettoso potrebbe prendere per un successo.

Gli script di disegno, CAD e tracciamento di cantiere spesso conoscono due distanze misurate su un muro o su una distinta di taglio e hanno bisogno della terza misura collineare prima di collocare un montante, una saldatura o una quota. Le pipeline di giochi e mappe che memorizzano i punti di passaggio come una catena di lunghezze di segmento recuperano il tratto mancante allo stesso modo, senza richiamare un intero sistema di algebra computazionale per una sola addizione. La convalida fallita non consuma il saldo.

Tenga le richieste piccole, fissi la lunghezza arrotondata nei test e otterrà lunghezze mancanti riproducibili per i compiti, i correttori in lotto e i worker di bordo, senza erigere una propria infrastruttura di geometria simbolica.