Euh, y a d'incohérences dans ta démo. Montrer que c'est irrationnel revient à supposer le contraire (comme tu l'as fait) et obtenir une contradiction. Par contre, dans l'exercice que j'ai proposé, il faut montrer que la racine cubique d'un produit de 3 nombres premiers distincts est irrationnelle, ce qui est légèrement différent de ton cas, même si la démo est similaire. Bref, pour ton cas :
On suppose sqrt[3](p)= P/Q, P et Q premiers entre eux
<=> p = P^3/Q^3
<=> Q^3*p = P^3
Que dire de l'exposant de p dans la décomposition en facteurs premiers du nombre Q^3*p ? Dans celui de P^3 ? Où se situe alors (quel lemme utiliser ?) la contradiction ?