Rappresentazione come somma di tre quadrati

Questa calcolatrice per la rappresentazione come somma di tre quadrati riceve un intero non negativo e trova interi espliciti a, b e c tali che n = a² + b² + c². Prima della ricerca applica inoltre il teorema dei tre quadrati di Legendre; un intero nella forma vietata 4^a(8b+7) produce quindi un errore chiaro anziché un calcolo inutile. Il risultato comprende i tre termini, un'equazione leggibile e un indicatore di verifica, ed è utile per lo studio, i test software e i flussi esatti di teoria dei numeri.

Trasformi un teorema di esistenza in una rappresentazione esplicita

Il teorema dei tre quadrati di Legendre fornisce un criterio completo per stabilire se un intero non negativo può essere scritto come somma di tre quadrati interi. Sapere che una rappresentazione esiste, tuttavia, è spesso solo l'inizio. Esercizi, dimostrazioni, dati di test e ricerche computazionali richiedono normalmente i valori effettivi.

Inserisca n e la calcolatrice restituirà una terna deterministica secondo un ordine di ricerca crescente, insieme a un'equazione che Lei può controllare direttamente. Lo zero è accettato e sono consentiti termini nulli, perché una rappresentazione può usare meno di tre quadrati non nulli. Per esempio, un quadrato perfetto può essere restituito con due termini zero.

L'array squares contiene le basi e non i valori già elevati al quadrato: [1, 2, 3] indica quindi 1² + 2² + 3². L'equazione allegata elimina ogni ambiguità, mentre il campo di verifica conferma il controllo dell'aritmetica intera. Chiamate ripetute con lo stesso input producono la medesima rappresentazione, caratteristica utile per documentazione riproducibile e test automatizzati.

Comprenda la forma vietata 4^a(8b+7)

Gli unici interi non negativi che non possono essere espressi mediante tre quadrati sono quelli scrivibili come 4^a(8b+7), dove a e b sono interi non negativi. La calcolatrice verifica questa condizione rimuovendo ripetutamente i fattori quattro e poi esaminando il resto modulo otto. Se il valore ridotto è congruente a sette, non esiste alcuna rappresentazione e la richiesta restituisce un errore di input non valido che identifica la forma vietata.

È un'impossibilità matematica, non un timeout o una risposta inconcludente. Come esempi rapidi, 7 è vietato direttamente, 28 lo è perché equivale a 4 × 7 e 112 resta vietato dopo la rimozione di due fattori quattro. Al contrario, la semplice presenza di un fattore quattro non esclude automaticamente un numero: anche la sua parte ridotta deve essere sette modulo otto.

Applicare prima il teorema permette di distinguere con precisione un input malformato, una dimensione non supportata e un intero valido che non ha soluzione per dimostrazione. Evita inoltre di scorrere candidati quando la matematica ha già risolto il problema.

Utilizzi risultati deterministici in sicurezza nei programmi

Le stringhe sono comode quando un modulo fornisce testo, ma segni, spazi, punti decimali, separatori e notazione scientifica vengono rifiutati per mantenere un significato esatto. Per i valori ammessi, l'algoritmo esamina il primo quadrato in ordine crescente e risolve il restante problema dei due quadrati mediante puntatori interi contrapposti. Non usa rete, scelte casuali, orologi o stato condiviso mutabile.

Di conseguenza, sia la terna trovata sia ogni decisione di validazione restano stabili. In un'applicazione, legga i tre elementi di squares e calcoli separatamente a² + b² + c² se desidera un'asserzione locale; l'equazione è destinata alla visualizzazione. Tratti una risposta di forma vietata come un risultato matematico comunicato dall'errore standard di input non valido, senza riprovare.