Si $n$ es impar, entonces $$ a^n = \underbrace{a \cdots\cdots a}_{ \large \text{$ n $ factors}} = \underbrace{(aa)(aa)(aa) \cdots (aa) a}_{\begin{smallmatrix} \large \text{One left over when} \\[4pt] \large \text{they're paired; that's} \\[4pt] \large \text{what “odd'' means.} \end{smallmatrix}}. $$ Cada $aa$ es $a^2$ que usted dijo que es racional. Así que estás multiplicando un montón de números racionales, obteniendo un número racional, y el que sobra $a$ es irracional.
Para hacer de esto una prueba por inducción matemática, puedes decir $$ a^\text{next odd number after $ n $} = a^{n+2} = a^2 a^n $$ y $a^2$ es racional y la hipótesis de inducción dice $a^n$ es irracional, así que estás multiplicando un número racional por un número irracional.