【速報】円周率π=22/7だった！！ [487816701]

元スレ

1 ：名無しさん＠涙目です。：2024/08/25(日) 09:52:56.48 ID:EJivzdSV0●.net ?PLT(13060)
https://img.5ch.net/ico/samekimusume32.gif
他の例として、

{¥displaystyle ¥sin 11=-0.99999020655¥dots }{¥displaystyle ¥sin 11=-0.99999020655¥dots }
が整数に近い[2]。その理由は、半角の公式

{¥displaystyle ¥sin ^{2}11={¥frac {1}{2}}(1-¥cos 22)}{¥displaystyle ¥sin ^{2}11={¥frac {1}{2}}(1-¥cos 22)}
および、
22
/
7
が π の近似分数であるために cos 22 が cos 7π = −1 に近いことによる、と説明できる。なお、リンデマンの定理より、この数は超越数である。こういった数によく使われる円周率の近似としては、他に 3 + 0.1×√2 = 3.141421356… や 355÷113 = 3.1415929203539825… などがある[3]。

一方、なぜ整数に近いのか、合理的な理由が与えられていないものもある。ゲルフォントの定数と円周率との差

{¥displaystyle e^{¥pi }-¥pi =19.999099979¥dots }{¥displaystyle e^{¥pi }-¥pi =19.999099979¥dots }
がほとんど整数であることは、1988年頃にニール・スローン、ジョン・ホートン・コンウェイ、サイモン・プラウフによって相次いで指摘されたが、その理由は長らく知られていなかった[1]。

しかし、2023年9月にA. Domanによって、この一見不思議な一致の説明が与えられた。それは、ヤコビのテータ関数に関連する以下の無限和の結果である。{¥displaystyle ¥sum _{k=1}^{¥infty }¥left(8¥pi k^{2}-2¥right)e^{-¥pi k^{2}}=1.}{¥displaystyle ¥sum _{k=1}^{¥infty }¥left(8¥pi k^{2}-2¥right)e^{-¥pi k^{2}}=1.}この和では、第1項が支配的であり、{¥displaystyle k¥geq 2}{¥displaystyle k¥geq 2}の項の和は合計で{¥displaystyle ¥sim 0.0003436}{¥displaystyle ¥sim 0.0003436}程度である。そのため、この和は次のように近似できる。 {¥displaystyle ¥left(8¥pi -2¥right)e^{-¥pi }¥approx 1,}{¥displaystyle ¥left(8¥pi -2¥right)e^{-¥pi }¥approx 1,} ここで、{¥displaystyle e^{¥pi }}{¥displaystyle e^{¥pi }}について解くと、{¥displaystyle e^{¥pi }¥approx 8¥pi -2.}{¥displaystyle e^{¥pi }¥approx 8¥pi -2.}となる。 {¥displaystyle e^{¥pi }}{¥displaystyle e^{¥pi }}の近似式を書き換え、{¥displaystyle 7¥pi ¥approx 22}{¥displaystyle 7¥pi ¥approx 22}の近似を用いると、

{¥displaystyle e^{¥pi }¥approx ¥pi +7¥pi -2¥approx ¥pi +22-2=¥pi +20.}{¥displaystyle e^{¥pi }¥approx ¥pi +7¥pi -2¥approx ¥pi +22-2=¥pi +20.}
となる。したがって、項を並び替えると、{¥displaystyle e^{¥pi }-¥pi ¥approx 20}{¥displaystyle e^{¥pi }-¥pi ¥approx 20}が得られる。皮肉なことに、{¥displaystyle 7¥pi }{¥displaystyle 7¥pi }の大雑把な近似を用いることで、さらに1桁の精度が上がっている[1]。

なお、π + 20 が eπ に近いため、

{¥displaystyle ¥cos¥{¥log(¥pi +20)¥}=-0.99999999924368¥dots }{¥displaystyle ¥cos¥{¥log(¥pi +20)¥}=-0.99999999924368¥dots }
という変形も与えられる。

