OliForum Matematico

<TABLE BORDER=0 ALIGN=CENTER WIDTH=85%><TR><TD>Quote:<HR></TD></TR><TR><TD><BLOCKQUOTE>
 On 2004-12-26 16:17, Hammond wrote:
 x2-(s1+s2)x+s1s2 = 0
 dove s1 e s2 sono le radici dell\'equazione,
 si ha s1s2 = 3q, e poiché q deve essere primo e le due soluzioni devono essere intere, esse valgono 3 e q [...]
 </BLOCKQUOTE></TD></TR><TR><TD><HR></TD></TR></TABLE>
 Alt, alt, alt... Siamo d\'accordo sul fatto che, se s1 ed s2 sono radici dell\'equazione
 x2 - (6p - 4q)x + 3q = 0, allora: i) s1s2 = 3q; ii) s1 + s2 = 6p - 4q. Tuttavia, nell\'ipotesi in cui s1 ed s2 siano intere, non è assolutamente vero che la i) implica necessariamente s1 = 3 ed s2 = q. Difatti, in linea di principio, potrebbe aversi (ad esempio) s1 = -3q ed s2 = -1, oppure s1 = -3 ed s2 = -q, e così via...
 
 Quel che cerco di dirti, hammond, è che hai semplificato un po\' troppo un problema che, in fondo, è soltanto una questione di conti!!! Alla luce di queste osservazioni, vedi di completare il discorso, là dove qualcun altro non dovesse precederti...
 
 EDIT: pasticcio con i quote... [ Questo Messaggio è stato Modificato da: HiTLeuLeR il 26-12-2004 18:33 ]

Provo a dimostrare le prime 5 proprietà delle congruenze elencate da HiTLeuLeR; vi prego di segnalarmi eventuali (e probabili <IMG SRC="images/forum/icons/icon_cool.gif"> ) errori o se ci sono dimostrazioni più semplici;
 
 i) a = c mod m e b = d mod m ==> a + b = c + d mod m :
 
 a==c (mod m) ==> a=c+sm; b==d (mod m) ==> b=d+tm;
 a+b= c+d+m(s+t) ==> a+b-(c+d)=m(s+t) ==> m|a+b-(c+d) ==> a+b==c+d (mod m)
 
 ii) a = b mod m <==> a + c = b + c mod m :
 
 a==b (mod m) ==> a=b+sm ==> a+c=b+c+sm ==> a+c-(b+c)=sm ==>
 m|a+c-(b+c) ==> a+c==b+c (mod m);
 
 a+c==b+c (mod m) ==> a+c=b+c+sm ==> a=b+sm ==> a-b=sm ==> m|a-b ==> a==b (mod m);
 
 iii) a = c mod m e b = d mod m ==> ab = cd mod m :
 
 a==c (mod m) ==> a=c+sm; b==d (mod m) ==> b=d+tm;
 ab=(c+sm)(d+tm)=cd+ctm+dsm+stm^2=cd+m(ct+ds+stm) ==>
 ab-cd=m(ct+ds+stm) ==> m|ab-cd ==> ab==cd (mod m)
 
 iv) per ogni k € N: a = b mod m ==> ak = bk mod m :
 
 a==b (mod m) ==> a=b+sm; a^k = (b+sm)^k = b^k+s^k*m^k+m(...)= b^k+m(s^k*m^(k-1))+...) ==> a^k-b^k= m(s^k*m^(k-1)+...) ==> m|a^k-b^k ==> a^k==b^k (mod m)
 
 v) se d | m: a = b mod m ==> a = b mod d :
 
 d|m ==> m==0 (mod d) ==> m=ds; a==b (mod m) ==> a==b (mod ds) ==> ds|a-b ==> d|a-b ==> a==b (mod d)
 
 Bye,
 Poliwhirl

Ok, whirl! Soltanto volevo farti notare che, a rigore, nel proof della iv), avresti dovuto innanzitutto levarti di torno il caso k = 0, peraltro banale, e quindi supporre per il seguito k > 0. Inoltre, nota che la iv) può anche essere dedotta per induzione dalla iii), così da evitarti il ricorso alle fastidiose sommatorie (che di fatto tu non hai indicato estesamente) derivanti dall\'applicazione del teorema binomiale di Newton. Il resto va bene, anche se qua e là i tuoi argomenti potevano essere raffinati. Sia come sia, hai fatto un buon lavoro. Onore al merito, perciò! <IMG SRC="images/forum/icons/icon_wink.gif">
 
 EDIT: eh, l\'italiondo... [ Questo Messaggio è stato Modificato da: HiTLeuLeR il 27-12-2004 01:14 ]

Grazie, l\'idea me l\'hai data..sapete dove poso trovare qualche testo decente per tentare d\'essere un po\' meno ignorante??? <IMG SRC="images/forum/icons/icon_smile.gif">

