C'est touffu tout ça.
Tu dis que a est forcément irrationnel, Non pas forcément. On peut très bien avoir a rationnel, et b irrationnel.
Mais admettons qu'on ait une contrainte, du type "
b est un entier". Et dans ce cas, effectivement, on arrive à la conclusion que a est irrationnel.
Ensuite, tu dis : donc a² irrationnel.
Non. Le carré d'un nombre irrationnel peut être rationnel, ou irrationnel, on ne sait pas à l'avance.
Et même, dans notre configuration, a² = Pb² ; a² est donc le produit de 2 entiers, a² est un entier donc pas irrationnel.
Peut on tracer une courbe ? Là on change complètement de registre. Quand on trace une courbe, cette courbe passe par des nombres rationnels et des nombres irrationnels.
Le truc pour concevoir ces nombres rationnels/irrationnels, c'est :
Entre 2 nombre rationnels, même très proches l'un de l'autre, il y a forcément un nombre irrationnel (et même une infinité), et entre 2 nombre irrationnels, même très proches l'un de l'autre, il y a aussi une infinité de nombres rationnels.
Les nombres rationnels et irrationnels sont enchevétrés les uns dans les autres.
Si on veut tracer xy²=z², on est en dimension 3.
xy²=z², ce n'est pas l'équation d'une courbe, mais l'équation d'une surface . Une surface qui ressemble un peu à ça :

Après, on peut choisir de figer une valeur de z par exemple (disons z=5), et ceci nous donne l'équation d'une courbe qui est traçable. et on répète l'opération avec différentes valeurs de z, ça nous donne des
https://fr.wikipedia.org/wiki/Courbe_de_niveau