- 383 名前：１３２人目の素数さん mailto:sage [2022/09/29(木) 21:56:49.83 ID:BOfTb9ug.net]
- tan15° = √{(1-cos30°)/(1+cos30°)} = √{(1-√3/2)/(1+√3/2)} = 2 - √3
tan7.5° = √{(1-1/√(tan²15°+1))/(1+1/√(tan²15°+1))} = ( √(tan²15°+1) - 1 )/ tan15° = ... = √2 -√3 +√6 -2
tan67.5° = √{(1-cos135°)/(1+cos135°)} = √{(1+1/√2)/(1-1/√2)} = √2 + 1
...
何が言いたいかというと、こういった三角関数値が有名角(30°,60°,90°, ... ) でなくても比較的単純に表せる角度の一覧リストが欲しいです
どこかWEBサイトや書籍に載ってないでしょうか？
