お題スレ Part9 では、
tan() の値が有理数になる場合についての
数学的証明が活発に議論されていたな