« 蛙・子犬・リチャード・ファインマンを君の頭蓋骨に持て、というのがEmbedded Systems Conference(ESC)のキーノートスピーチだったそうだ。 | トップページ | 松尾神社(八日市)でお参り。 »

2016年12月14日 (水)

cos(40°)^(1/3) + cos(80°)^(1/3) - cos(20°)^(1/3) = ((3/2)*(9^(1/3)-2))^(1/3) を証明できる?(ラマヌジャンより)

Cliff PickoverさんのTweet経由で

”An overview of Ramanujan's notebooks”に書いてあった話ですが、、、

cos(40°)^(1/3) + cos(80°)^(1/3) - cos(20°)^(1/3) = ((3/2)*(9^(1/3)-2))^(1/3)

だとか。本当か?と思ってカシオの高精度計算サイトで50桁まで検証。

http://keisan.casio.jp/calculator

a= cos(40)^(1/3) + cos(80)^(1/3) - cos(20)^(1/3);

println(a);

b=((3/2)*(9^(1/3)-2))^(1/3);

println(b);

とすると、、、

ans1

0.49341462591878566442567275339367342643373747839938

0.49341462591878566442567275339367342643373747839938

ほんとだ!

« 蛙・子犬・リチャード・ファインマンを君の頭蓋骨に持て、というのがEmbedded Systems Conference(ESC)のキーノートスピーチだったそうだ。 | トップページ | 松尾神社(八日市)でお参り。 »

日記・コラム・つぶやき」カテゴリの記事

コメント

コメントを書く

(ウェブ上には掲載しません)

« 蛙・子犬・リチャード・ファインマンを君の頭蓋骨に持て、というのがEmbedded Systems Conference(ESC)のキーノートスピーチだったそうだ。 | トップページ | 松尾神社(八日市)でお参り。 »

最近の記事

最近のコメント

2023年3月
      1 2 3 4
5 6 7 8 9 10 11
12 13 14 15 16 17 18
19 20 21 22 23 24 25
26 27 28 29 30 31  
フォト
無料ブログはココログ