河野真治 @ 琉球大学情報工学です。

In article <3F55F08D.F50DCF4C@ht.sakura.ne.jp>, IIJIMA Hiromitsu <delmonta@ht.sakura.ne.jp> writes
> ちなみに東大は以前に、「三角関数の加法定理を証明せよ」という問題も出して
> います。

高校生の頃、自力で思い出そうとして一日費した記憶があります。
なんかヒントがあるならともかく....

> 3.10 でなく 3.05 を選んだのは、内接正 12 角形でなく正 8 角形を使っても
> 正解にたどりつけるように、という配慮ですね。

「3より大きいこと」と読むと、どういうアンチテーゼか良くわかる...

でも、円弧の長さは内接する多角形の辺の長さより長いってのをど
うやって証明するんだろう? (とか試験中に考えるのはやめろって
いうに... )

とか考えると積分しちゃうのが簡単だと思うな。だけど収束の悪い
積分を選んじゃうと死ぬでしょうけど。atan が速いってのは、結
構後になってから知った気がする。

---
Shinji KONO @ Information Engineering, University of the Ryukyus, 
              PRESTO, Japan Science and Technology Corporation
河野真治 @ 琉球大学工学部情報工学科, 
           科学技術振興事業団さきがけ研究21(機能と構成)