【速報】円周率π=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

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

335 ：名無しさん＠涙目です。：2024/08/26(月) 16:53:59.95 ID:sEEPmr+G0.net

356 ：名無しさん＠涙目です。：2024/08/27(火) 12:58:58.01 ID:GN1lAGWg0.net

119 ：名無しさん＠涙目です。：2024/08/25(日) 12:35:33.91 ID:GzPO8uPg0.net

168 ：名無しさん＠涙目です。：2024/08/25(日) 15:25:03.79 ID:rDPySOJX0.net

106 ：!dongur1：2024/08/25(日) 12:05:08.34 ID:4OZ05Z+n0.net

145 ：名無しさん＠涙目です。：2024/08/25(日) 14:46:15.87 ID:9dCdDia40.net

176 ：名無しさん＠涙目です。：2024/08/25(日) 15:35:29.36 ID:hZCrbbI60.net

139 ：名無しさん＠涙目です。：2024/08/25(日) 14:36:22.26 ID:CZ4gyhlL0.net

347 ：：2024/08/26(月) 22:12:59.94 ID:nsOPEfoJ0.net

222 ：名無しさん＠涙目です。：2024/08/25(日) 17:14:49.49 ID:Fg0NMZFZ0.net

299 ：名無しさん＠涙目です。：2024/08/26(月) 05:17:02.01 ID:Ix9UpDIT0.net

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

146 ：名無しさん＠涙目です。：2024/08/25(日) 14:48:50.46 ID:j6KDNuk90.net

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

4 ：名無しさん＠涙目です。：2024/08/25(日) 09:58:15.61 ID:pFTVwdGf0.net

275 ：名無しさん＠涙目です。：2024/08/25(日) 21:26:59.27 ID:Y25s9ToH0.net

98 ：名無しさん＠涙目です。：2024/08/25(日) 11:21:42.11 ID:HZNTRmQE0.net

140 ：名無しさん＠涙目です。：2024/08/25(日) 14:38:29.14 ID:Z4WqLdfJ0.net

100 ：名無しさん＠涙目です。：2024/08/25(日) 11:29:10.18 ID:2ZboWDWD0.net

343 ：名無しさん＠涙目です。：2024/08/26(月) 20:23:45.68 ID:AimOH+8y0.net

36 ：名無しさん＠涙目です。(庭) [CN]：2024/08/25(日) 10:15:39.88 ID:HIBMDNAg0.net

336 ：名無しさん＠涙目です。：2024/08/26(月) 16:56:26.62 ID:sotmVRSZ0.net

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

321 ：名無しさん＠涙目です。：2024/08/26(月) 11:46:30.49 ID:fC73GzmW0.net

12 ：名無しさん＠涙目です。：2024/08/25(日) 10:00:31.94 ID:QdHH+Ori0.net

355 ：名無しさん＠涙目です。：2024/08/27(火) 12:20:42.01 ID:lkNK5A6p0.net

339 ：名無しさん＠涙目です。：2024/08/26(月) 17:27:18.73 ID:OMLi1uO10.net

296 ：名無しさん＠涙目です。：2024/08/26(月) 00:38:12.78 ID:XPWJxWhM0.net

346 ：名無しさん＠涙目です。：2024/08/26(月) 20:44:40.28 ID:IQjooKpi0.net