>>6のtan x が無理数であることの証明ってどうやるの?