↓これのことを言っているのかなと思います
αが有理数と仮定すると
α=p/q (p,qは自然数)
とおけて、このときp³/q³=5
分母を払ってp³=5q³ ……☆
pが素因数5をm個(m=0,1,2,…)もつとしたら、
左辺p³は素因数5を3m個もちます
※3mは3で割り切れる整数
qが素因数5をn個(n=0,1,2,…)もつとしたら、
右辺5q³は素因数5を3n+1個もちます
※3n+1は3で割って1余る整数
左辺と右辺の素因数5の個数は等しいはずなのに、
3mと3n+1は一致することがないので、矛盾します