Ce n'est pas du chipotage par contre je ne comprends pas exactement quelle partie de la démonstration te pose problème.
Les seuls "postulats" sont les axiomes classiques: entiers/réels et quantificateurs, par exemple que 2 réels peuvent toujours être multipliés, que a*b=b*a, etc. J'imagine que tu ne mets pas ceux-là en doute, mais si c'est le cas alors il faut que tu ouvres un bouquin de maths fondamentales (ce que je ne te conseille pas car toute cette partie est considérée comme admise dans 99.99% des cursus maths/physique). En plus "light" tu peux lire les premiers chapitres d'un livre de 1ère année de prépa où cette partie est abordée de façon assez digérable.
Oui facilement mais il faut savoir ce que ^n signifie. Pour n entier positif, la puissance est définie par récurrence de cette façon: soit y dans R, on pose y^0 = 1 et pour tout n, y^(n+1) = y^n * y. Un peu moins formellement, y^n est "y multiplié par lui même n fois". Or par définition/axiomes des réels la multiplication de 2 réels est toujours un réel donc toutes les puissances y^n sont définies (démonstration par récurrence triviale). On a donc montré que, quasiment par définition, pour y réel, y^n est toujours réel.
Note qu'il faut que n soit entier positif pour que cette démonstration marche, pour n entier relatif la définition change (divisions) et donc la démonstration change aussi, et elle change encore pour n réel (logarithmes).
Pas sûr de comprendre la question, mais l'une des premières choses qu'on montre en prépa est que pour tous a,b réels, les expressions suivantes restent définies et réelles: a+b, a-b, a*b, a^n, et a/b si b est non nul. Donc y^n est réel, donc (y^n) - 1 est réel . On en déduit assez facilement que toute combinaison y^n + a* y^(n-1) + ... est réelle et donc la validité des polynômes. Tout cela prend des heures, et à force d'usage toute la partie définition/validité est passée car considérée comme évidente dans ce genre d'exercices, mais fondamentalement elle ne l'est pas pour quelqu'un qui ne l'a jamais vue auparavant (notamment si tu es au lycée - on a pas le temps de voir les définitions correctement avec 4h par semaine donc on les passe et on espère que les élèves ne se poseront pas des questions trop fondamentales)