>>102
ありがとうございます。
αが整数でなく、有理数でもないことを示すにも背理法ですか?