18/02/18 01:48:56.26 e4NqLH6n.net
>>870
>>897 → >>886 → >>885 → >>871 で解決
なお、>>897 の
上は A，B共に半径R=2.5の円周上の端点の場合で
2 R sin(π/8）= R √(2-√2）= 0.76536686 R = 1.91341716
下は 一方が半径R=2.5の円周上の端点、他方が単位円周上の端点の場合で
√(1+RR-R√2）= 1.92729502
ですね。
>>887-889
9つの単位円で覆うのは、チョト無理