da Mistral » 20/02/2004, 16:31
<BLOCKQUOTE id=quote><font size=1 face="Verdana, Arial, Helvetica" id=quote>citazione:<hr height=1 noshade id=quote>
se ho 9 reali qualsiasi distinti, poichè uno potrebbe essere lo 0, allora almeno 4 sono positivi, o almeno 4 sono negativi; ovvero o succede la prima o succede la seconda;
<hr height=1 noshade id=quote></BLOCKQUOTE id=quote></font id=quote><font face="Verdana, Arial, Helvetica" size=2 id=quote>
Ok
<BLOCKQUOTE id=quote><font size=1 face="Verdana, Arial, Helvetica" id=quote>citazione:<hr height=1 noshade id=quote>
all'interno della prima almeno due sono minori di uno o almeno due sono maggiori di 1;
<hr height=1 noshade id=quote></BLOCKQUOTE id=quote></font id=quote><font face="Verdana, Arial, Helvetica" size=2 id=quote>
Ok
<BLOCKQUOTE id=quote><font size=1 face="Verdana, Arial, Helvetica" id=quote>citazione:<hr height=1 noshade id=quote>
nel primo caso siano a e b tali due numeri minori di 1, con a>b;
allora, scritta la tesi (a-b)<(sqrt(2)-1)(1+ab), abbiamo che il primo membro è minore di 1, mentre il secondo è maggiore di 1, pertanto la diseguaglianza è verificata.
nel secondo caso, siano a e b i due numeri maggiori di 1, con a>b;
allora il primo membro è banalmente minore del secondo in quanto (a-b)<(1+ab), e l'altro fattore del secondo membro è maggiore di 1.
<hr height=1 noshade id=quote></BLOCKQUOTE id=quote></font id=quote><font face="Verdana, Arial, Helvetica" size=2 id=quote>
Se ho capito bene il tuo modo di procedere direi che ha la seguente pecca:
se due numeri a,b verificano:
(a-b)<(sqrt(2)-1)(1+ab)
questo implica che verificano:
(a-b)<(1+ab)
purtroppo non vale il viceversa, quindi in tuo modo di procedere va bene per escludere che due numeri a,b verifichino
(a-b)<(sqrt(2)-1)(1+ab) ma non per verificarlo.
sqrt(2)-1<1