>>826
>>823の
>単位円に外接する正12角形の周長について〜
のような書き方に従って
>単位円に外接する正12角形の周長は24tan(π/12)だから
>π<12tan(π/12)
の部分の内容を書くと、
>単位円に外接する正12角形の周長24tan(π/12)について
>π<12tan(π/12)
で済む。日本語の点でも問題はないだろう。ただ、直観的になることは否めない。