Nella geometria elementare, sinonimo di uguaglianza (➔) diretta, cioè di sovrapponibilità.
Nella teoria dei numeri, relazione di due numeri interi relativi a, b tali che la differenza a−b è divisibile [...] (per 3, 4, 5, 9, 11 ecc.) si giustificano appunto per mezzo della teoria delle congruenze. In tale teoria è particolarmente importante il teorema di Eulero: «Se a è primo con m, allora aΦ(m) ≡ 1 (mod. m)» [Φ(m) denota quanti dei numeri tra 1 ed ...
Leggi Tutto
Termine con cui è anche chiamata l'algebra combinatoria, disciplina che studia, piuttosto che le strutture algebriche classiche (gruppo, anello, corpo, ecc.), le strutture algebriche di tipo più semplice, [...] l’attenzione sul problema di cosa sia una dimostrazione. La storia ha un risvolto ironico: in una nuova prova del teorema dovuta a Neil Robertson, Daniel P. Sanders, Paul D. Seymour e Robin Thomas, gli autori sostituiscono il procedimento a mano ...
Leggi Tutto
Eulero
Eulèro [STF] Forma italianizz. assai frequente del cognome di L. Euler. ◆ [ALG] [MCC] Angoli di E.: terna di angoli con cui s'individua l'orientamento di un solido intorno a un punto o, che è [...] normale e curvature principali di una superficie: v. curve e superfici: II 80 c. ◆ [ALG] Formula di E. dei poliedri: detta anche teorema di E., è la formula che lega, in un poliedro convesso di genere 0, il numero dei vertici V, delle facce F e degli ...
Leggi Tutto
Laguerre Edmond-Nicolas
Laguerre 〈lag✄èr〉 Edmond-Nicolas [STF] (Bar-le-Duc 1834 - m. 1886) Ufficiale di artiglieria, poi prof. di geometria nell'Accademia delle scienze di Parigi (1874). ◆ [ANM] Equazione [...] differenziali ordinarie nel campo reale: II 459 d. ◆ [ANM] Polinomio di L.: lo stesso che funzione di L. (v. sopra). ◆ [ALG] Teorema di L.: data un'equazione algebrica f(x)=0 a coefficienti reali e un numero positivo a, il numero delle radici reali ...
Leggi Tutto
nullita
nullità [Der. del lat. nullitas -atis, da nullus "nessuno"] [LSF] L'essere nullo; raro nel signif. di annullarsi. ◆ [ALG] N. di una trasformazione lineare: è la dimensionalità del nucleo (←) [...] cioè è la matrice nulla, ha grado di n. n. Se si considera poi il prodotto AB di due matrici quadrate A, B di ordine n, il teorema di n. di Sylvester asserisce che la n. di AB da un lato non supera la somma delle n. dei due fattori e dall'altro non è ...
Leggi Tutto
omomorfismo
omomorfismo [Der. di omomorfo] [ALG] Corrispondenza tra due insiemi provvisti di struttura algebrica dello stesso tipo (due anelli, due gruppi, ecc.) che rispetti le operazioni definite nei [...] 100 a. ◆ [ALG] O. suriettivo: un o. che sia anche una suriezione (←). ◆ [ALG] Nucleo di un o.: v. topologia algebrica: VI 262 b. ◆ [ALG] Teorema fondamentale sugli o. tra gruppi: se f : G → G'è un o. tra i gruppi G e G' e si considera il nucleo Ker f ...
Leggi Tutto
permanenza
permanènza [Der. di permanente "atto ed effetto del permanere"] [ALG] In una successione di numeri relativi, in partic. in un'equazione algebrica ordinata, il susseguirsi di due termini aventi [...] il numero delle variazioni del segno nella detta successione dà, oppure supera di un numero pari, quello delle radici positive. ◆ [ANM] Teorema della p. del segno: una funzione continua f(x) per la quale, in un punto x₀, sia f(x₀)€0, mantiene lo ...
Leggi Tutto
Kronecker Leopold
Kronecker 〈króonekër〉 Leopold [STF] (Liegnitz 1823 - Berlino 1891) Prof. di matematica nell'univ. di Berlino (1883); socio straniero dei Lincei (1883). ◆ [ANM] [INF] Algoritmo di K.: [...] degli indici distinti inferiori, vale 0 in tutti gli altri casi. ◆ [RGR] Tensore di K.: v. relatività generale: IV 787 e. ◆ [ALG] Teorema di K.: (a) dato un numero finito di forme algebriche in r+1 variabili omogenee, l'insieme delle loro soluzioni è ...
Leggi Tutto
risolubile
risolùbile [agg. Der. del lat. resolubilis "che si può risolvere", dal part. pass. resolutus del lat. resolvere "sciogliere di nuovo"] [ALG] Equazione algebrica r. per radicali, o r. algebricamente: [...] tale, per es., il problema di trovare un procedimento per riconoscere se un enunciato qualunque è o no un teorema. ◆ [ALG] Problema r. con riga e compasso: quello, in genere elementare, che può essere risolto mediante costruzioni geometriche eseguite ...
Leggi Tutto
Guldin Paul
Guldin 〈gùldin〉 (italianizz. Guldino) Paul [STF] (San Gallo 1577 - Graz 1643) Gesuita, prof. di matematica in vari collegi del suo ordine. ◆ [ALG] Teoremi di G., detti anche teoremi di Pappo-G.: [...] della circonferenza C, descritta dal baricentro W della superficie stessa (fig. 2 B). Tanto il primo quanto il secondo teorema di G. permettono sia di determinare aree e volumi quando sono noti i baricentri, sia di determinare baricentri, quando ...
Leggi Tutto
teorema
teorèma s. m. [dal lat. tardo theorēma, gr. ϑεώρημα (propr. «ricerca, meditazione», der. di ϑεω-ρέω «esaminare, osservare»)] (pl. -i). – 1. Nella cultura classica e medievale, la «visione» sensibile o intellettiva e il relativo oggetto,...
inverso1
invèrso1 agg. e s. m. [dal lat. inversus, part. pass. di invertĕre «invertire»]. – 1. agg. Contrario, opposto, rovescio rispetto a un altro, rispetto al precedente, rispetto a ciò che è abituale: facciamo ora il caso i.; rifare il...