Fattorizzazione interi gaussiani
Scomponga qualsiasi intero gaussiano non nullo in primi gaussiani: 5 diventa −i · (1+2i) · (2+i), con unità, esponenti e norme. Tratta in modo coerente 1 + i, i primi che restano primi e quelli che si spezzano, utile per gli esercizi di algebra. Gratis nel suo browser.
- Gratis
- Funziona nel suo browser
- Senza registrazione
- I suoi dati restano sul dispositivo
Esegui gratis nel browser
Esempio risolto
- A
- 5
- B
- 0
- Intero di Gauss
- 5 -i
- Norma
- 25
- Unità (parte reale)
- 0
- Unità (parte immaginaria)
- -1
Gli interi gaussiani sono numeri complessi a + bi le cui parti reale e immaginaria sono interi ordinari. Proprio come ogni intero si fattorizza in modo unico in primi razionali, ogni intero gaussiano non nullo si fattorizza in modo unico in primi gaussiani, a meno di unità e ordine. Questa calcolatrice prende la coppia (a, b), esegue una fattorizzazione deterministica nell'anello Z[i] e restituisce un'unità in {1, −1, i, −i}, ciascuna base prima gaussiana in un associato preferito del primo quadrante, il suo esponente, la norma moltiplicativa a² + b² e una stringa compatta di fattorizzazione. La usi per controllare compiti di numeri algebrici, verificare dimostrazioni di crittografia che si appoggiano agli interi gaussiani, o alimentare primi strutturati in un'altra pipeline senza scrivere a mano cicli di prova in Z[i]. Lo zero viene rifiutato perché non ammette fattorizzazione prima.
Cosa restituisce la fattorizzazione in primi gaussiani
Un intero gaussiano è un elemento dell'anello Z[i], scritto a + bi con a e b interi. La sua norma moltiplicativa è N(a + bi) = a² + b², un intero ordinario non negativo che moltiplica sotto i prodotti. Le unità di Z[i] sono esattamente 1, −1, i e −i —gli elementi di norma uno.
Un intero gaussiano non unità π è primo in Z[i] quando non può essere scritto come prodotto di due non unità. Il teorema strutturale è classico: il primo razionale 2 si ramifica come un'unità per (1 + i) al quadrato; ogni primo razionale p ≡ 3 (mod 4) resta primo (inerte) in Z[i]; e ogni primo razionale p ≡ 1 (mod 4) si spezza come prodotto di due primi gaussiani coniugati di norma p, che si recuperano scrivendo p come somma di due quadrati.
Fattorizzare a + bi si riduce quindi a fattorizzare la sua norma negli interi ordinari, sollevare ogni primo razionale in Z[i] ed estrarre i primi gaussiani corrispondenti mediante divisione esatta.
Dove i primi gaussiani strutturati sono utili
I corsi di algebra e teoria dei numeri introducono Z[i] subito dopo la fattorizzazione unica negli interi ordinari, e gli studenti hanno bisogno di un oracolo affidabile che separi unità e primi e tratti in modo coerente 1 + i, i primi inerti congrui a tre modulo quattro e i primi spezzati congrui a uno modulo quattro. Le dimostrazioni di crittografia che illustrano ideali, norme o semplici esempi di reticoli su Z[i] possono mostrare i fattori primi di un elemento di sfida senza erigere un intero sistema di algebra computazionale.
I taccuini di ricerca e le pipeline automatizzate possono concatenare questo output in calcoli di MCD, generatori di ideali o equazioni di norma.
Casi d'uso
Compiti ed esami di algebra
Controlli le fattorizzazioni degli studenti di a+bi in primi gaussiani, comprese le unità e il caso speciale delle potenze di 1+i.
Correzione automatica gare e LMS
Valuti gli item di fattorizzazione di interi gaussiani con un oracolo deterministico che rifiuta lo zero e restituisce potenze prime ordinate.
Taccuini e demo di crypto
Alimenti primi strutturati di Z[i] in equazioni di norma, esempi di ideali o bozze di crittografia in aula senza installare un CAS.
Domande frequenti
Come si fattorizza un intero gaussiano a + bi?
Invii gli interi a e b (parti reale e immaginaria). La risposta elenca un'unità in {1,−1,i,−i}, potenze di primi gaussiani con esponenti, la norma a²+b² e una stringa di fattorizzazione.
Perché lo zero viene rifiutato?
L'elemento zero di Z[i] non ha fattorizzazione prima.
La calcolatrice di fattorizzazione di interi gaussiani è gratuita?
Lo strumento del browser gira gratis sul Suo dispositivo.
Come sono scritti i primi gaussiani nel risultato?
Ciascun primo è ridotto a un associato preferito del primo quadrante (parte reale positiva e parte immaginaria non negativa quando possibile). Un campo unit separato assorbe l'unità residua affinché il prodotto ricostruisca a+bi esattamente.
Qual è la differenza rispetto alla fattorizzazione prima ordinaria?
La fattorizzazione prima ordinaria lavora in Z. Questo strumento lavora in Z[i]: il due può diventare una potenza di 1+i, i primi ≡ 1 (mod 4) si spezzano in coppie coniugate e i primi ≡ 3 (mod 4) restano primi.
Strumenti correlati
Per sviluppatori — accesso via API
Tutto quello che vedi in questa pagina è disponibile anche via API. Questa sezione è per i team che vogliono integrarlo nei propri sistemi; chi non ne ha bisogno può semplicemente usare lo strumento qui sopra.
Endpoint
Autenticazione con Bearer token: un POST mette in coda l'attività e il risultato arriva via webhook o link firmato.
Chiamala dal tuo stack
curl -X POST https://api.kit.forhosting.com/numth/gaussian-integer-factor \
-H "Authorization: Bearer $KIT_KEY" \
-H "Content-Type: application/json" \
-d '{"a":5,"b":0}'const res = await fetch("https://api.kit.forhosting.com/numth/gaussian-integer-factor", {
method: "POST",
headers: {
"Authorization": `Bearer ${process.env.KIT_KEY}`,
"Content-Type": "application/json"
},
body: JSON.stringify({
"a": 5,
"b": 0
})
});
const { task_id } = await res.json();import os, requests
res = requests.post(
"https://api.kit.forhosting.com/numth/gaussian-integer-factor",
headers={"Authorization": f"Bearer {os.environ['KIT_KEY']}"},
json={
"a": 5,
"b": 0
},
)
task_id = res.json()["task_id"]<?php
$res = file_get_contents("https://api.kit.forhosting.com/numth/gaussian-integer-factor", false, stream_context_create([
"http" => [
"method" => "POST",
"header" => "Authorization: Bearer " . getenv("KIT_KEY") . "\r\nContent-Type: application/json",
"content" => '{"a":5,"b":0}',
],
]));
$task = json_decode($res, true);body := bytes.NewBufferString(`{"a":5,"b":0}`)
req, _ := http.NewRequest("POST", "https://api.kit.forhosting.com/numth/gaussian-integer-factor", body)
req.Header.Set("Authorization", "Bearer "+os.Getenv("KIT_KEY"))
req.Header.Set("Content-Type", "application/json")
res, _ := http.DefaultClient.Do(req)Esempio di richiesta
{
"a": 5,
"b": 0
}Esempio di risposta
{
"task_id": "tsk_a1b2c3d4e5f6a1b2c3d4e5f6",
"type": "numth.gaussian_integer_factor",
"status": "queued",
"_links": {
"result": "/tasks/tsk_…/result"
}
}L'API è asincrona: ricevi subito un task_id e puoi fare polling fino a 1 richiesta al secondo.
Prezzi
Prezzo pubblicato, senza token né crediti. Se l'attività fallisce, non paghi.
Errori
| HTTP | Codice | Significato |
|---|---|---|
401 | unauthorized | Chiave API mancante o non valida: controlla l'header Authorization. |
402 | insufficient_balance | Credito esaurito: ricarica per continuare a eseguire attività. |
404 | unknown_type | Tipo di attività sconosciuto: controlla il campo type della richiesta. |
429 | rate_limited | Troppe richieste in poco tempo: rallenta e riprova tra qualche secondo. |
Note tecniche
Il percorso gratuito del browser e l'API condividono lo stesso modulo puro, così i controlli in aula e i client di produzione non divergono mai su un dato input.
Cosa restituisce la fattorizzazione in primi gaussiani
Questo endpoint restituisce quella fattorizzazione in forma stabile: un'unità preferita, primi ordinati per norma crescente e poi per parti reale e immaginaria, ciascun primo scritto nel primo quadrante (parte immaginaria non negativa e parte reale positiva quando possibile), insieme a omega (basi prime distinte), big_omega (molteplicità totale), indicatori di unità e primi gaussiani, e una stringa leggibile di fattorizzazione. Lo stesso percorso deterministico alimenta lo strumento gratuito del browser e l'API a pagamento a $0.002 per richiesta riuscita.
Come chiamare la calcolatrice e leggere il risultato
Esempi composti includono il cinque uguale a un'unità per (1 + 2i) per (2 + i), il due uguale a un'unità per (1 + i) al quadrato, e il tre che resta primo come il primo razionale inerte tre. Invii un oggetto JSON con due campi interi obbligatori: a (parte reale) e b (parte immaginaria). Sono accettati gli alias real o re per a, e imag o im per b. Ciascuna parte può essere un intero JSON o una stringa decimale semplice senza virgole, spazi o notazione scientifica, e ciascun valore assoluto deve restare entro un milione affinché la divisione per tentativi sulla norma resti pratica. La coppia (0, 0) è rifiutata con invalid_input e non viene mai addebitata, perché lo zero non ha fattorizzazione prima in Z[i]. Unità come 1, −1, i e −i hanno successo con un array factors vuoto, is_unit true, e l'unità stessa nel campo unit. In caso di successo il corpo riecheggia a e b, una stringa gaussiana compatta come 3+4i, la norma decimale, unit e unit_re/unit_im, un array ordinato factors di oggetti con re, im, prime, exponent e norm, più omega, big_omega, factorization, is_unit e is_prime. is_prime è true esattamente quando c'è una sola base prima con esponente uno (l'input è associato a un primo gaussiano). La validazione fallita non consuma mai saldo; solo le fattorizzazioni riuscite addebitano il $0.002 pubblicato.
Dove i primi gaussiani strutturati sono utili
I problemi di gara e i giudici di programmazione che chiedono la fattorizzazione negli interi gaussiani traggono vantaggio da un contratto JSON stabile byte per byte piuttosto che da una stringa libera che il correttore debba interpretare a mano. Usi il percorso del browser per l'esplorazione interattiva e l'API quando un backend, un notebook o un job batch deve fattorizzare molti interi gaussiani sotto un unico saldo prepagato KIT senza abbonamento.