Rebonjour wentworth
Explication:
Soit x dans R tel que x^3 + 2x - 1 = 0 ( 1 ) .
Supposons que non( 1/4 < x < 1/2 ) est vraie. Donc x <= 1/4 ou 1/2 <= x .
Si x <= 1/4 , x^3 + 2x -1 <= -31/64 ( ce qui est absurde : contredit (1 ) ).
Si 1/2 <= x , 1/8 <= x^3 + 2x - 1 (ce qui est absurde : contredit (1) ).
Dans les deux cas ,on aboutit à une contradiction . Donc non( 1/4 < x < 1/2 ) est fausse . Par suite 1/4 < x < 1/2 est vraie .