Pagina 1 di 1
					
				[SSSUP] Una radice...sempre irrazionale
				Inviato: 04 ago 2013, 18:15
				da gilgamesh
				Dimostrare che per ogni numero intero $ n \geq 1 $ il numero reale
$ a=\sqrt {4n-1} $
è irrazionale.
Dimostrazione:
 
			 
			
					
				Re: [SSSUP] Una radice...sempre irrazionale
				Inviato: 04 ago 2013, 18:50
				da Triarii
				Scusami Gilgamesh ma credo che nella tua soluzione ci sia qualche piccola sbavatura
Comunque io l'avevo risolto così
 
			 
			
					
				Re: [SSSUP] Una radice...sempre irrazionale
				Inviato: 04 ago 2013, 18:53
				da Troleito br00tal
				E perché non è razionale?
			 
			
					
				Re: [SSSUP] Una radice...sempre irrazionale
				Inviato: 04 ago 2013, 19:06
				da gilgamesh
				Triarii ha scritto:Scusami Gilgamesh ma credo che nella tua soluzione ci sia qualche piccola sbavatura
 
1) errore di battitura. 
2) si, quello è un errore piuttosto stupido. Effettivamente a quel punto si era giunti all'assurdo e poteva bastare così. Correggo la soluzione!
Grazie Triarii ancora una volta  
 
Per quanto riguarda la tua soluzione...potresti chiarire ?
 
			 
			
					
				Re: [SSSUP] Una radice...sempre irrazionale
				Inviato: 04 ago 2013, 19:10
				da Triarii
				@Troleito
 
Ora può andare?
@gilgamesh analizziamo le classi di resto modulo 4, che sono 0,1,2,3. Se le eleviamo al quadrato otteniamo modulo 4 rispettivamente  0.1.0.1. Notiamo che nessun numero elevato al quadrato ci ha dato -1. -1 non è quindi un residuo quadratico, ossia quei numeri che invece otteniamo elevando al quadrato (in questo caso sono 0 e 1). Un altro modulo carino per queste cose è il 3. Infatti i residui quadratici modulo 3 sono solo 0,1. (se fai i conti ti dovrebbe tornare 

 )
 
			 
			
					
				Re: [SSSUP] Una radice...sempre irrazionale
				Inviato: 04 ago 2013, 19:15
				da gilgamesh
				Troleito br00tal ha scritto:E perché non è razionale?
Sfrutto il fatto che , essendo $ n\in N $ dall'espressione $ 4n-1 $ posso ottenere solo numeri naturali. 
Se ho ben capito, tu obietti  il fatto che esclusi (se esistessero) dei valori di n per cui il radicando è un quadrato perfetto  (e quindi la radice è un numero naturale), bisognerebbe dimostrare che per tutti gli altri valori di n si ha a che fare con numeri irrazionali?  

 
			 
			
					
				Re: [SSSUP] Una radice...sempre irrazionale
				Inviato: 04 ago 2013, 19:24
				da gilgamesh
				Triarii ha scritto:
@gilgamesh analizziamo le classi di resto modulo 4, che sono 0,1,2,3. Se le eleviamo al quadrato otteniamo modulo 4 rispettivamente  0.1.0.1. Notiamo che nessun numero elevato al quadrato ci ha dato -1. -1 non è quindi un residuo quadratico, ossia quei numeri che invece otteniamo elevando al quadrato (in questo caso sono 0 e 1). Un altro modulo carino per queste cose è il 3. Infatti i residui quadratici modulo 3 sono solo 0,1. (se fai i conti ti dovrebbe tornare 

 )
 
Tutto mi torna ora  

P.s. La dimostrazione dell'irrazionalità mi convince, ricalca molto inizalmente quella classica della radice quadra di 2.
 
			 
			
					
				Re: [SSSUP] Una radice...sempre irrazionale
				Inviato: 04 ago 2013, 19:47
				da Troleito br00tal
				Triarii ha scritto:@Troleito
 
Ora può andare?
@gilgamesh analizziamo le classi di resto modulo 4, che sono 0,1,2,3. Se le eleviamo al quadrato otteniamo modulo 4 rispettivamente  0.1.0.1. Notiamo che nessun numero elevato al quadrato ci ha dato -1. -1 non è quindi un residuo quadratico, ossia quei numeri che invece otteniamo elevando al quadrato (in questo caso sono 0 e 1). Un altro modulo carino per queste cose è il 3. Infatti i residui quadratici modulo 3 sono solo 0,1. (se fai i conti ti dovrebbe tornare 

 )
 
Ok 

 
			 
			
					
				Re: [SSSUP] Una radice...sempre irrazionale
				Inviato: 04 ago 2013, 20:53
				da EvaristeG
				O più semplicemente, se esiste $q\in \mathbb{Q}$ tale che $q^2=4n-1$ per qualche $n$ naturale, allora $q^2$ è in realtà naturale, ma se scriviamo $q=x/y$ con $(x,y)=1$, allora anche $(x^2,y^2)=1$, perciò l'unico modo per cui $q^2=x^2/y^2$ possa essere naturale è che $y^2=1$. Dunque $q\in\mathbb{N}$.