Verifica esattezza procedimento dimostrazione per assurdo

Susannap1
Spero che la sezione di questo topic sia quella giusta , eventualmente chiedo scusa a priori e vi ringrazio anticipatamente per il vostro aiuto .

La seguente relazione è solo a titolo esemplificativo .. e solo capire il giusto iter per la dimostrazione per assurdo


Sia $a$ = $sqrt(b)$ $*$ $sqrt(c)$


1) Distinguo tutte le possibile $a$ in due categorie (insiemi) $A$ e $B$
2) Voglio comprovare che la relazione può verificarsi solo e solo se $a$ è divisibile per uno degli elementi dell’insieme $A$ .
3) Negò che la relazione posso realizzarsi se $a$ è divisibile per uno degli elementi dell’insieme $A$ , ma trovo un contro esempio che ne dimostra il contrario .

Ciò basta ?

Risposte
j18eos
Quale relazione? Chi sono gl'insiemi [tex]$A$[/tex] e [tex]$B$[/tex]? Infine, i numeri [tex]$a$[/tex]; [tex]$b$[/tex] e [tex]$c$[/tex] sono reali positivi oppure di altro genere? :?:

Susannap1
La relazione è $a$ = $sqrt(b)$ $*$ $sqrt(c)$
$a$ , $b$ , $c$ sono interi positivi

$A$ è formato da tutti gli interi che dividono $a$
$B$ è formato da tutti gli interi che non dividono $a$

Susannap1
..... grazie :-)

Studente Anonimo
Studente Anonimo
Ehm... potresti chiarire che cosa vuoi dimostrare? Non è molto chiaro :)

Susannap1
Ciaoo Martino .. :-)

Non voglio dimostrare niente di concreto e solo per verificare se il procedimento di dimostrazione per assurdo è corretto .

p.s. : la relazione è una relazione non reale ma a titolo di esempio .. la potresti sostituire con qualsiasi altra .. mantenendo glimstessi vincoli

Studente Anonimo
Studente Anonimo
Ciaoo :) ok ma e' meglio se presenti un esempio specifico, altrimenti non si capisce molto..

Susannap1
Buona domenica Martino ed a voi tutti .

Allora , il prodotto di due interi sotto 2 radici quadrate non sempre è uguale ad un numero intero (a meno che gli interi sotto radici non siano esprimibili come interi elevati al quadrato ) .. ;

1) Distinguo tutte le possibile $a$ in due categorie (insiemi) $A$ e $B$
in funzione di due diverse caratteristiche .

2) Voglio dimostrare che la relazione $a$ = $sqrt(b)$ $*$ $sqrt(c)$ può verificarsi solo e solo se $a$ è divisibile per uno degli elementi dell’insieme $A$ .

3) Negò che la relazione posso realizzarsi se $a$ è divisibile per uno degli elementi dell’insieme $A$ , ma trovo un contro esempio che ne dimostra il contrario .

Questo è sufficiente per una dimostrazione per assurdo ?

ps : Non tenere conto della relazione in se (che potrà essere banale , sbagliata etc..), ma giudica , in astratto , solo il processo di dimostrazione per assurdo ..

Studente Anonimo
Studente Anonimo
"Susannap":
Allora , il prodotto di due interi sotto 2 radici quadrate non sempre è uguale ad un numero intero
Per dimostrare questo fatto non serve ragionare per assurdo: siccome dici "non sempre e' uguale" basta trovare un caso in cui non e' uguale. Il caso piu' semplice e' questo: [tex]\sqrt{1} \sqrt{2} = \sqrt{2}[/tex] non e' intero.

Se proprio vuoi ragionare per assurdo puoi dire: supponiamo per assurdo che sia vero che

"Il prodotto di due interi sotto 2 radici quadrate è sempre uguale ad un numero intero."

Allora siccome [tex]1[/tex] e [tex]2[/tex] sono interi, [tex]\sqrt{1} \sqrt{2} = \sqrt{2}[/tex] dev'essere intero. Ma (banalmente) [tex]\sqrt{2}[/tex] non e' intero, assurdo.

Susannap1
grazie Martino , cercherò un esempio numerico .. sperando che ci riesca ..

p.s. : scusa per il disturbo e "Grazie"

Rispondi
Per rispondere a questa discussione devi prima effettuare il login.