https://ja.wikipedia.org/wiki/%E3%81%BB%E3%81%A8%E3%82%93%E3%81%A9%E6%95%B4%E6%95%B0

263 ：名無しさん＠涙目です。：2024/08/25(日) 20:53:49.40 ID:OaSO8SGn0.net

272 ：名無しさん＠涙目です。：2024/08/25(日) 21:18:33.00 ID:E9R1K+Al0.net

54 ：名無しさん＠涙目です。：2024/08/25(日) 10:27:30.50 ID:i7O0kJ0y0.net

210 ：名無しさん＠涙目です。(ジパング) [EU]：2024/08/25(日) 16:52:25.79 ID:s4/RAt9O0.net

163 ：名無しさん＠涙目です。：2024/08/25(日) 15:18:01.13 ID:1kqwFM6w0.net

191 ：名無しさん＠涙目です。：2024/08/25(日) 16:01:29.33 ID:87i52bmL0.net

47 ：名無しさん＠涙目です。：2024/08/25(日) 10:22:54.64 ID:JkuNwOok0.net

103 ：名無しさん＠涙目です。：2024/08/25(日) 11:52:26.98 ID:FYlmTgT50.net

254 ：名無しさん＠涙目です。(茸) [AU]：2024/08/25(日) 20:23:17.59 ID:gA/E2dQc0.net

79 ：名無しさん＠涙目です。：2024/08/25(日) 10:58:53.40 ID:EJivzdSV0.net

80 ：名無しさん＠涙目です。：2024/08/25(日) 10:59:49.61 ID:A63fmFZC0.net

70 ：名無しさん＠涙目です。：2024/08/25(日) 10:50:25.76 ID:QKPfSV1I0.net

166 ：名無しさん＠涙目です。：2024/08/25(日) 15:21:20.35 ID:LNQQIitJ0.net

319 ：名無しさん＠涙目です。：2024/08/26(月) 11:29:58.93 ID:UCHpCilR0.net

16 ：名無しさん＠涙目です。：2024/08/25(日) 10:03:06.84 ID:qb/FvZT10.net

189 ：名無しさん＠涙目です。：2024/08/25(日) 15:59:52.31 ID:n/zgmktp0.net

161 ：名無しさん＠涙目です。：2024/08/25(日) 15:17:02.75 ID:Sv9NeB+D0.net

257 ：名無しさん＠涙目です。(京都府) [JP]：2024/08/25(日) 20:32:06.91 ID:6V+Etrmh0.net

135 ：名無しさん＠涙目です。：2024/08/25(日) 13:42:08.27 ID:sHGZxrVT0.net

147 ：名無しさん＠涙目です。：2024/08/25(日) 14:51:04.80 ID:O+dMxmRp0.net

113 ：名無しさん＠涙目です。：2024/08/25(日) 12:14:30.08 ID:7JrHYeWp0.net

229 ：名無しさん＠涙目です。：2024/08/25(日) 17:31:27.80 ID:qiTfyjSi0.net

187 ：名無しさん＠涙目です。：2024/08/25(日) 15:53:51.05 ID:2g8Kli0e0.net

118 ：名無しさん＠涙目です。：2024/08/25(日) 12:28:37.02 ID:n4fxR0Zf0.net

301 ：名無しさん＠涙目です。：2024/08/26(月) 05:44:52.50 ID:2sCmXAQy0.net

21 ：名無しさん＠涙目です。：2024/08/25(日) 10:05:31.06 ID:afSLKcot0.net

77 ：名無しさん＠涙目です。：2024/08/25(日) 10:57:46.78 ID:QKPfSV1I0.net

40 ：名無しさん＠涙目です、：2024/08/25(日) 10:19:24.79 ID:by9ETfS70.net

318 ：名無しさん＠涙目です。：2024/08/26(月) 11:27:39.55 ID:R0JygeWZ0.net

30 ：名無しさん＠涙目です。：2024/08/25(日) 10:10:46.76 ID:efepigFV0.net