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

206 ：名無しさん＠涙目です。(やわらか銀行) [ES]：2024/08/25(日) 16:36:36.96 ID:JYDnMPE80.net

157 ：名無しさん＠涙目です。：2024/08/25(日) 15:05:09.02 ID:PsBH7EKZ0.net

144 ：名無しさん＠涙目です。：2024/08/25(日) 14:41:53.20 ID:dxbsEVNy0.net

181 ：名無しさん＠涙目です。：2024/08/25(日) 15:46:01.54 ID:9RbtTAAb0.net

285 ：名無しさん＠涙目です。：2024/08/25(日) 21:50:48.58 ID:udqHS4+z0.net

109 ：名無しさん＠涙目です。：2024/08/25(日) 12:09:31.57 ID:9VxVf1Uu0.net

159 ：名無しさん＠涙目です。：2024/08/25(日) 15:11:20.99 ID:QsvIEZO/0.net

226 ：名無しさん＠涙目です。：2024/08/25(日) 17:22:27.90 ID:/PQA3Ubb0.net

117 ：名無しさん＠涙目です。：2024/08/25(日) 12:28:08.68 ID:AmiAH0+90.net

300 ：名無しさん＠涙目です。：2024/08/26(月) 05:18:44.27 ID:qvtO3CnL0.net

270 ：名無しさん＠涙目です。：2024/08/25(日) 21:11:23.85 ID:udqHS4+z0.net

260 ：名無しさん＠涙目です。：2024/08/25(日) 20:50:49.21 ID:2aI9pi/b0.net

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

294 ：名無しさん＠涙目です。：2024/08/25(日) 23:08:53.09 ID:Lu/X9c420.net

155 ：：2024/08/25(日) 15:02:32.98 ID:CPODn6CZ0.net

235 ：名無しさん＠涙目です。：2024/08/25(日) 18:29:39.40 ID:xB0NcLTs0.net

363 ：名無しさん＠涙目です。：2024/08/27(火) 16:17:01.16 ID:VSQ3AYCQ0.net

149 ：名無しさん＠涙目です。：2024/08/25(日) 14:56:56.57 ID:jVNq3lWV0.net

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

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

90 ：名無しさん＠涙目です。：2024/08/25(日) 11:07:44.11 ID:u4qhHLBW0.net

18 ：名無しさん＠涙目です。：2024/08/25(日) 10:03:36.32 ID:9mVrggGJ0.net

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

252 ：名無しさん＠涙目です。(東京都) [FR]：2024/08/25(日) 20:17:37.40 ID:N0TYzrbF0.net

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

8 ：：2024/08/25(日) 09:58:49.46 ID:loSLosX50.net

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

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

349 ：名無しさん＠涙目です。：2024/08/27(火) 00:42:08.67 ID:XOlWEcJJ0.net

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

34 ：名無しさん＠涙目です。(愛知県) [VN]：2024/08/25(日) 10:14:44.23 ID:4M4zJXC80.net

230 ：名無しさん＠涙目です。：2024/08/25(日) 17:46:10.80 ID:KoEkevY80.net

244 ：名無しさん＠涙目です。：2024/08/25(日) 19:49:52.10 ID:w7c257fG0.net

329 ：名無しさん＠涙目です。：2024/08/26(月) 15:16:03.72 ID:t1/c/XPw0.net

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

53 ：名無しさん＠涙目です。：2024/08/25(日) 10:26:53.59 ID:qurexwrc0.net

341 ：名無しさん＠涙目です。：2024/08/26(月) 18:23:08.34 ID:q53RV+kJ0.net

121 ：名無しさん＠涙目です。：2024/08/25(日) 12:40:54.37 ID:rJP6z8Ha0.net

15 ：名無しさん＠涙目です。：2024/08/25(日) 10:02:37.12 ID:OTFbQVaN0.net

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

86 ：名無しさん＠涙目です。：2024/08/25(日) 11:04:24.96 ID:QKPfSV1I0.net

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

213 ：名無しさん＠涙目です。(日本のどこかに) [US]：2024/08/25(日) 16:57:20.78 ID:iQlL0sbp0.net

267 ：名無しさん＠涙目です。：2024/08/25(日) 21:02:59.89 ID:wuR+o/MK0.net

309 ：名無しさん＠涙目です。：2024/08/26(月) 08:31:24.84 ID:EbZ8I+K40.net

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

205 ：名無しさん＠涙目です。(茸) [IT]：2024/08/25(日) 16:35:38.45 ID:5hpz79HT0.net

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

212 ：名無しさん＠涙目です。(東京都) [US]：2024/08/25(日) 16:56:42.44 ID:mv9/X2O40.net

200 ：名無しさん＠涙目です。：2024/08/25(日) 16:24:59.87 ID:9QqVVicS0.net

126 ：名無しさん＠涙目です。：2024/08/25(日) 13:08:06.34 ID:3BCAjOaY0.net

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

3 ：名無しさん＠涙目です。：2024/08/25(日) 09:56:11.88 ID:qc1/anhz0.net

293 ：名無しさん＠涙目です。：2024/08/25(日) 23:07:15.79 ID:udqHS4+z0.net

174 ：名無しさん＠涙目です。：2024/08/25(日) 15:30:28.06 ID:3h7lxsl50.net

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

96 ：名無しさん＠涙目です。：2024/08/25(日) 11:15:41.49 ID:aokJRtpX0.net

132 ：名無しさん＠涙目です。：2024/08/25(日) 13:17:07.00 ID:V9M5H9+a0.net

65 ：名無しさん＠涙目です。：2024/08/25(日) 10:42:54.27 ID:u4qhHLBW0.net

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

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

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

25 ：：2024/08/25(日) 10:06:27.65 ID:IC0G212M0.net

88 ：名無しさん＠涙目です。：2024/08/25(日) 11:06:04.02 ID:PquFEUjn0.net

88 ：名無しさん＠涙目です。：2024/08/25(日) 11:06:04.02 ID:PquFEUjn0.net

180 ：名無しさん＠涙目です。：2024/08/25(日) 15:41:06.69 ID:mu2D9SJ10.net

292 ：名無しさん＠涙目です。：2024/08/25(日) 23:05:09.96 ID:4I4ENaGk0.net

333 ：名無しさん＠涙目です。：2024/08/26(月) 16:27:30.82 ID:W8T5Xzum0.net

167 ：名無しさん＠涙目です。：2024/08/25(日) 15:22:38.04 ID:udqHS4+z0.net

278 ：名無しさん＠涙目です。：2024/08/25(日) 21:36:39.18 ID:N6N9qlQm0.net