congruenza
Luca Tomassini
Relazione tra due elementi dell’insieme ℤ dei numeri interi relativi (cioè positivi, negativi o nulli) a e b della forma a=b+mk, con m,k∈ℤ rispettivamente fissato e arbitrario. [...] m primi tra loro (il loro più grande divisore comune è 1) appartengono tutte a un’unica classe. Un celebre risultato concernente le equazioni alle congruenze è il piccolo teorema di Fermat: se p è un numero primo e a non è divisibile per p, allora aπ ...
Leggi Tutto
Cassini Gian Domenico
Cassini Gian Domenico [STF] (Perinaldo, Imperia, 1625 - Parigi 1712) Astronomo a Genova, poi a Bologna, prof. di astronomia nell'univ. di quest'ultima città e infine (1669) nominato [...] a una costante positiva a2. Preso per asse x la retta per i detti due punti e per origine il punto medio O del segmento P₁P₂=2c, l'equazione della curva, parametrica in a, è (x2+y2)2-2c2(x2-y2)+c4-a4=0. Se a<c, la curva è costituita da due ovali ...
Leggi Tutto
Cartan Elie
Cartan 〈kartàn〉 Elie [STF] (Dolomieu 1869 - Parigi 1951) Prof. di geometria superiore nell'univ. di Parigi (1909); socio straniero dei Lincei (1927). ◆ [ALG] Algebra di C.: data un'algebra [...] condizione necessaria e sufficiente perché un'algebra di Lie sia semisemplice: v. gruppi classici, teoria dei: III 112 f. ◆ [ALG] Equazione strutturale di C.: v. connessione: I 727 d. ◆ [ALG] Matrice di C.: v. gruppi classici, teoria dei: III 113 e ...
Leggi Tutto
trisecante
trisecante [agg. Der. del part. pres. trisecans -antis "che divide in tre parti", part. pres. di trisecare, comp. di tri- "tri-" e secare "tagliare"] [ALG] Di retta che incontra una curva [...] il punto P simmetrico di B rispetto ad A descrive la t.; prendendo O come polo e r come asse risulta una quartica razionale di equazione cartesiana (x2+y2)(y2-4a2)+4a4=0, ove a rappresenta la lunghezza del cateto AB. Le rette y=±2a sono asintoti e i ...
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.: [...] da questioni di orientamento. ◆ [ALG] Metodo di K.: serve per determinare in maniera rigorosa tutte le soluzioni di un sistema di equazioni algebriche. ◆ [ANM] Simbolo di K.: (a) indicato con δrs, δrs, δrs o con notazioni analoghe, vale 1 se e solo ...
Leggi Tutto
lemniscata
lemniscata [Der. dell'agg. lat. lemniscatus "legato da un nastro", dal gr. lemnískos "nastro"] [ALG] Termine con cui s'indicano varie curve, per alcune delle quali v. oltre. ◆ [OTT] La forma [...] di Cassini; è una quartica razionale bicircolare con un punto doppio nodale e tangenti ortogonali nel punto medio del segmento AB; ha equazione cartesiana (x2+y2)2=2d2(x2-y2). ◆ [ALG] L. di Booth: la podaria di un'ellisse rispetto al suo centro (v ...
Leggi Tutto
catenaria
catenària [Der. di catena] [ALG] Curva piana non algebrica, caratterizzata dalla seguente proprietà differenziale: fissato (v. fig.) un punto V della curva, la lunghezza di un arco avente un [...] (il punto V). Assumendo l'asse y coincidente con l'asse di simmetria e l'asse x a distanza c dal vertice (come nella fig.), l'equazione cartesiana della c. risulta y=(c/2)[exp(x/c)+exp(-x/c)]=c cosh(x/c); l'asse x prende anche il nome di base o ...
Leggi Tutto
Varignon Pierre
Varignon 〈varignòn〉 Pierre [STF] (Caen 1654 - Parigi 1722) Membro dell'Accademia delle scienze di Parigi. ◆ [MCC] Teorema di V.: se le forze (e, più in generale, i vettori) di un dato [...] dell'asse a); se α è il piano xy e a è l'asse z, e se P descrive nel piano xz la curva C di equazione f(x, z)=0, P' descrive nel piano xy la curva C' di equazione polare f(ρ,-pϑ/ (2π))=0: per es., se C è una retta, C' è una spirale di Archimede. ...
Leggi Tutto
radiale
radiale [agg. Der. del lat. radius "raggio"] [LSF] Che procede nella direzione (raggio) che si considera di allontanamento dal punto o dal corpo considerato. ◆ [ALG] Di ente considerato lungo [...] da un punto generico del piano ed equipollenti ai raggi di curvatura della curva data, intesi come vettori. ◆ [MCQ] Equazione r.: v. potenziale coulombiano nella meccanica quantistica: IV 565 e. ◆ [ANM] Funzione r.: funzione invariante per rotazione ...
Leggi Tutto
trattrice
trattrice [s.f. Nome dato da C. Huygens, der. dell'agg. lat. tractorius "che serve per tirare (linee)", che è dal part. pass. tractus di trahere "trarre"] [ALG] Curva piana trascendente, detta [...] data retta fissa; la retta data (x nella fig.) è asintoto della curva, e questa è un'evolvente della catenaria c. La t. ha le equazioni parametriche x=-k ln tan(φ/2)+k cosφ, y=k sinφ, con φ angolo che la tangente forma con l'asse x, dalle quali si ...
Leggi Tutto
equazione
equazióne s. f. [dal lat. aequatio -onis, der. di aequare «uguagliare»]. – Propr., uguaglianza, uguagliamento, pareggiamento. Il termine, raro con uso generico (si adopera tuttavia, a volte, nel linguaggio letter. e in frasi di tono...
risolvente
risolvènte agg. [part. pres. di risolvere]. – Che risolve, che ha la capacità e la funzione di risolvere, in alcuni usi partic. scient. e tecn.: 1. In fisica e nella tecnica, potere r. di uno strumento, un dispositivo, ecc., lo...