In such "prove that" questions, always isolate the root term on one side. If the other side consists entirely of known rational operations (addition, subtraction, multiplication, division) on integers, that side is rational, leading to the contradiction.