>>342
予測　：　正三角形になる点はみつからない。


ヒント

高校数学の質問スレ Part434
http://rio2016.5ch.net/test/read.cgi/math/1712376048/627

627 名前：１３２人目の素数さん[sage] 投稿日：2024/04/28(日) 11:42:32.22 ID:pfxD2O3Q
内接する正三角形の中心＊が正七角形の中心＋と一致するという前提を外してR言語で探索して作図。

https://i.imgur.com/zdcTLGT.png
正七角形の１辺の長さが１とすると正三角形の１辺の長さは約1.87になった。

東大合格者による検証を希望します。


∵正三角形になる位置は有理数ではないから。