8月1日に書き始めてずっと下書きに放置されていた(2022-08-01 16:05:59,entry/2022/08/01/160559)ので,途中で終わっているけど再投稿しておくか.
相似比 4:2:1 の正"偶数"角形は任意の角度で互いに接触するようにいい感じに配置できるの図 https://t.co/VOyDsdZ8p0 pic.twitter.com/w83D4yHHM3
— apu (@apu_yokai) 2022年7月30日
「"偶数"でできたんなら"奇数"でも出来るのでは?」と思った方もいると思います。
— apu (@apu_yokai) 2022年7月31日
なんとできました!
【正"奇数"角形の場合】
辺の長さ 1:2:2 の正n角形、正n角形、正2n角形をそれぞれ4個、2個、1個図のように配置すると、任意の角度でピッタリ接するようにできます! pic.twitter.com/R8PLlAAD4t
図形 , に対して
で定まる点 の集合を図形 , のミンコスフキー和といい, で表す.
図形 , を平行移動すると も平行移動されるが,ミンコフスキー和の形状は不変であるので,平行移動の不定性を除いてミンコフスキー和は一意に定まる.
図形 を 倍に拡大した図形を と定義すると,一般には だが, が凸図形ならば, が成立する.
また,凸図形 , に対して, も凸図形となり, の周の長さは, と の周の長さの和となる.
図形 を180度回転した図形を と定義すると,これは図形 を 倍拡大した図形であり,整合性がとれている.
ミンコフスキー差の定義はいくつかあるが,その1つの定義の
を用いることにする.
このとき は の逆演算ではなく, は1点や空集合にはならない.例えば が1辺の長さが 1 の正三角形のとき, は1辺の長さが 1 の正6角形となる.一般に が1辺の長さが 1 の正 角形のとき, は1辺の長さが 1 の正 角形である.
凸図形 を凸図形 のまわりに接するように平行移動させながら1周させてできる図形 は
となる.というのも,図形 は
つまり
とかけるからである.
さて,本論に入る.図形 を相似比1の正 角形とする.すると は凸なので となり,これは 相似比2の正 角形となる.
一方, は
(i) が偶数のとき, から となり相似比2の正 角形,
(ii) が奇数のとき,相似比1の正 角形
となる.ともに周の長さが の正多角形であることに注意する.
ここで という凸図形を考える.これはもちろん
(i) が偶数のとき,相似比4の正 角形,
(ii) が奇数のとき,相似比2の正 角形
である.これが一番外側にある多角形となる.
ここで
だから,は
凸図形 を凸図形 のまわりに接するように平行移動させながら1周させてできる図形である.
は周の長さが の偶数辺の正多角形だから点対称であり,その対称の中心を とすると,この tweet に描かれていないが,赤く描かれている相似比1の正 角形は, の対称の中心を に平行移動したとき, と にピッタリとはさまれていることがわかる.
また,
だから, は相似比2の正 角形と,それを180度回転してできる相似比2の正 角形のミンコフスキー和となり,これらが凸図形であることに注意すると, と と が でピッタリ接するように配置することができる.これが緑の輪郭に青い2つの図形がぴったりはさまっていて, に対して点対称の位置にある状態を表現している.
さて,ここで
が
なる点の集合であったことを思い出そう.凸図形 に対する を考えたとき,図形 の周 および図形 の周 に対して,凸図形が共有点をもつ限界が接する場合となることから,
をみたす
なる組が存在することがわかる.ここで を となるように選ぶと,外周の緑と内接し,互いに外接する青と赤の組が得られることがわかる.
このことは,青い図形を配置した後に,外周 と, と中心を に平行移動したときの外周 に挟まれるように をすべらせていけば,右と左の両方に青と接する赤を置くことができることを表している.
(ここまで)
■ この図形たちの構図は について点対称なので tweet のように青2つの赤4つを配置することを考えたとき,残った問題は,縦に並んだ赤が接していることを示すだけである.
■ 青2つの中心を上から とし,右側の赤2つの中心を上から とすると,
上の青と赤の相似の中心は を に外分する点である.
ミンコフスキー和のことを考えると,
凸図形 の外周上の点 , に対して
となるので,
なる
が存在するので,これが使えないかなぁ.