sin1が無理数であることを示せ。