- imane20 a écrit:
Cette implication d' imane20 est tout à fait juste !!!!!
Il ne faut pas perdre de vue que Q ensemble des rationnels est stable pour + et pour x . C'est un sous-corps de IR .On raisonne par l'absurde ( Borhan Bilkholf ) :
Supposons donc Non{a+b n'est pas dans Q ET ab n'est pas dans Q}
alors on aura soit {a+b est dans Q} OU {ab est dans Q}
Si a+b est dans Q alors comme par HYPOTHESE a est dans Q on en déduira que b=(a+b)+(-a) est aussi dans Q ; ce qui est absurde !!!
Si ab est dans Q alors puisque par hypothèse a est dans Q* on pourra écrire cette fois-ci b=(ab).(1/a) serait dans Q et ce sera encore absurde .