Suponhamos que $xy$ seja racional, ou seja $xy = \dfrac{p}{q}\ \Rightarrow\ \dfrac{p'}{q'} \cdot y = \dfrac{p}{q},\ p, q, p', q' \in \mathbb{Z}^*$.
$y = \dfrac{p''}{q''},\ p'' = pq',\ q'' = p'q$ o que é um absurdo pois, por hipótese, $y$ é irracional.
Quod Erat Demonstrandum.
Nenhum comentário:
Postar um comentário