dark sidius, on apprends à resoudre les equations du second degre a une inconnue dans le corps des reels en 1ere et à bac+1 dans le corps des cmplxes.
Si tu appelles "vrai defi au matheux" l´application bete et simple de regles etablies sans reflexion aucune ( calcul du discriminant puis appliquer 2 formules pour trouver les solutions ), libre à toi...
pour montrer que rac(2) est irrationnel, ça a ete dit on raisonne par l´absurde, on voit ça en terminale il me semble...