Volevo rispondere a quanto detto da HiTLeuLeR, dicendo che ha ragione ma se mi interesso di problemi è solo per divertirmi...quindi è ovvio che quando ci sono troppi conti mi annoio un po\'..e quindi il mio modo di fare matematica è di sicuro lo stesso di chi risolve un cruciverba..be visto che ho ancora 2 anni e mezzo per finire le superiori magari prima o poi diventerò più serio!!!!!! Ma voi geniacci siete tutti in quinta???? <IMG SRC="images/forum/icons/icon_wink.gif">

Anch\'io come te, enomis, penso che la Matematica debba innanzitutto divertire chi la fa, e comprendo benissimo il senso del tuo discorso, e lo condivido volentieri (almeno in parte).
 
 [mode pathetic ON]
 
 Tuttavia, scoprirai crescendo che, purtroppo, non sempre quest\'è una condizione possibile, e te lo dice un tizio che si è un po\' \"smaruggiato\" le gonadi stando dietro, per molti anni, alla pseudo-Matematica degli ingegneri...
 
 [mode pathetic OFF]
 
 Ciò detto, goditi la tua età e divertiti con la Matematica che ti piace, ma di tanto in tanto, se puoi, fa\' pure un salto di là dello steccato del giardino...
 
 
 \"Le più felici delle persone, non necessariamente hanno il meglio di ogni cosa; soltanto traggono il meglio da ogni cosa che capita sul loro cammino.\" - Paulo Coelho, da Le cose che ho imparato nella vita [ Questo Messaggio è stato Modificato da: HiTLeuLeR il 27-12-2004 12:55 ]

Grazie per i consigli HiTLeuLeR <IMG SRC="images/forum/icons/icon_smile.gif"> ; ora provo a dimostrare le altre 4 proprietà delle congrenze che hai elencato:
 
 vi) se ac = bc mod m e d := MCD(c, m), allora: a = b mod m/d :
 
 ac==bc (mod m) ==> ac=bc+sm; d=MCD(c,m) ==> d|c e d|m;
 ac/d = (bc+sm)/d ==> ac 1 = bc 1 + sm 1 ; poiché d=MCD(c,m) c 1 e m 1 sono coprimi; ac 1 = bc 1 + sm 1 ==> ac 1 -bc 1 =sm 1 ==> m 1 |c 1 (a-b); poiché c 1 e m 1 sono coprimi, m 1 |a-b ==> a==b (mod m 1 ); ricordando che m 1 = m/d allora a==b (mod m/d);
 
 vii) se ac = bc mod m e c è coprimo con m, allora: a = b mod m :
 
 dimostrazione analoga alla precedente: ac==bc (mod m) ==> ac=bc+sm ==> ac-bc=sm ==> m|c(a-b); poiché c e m sono coprimi tra loro m|a-b ==> a==b (mod m)
 
 viii) se a = b mod m ed a = b mod n ==> a = b mod mcm(m, n) :
 
 a==b (mod m) ==> m|a-b, quindi ogni fattore di m divide a-b;
 a==b (mod n) ==> n|a-b, quindi ogni fattore di n divide a-b;
 Poiché m.c.m.(m,n) è il prodotto dei fattori comuni, presi col massimo esponente, e non comuni di m e n, e tutti i fattori di m, n dividono a-b, allora m.c.m.(m,n)|a-b ==> a==b (mod m.c.m.(m,n))
 
 ix) la congruenza modulo m è una relazione di equivalenza sugli interi (tecnico) :
 
 La congruenza modulo m per essere una relazione di equivalenza deve godere delle seguenti proprietà:
 
 -riflessiva: a==a (mod m) cioé m|a-a , o meglio m|0, il che è vero.
 
 -simmetrica: a==b (mod m) ==> b==a (mod m) :
 a==b (mod m) ==> a=b+sm ==> b-a=-sm ==> m|b-a ==> b==a (mod m)
 
 -transitiva: a==b (mod m) e b==c (mod m) ==> a==c (mod m)
 a==b (mod m) ==> a=b+sm ==> a-b=sm; b==c (mod m) ==> b=c+tm ==> b-c=tm; sommiamo membro a membro a-b=sm e b-c=tm e otteniamo a-c=m(s+t) ==> m|a-c ==> a==c (mod m)
 
 Godendo delle tre proprietà, riflessiva, simmetrica e transitiva, la congruenza è, quindi, una relazione d\'equivalenza c.v.d..
 
 Qualcuno può proporre qualche altro semplice esercizio (per chi è alle prime armi con l\'argomento come me) da risolvere con le congruenze?
 Grazie,
 Poliwhirl [ Questo Messaggio è stato Modificato da: Poliwhirl il 27-12-2004 14:05 ]

<TABLE BORDER=0 ALIGN=CENTER WIDTH=85%><TR><TD>Quote:<HR></TD></TR><TR><TD><BLOCKQUOTE>
 On 2004-12-27 14:04, Poliwhirl wrote:
 vi) se ac = bc mod m e d := MCD(c, m), allora: a = b mod m/d :
 
 m 1 |c 1 (a-b); poiché c 1 e m 1 sono coprimi, m 1 | a-b.
 </BLOCKQUOTE></TD></TR><TR><TD><HR></TD></TR></TABLE>
 Per quanti se lo stessero chiedendo, aggiungo soltanto che l\'implicazione logica indicata da whirl è conseguente al cosiddetto 1° teorema di Euclide dell\'Aritmetica (\"se a, b, c sono numeri interi, a è diverso dallo zero ed MCD(a,c) = 1, allora a | bc soltanto se a | b\").
 
 Si noti inoltre come la vii) discende immediatamente dalla vi), ponendo d = 1. Il resto va decisamente bene, bravo whirl! <IMG SRC="images/forum/icons/icon_wink.gif">
 
 EDIT: un \"se\" di troppo... <IMG SRC="images/forum/icons/icon_razz.gif"> [ Questo Messaggio è stato Modificato da: HiTLeuLeR il 27-12-2004 15:45 ]

