>>727
αが有理数と仮定すると
αが整数と絞り込めて、余りを考えて矛盾が言える