>>476を解くにはあとtan(18度)が無理数であることを証明しないと