In ogni caso, il problema 1 è ancora in attesa di soluzione!!! <IMG SRC="images/forum/icons/icon_mad.gif">

ringrazio HiTLeuLeR per i suoi consigli e di sicuro ha ragione...non posso rimanere sedicenne per sempre.. <IMG SRC="images/forum/icons/icon_frown.gif">
 ma per ora, per fortuna, lo sono!!!! <IMG SRC="images/forum/icons/icon_biggrin.gif">

up!
 
 Problema 1: trovare tutte le coppie (p,q) di numeri primi naturali tali che l\'equazione x^2 - (6p - 4q)x + 3q = 0 abbia due radici intere.
 [ Questo Messaggio è stato Modificato da: Poliwhirl il 28-12-2004 15:55 ]

ho provato ad approfondire le congruenze e qualcosina(pochissimo..) lo anche capito!!!
 ho trovato un problema che credo (non ne sono per niente sicuro!!!) si possa risolvere anche con le congruenze:
 la congrunza
 2x^2==35 (mod3a^2) vorreri sapere se ha soluzioni o no e se le ha di che tipo sono...chiedo inoltre se è possibile di scrivere la risposta in temini comprensibili anche da me!!!grazie a chiunque possa rispondere.

<TABLE BORDER=0 ALIGN=CENTER WIDTH=85%><TR><TD>Quote:<HR></TD></TR><TR><TD><BLOCKQUOTE>
 On 2004-12-27 15:46, HiTLeuLeR wrote:
 In ogni caso, il problema 1 è ancora in attesa di soluzione!!! <IMG SRC="images/forum/icons/icon_mad.gif">
 </BLOCKQUOTE></TD></TR><TR><TD><HR></TD></TR></TABLE>
 eh già! ...ehm... un aiutino? <IMG SRC="images/forum/icons/icon_razz.gif">
 up!

<TABLE BORDER=0 ALIGN=CENTER WIDTH=85%><TR><TD>Quote:<HR></TD></TR><TR><TD><BLOCKQUOTE>
 On 2004-12-30 20:13, Hammond wrote:
 <TABLE BORDER=0 ALIGN=CENTER WIDTH=85%><TR><TD>Quote:<HR></TD></TR><TR><TD><BLOCKQUOTE>
 On 2004-12-27 15:46, HiTLeuLeR wrote:
 In ogni caso, il problema 1 è ancora in attesa di soluzione!!! <IMG SRC="images/forum/icons/icon_mad.gif">
 </BLOCKQUOTE></TD></TR><TR><TD><HR></TD></TR></TABLE>
 eh già! ...ehm... un aiutino? <IMG SRC="images/forum/icons/icon_razz.gif">
 up!
 </BLOCKQUOTE></TD></TR><TR><TD><HR></TD></TR></TABLE>
 
 Io ci sto pensando da giorni e sono solo arrivato alla conclusione che c\'è un numero molto alto di coppie (forse infinite) e non posso dare una formula generale per esprimerle tutte.... <IMG SRC="images/forum/icons/icon_razz.gif"> Evidentemente ho sbagliato qualcosa ma non capisco cosa... <IMG SRC="images/forum/icons/icon_frown.gif"> Qualcuno (anche qualcuno fra i più esperti problem solver) posti la soluzione, per favore. [ Questo Messaggio è stato Modificato da: Poliwhirl il 31-12-2004 00:49 ]

x^2 - (6p - 4q)x + 3q = 0
 
 il prodotto delle radici (intere) è 3q, la somma 6p-4q
 le coppie di divisori di 3q sono relativamente poche... si possono pure studiare tutte a mano ^^

OliForum Matematico

[A/N] Viète e Pitagora.