irrationalité de Pi

Pour prouver l'irrationnalité de Pi , doit-on passer par sa transcendace ? ( ne serait-il pas le meme concept ?)
Pour info l'irrationalité de Pi a été prouvée en 1761 alors que son transcendance ne vient qu'en 1882 ...

donc on ne passe pas par sa transcendance pour prouver son irrationalité , alors que mon prof m'avait assuré qu'on montre que pi est transcendant

C'est hors programme du lycée

Pour montrer l’irrationalité de π on montre par l'absurde celle de π² . ( suite d'intégrales et dérivées successives)

Pour la transcendance de π , si ne l'est pas, on sait que l’ensemble des nombres algébriques est un corps comme i est algébrique ( racine de X²+1) alors iπ aussi un théorème de (Hermite-Lindemann) donne exp(iπ)=-1 est transcendant ce qui est absurde

Je sais bien que c'est hors programme , ma question était claire : L'irrationalite de pi passe-t-elle forcement par sa transcendance ? En ce qui concerne l'impliquation transcendance==> irrationalite c'est assez facile , supposons que pi est rationnel (désignons par pi le x ) donc x=p/q ==> qx-p=0==> x "root" du monome qx-p, et donc pi est algebrique .. contradiction avec sa transcendance .
Merci en tout cas .

Pas du tout, demontrer l'irratinalité de Pi est facile on peut faire ça en bac ou en sup par contre pour demontrer ça transcendance c'est complique on utlise le fait que Q algebrique est un corps et apres jouer par l'absurde sur equation bref c'est pas simple.