問題概略
ABC をすべての内角が 120 度未満の三角形とする。
X を三角形の内点として , , とおく。フェルマーは「 を最小にする X を探す方法はあるか?」とトリチェリに問題を出した。
正三角形 AOB, BNC, AMC が ABC の各辺に構成できるならば,AOB, BNC, AMC に外接する 3 つの円が三角形の内部の 1 点 T で交わることをトリチェリは示した。
さらに,フェルマー点(トリチェリ点,等角中心)と呼ばれる点 T が を最小にすることも示した。
が最小のとき であり,AN, BM, CO が点 T を通ることも示せる。が最小で , , , , , がすべて自然数のとき,三角形 ABC をトリチェリ三角形と呼ぶ。
たとえば , , は のトリチェリ三角形である。トリチェリ三角形について,異なる値をとる の総和を求めよ。
解説の pdf も作りました。きれいなレイアウトで読みたい方はこちらをどうぞ。
余弦定理→整数のパラメータ表示
与えられた図において点 T のまわりの角はすべて 120 度です。
, , に余弦定理を使います。
これをみたす自然数はピタゴラス数の一般項 と同じ要領でパラメータ表示することができます。
を で割って , とおきます。, は有理数です。
この楕円上の格子点として と がすぐみつかります。
を通る直線として を考えて楕円との交点を求めると, でない方の座標は次のようになります。
(, は互いに素な自然数)とおきます。
がみつかりました。
次はこれらが互いに素な自然数になる条件を求めます。
「 と は互いに素」と からわかる「」の他に条件がないか mathematica で調べてみました。
In[]:= ClearAll["Global`*"]; q[m_, n_] := m^2 - n^2; r[m_, n_] := 2 m*n + n^2; isBad[{m_, n_}] := m > n && CoprimeQ[m, n] && ! CoprimeQ[q[m, n], r[m, n]]; Select[Tuples[Range@10, 2], isBad] Out[]= {{4, 1}, {5, 2}, {7, 1}, {7, 4}, {8, 5}, {10, 1}, {10, 7}}
が 3 の倍数だとまずいみたいですね。これを証明します。
, の最大公約数を のようにあらわします。
と は互いに素なので「 と , は互いに素」と「 と , は互いに素」がいえます。
上式の最右辺の値は と同じです。
, とおくと , がいえます。
と の最大公約数は と の公約数です。1 か 3 ですね。
この 3 を否定すればいいので, と が互いに素な条件は , の少なくとも一方が 3 で割りきれないことです。
casework により「」がわかります。
まとめましょう。
- が平方数になるのは , のとき
- と は互いに素な自然数で かつ をみたす
- は自然数
整数の組を数える
FindCycle で長さ 3 の閉路を探す
上の条件をみたす 2 つの数を辺で結んでグラフを作ります。
「 と 」「 と 」「 と 」が平方数を与えるとき,, , は長さ 3 の閉路を作ります。
mathematica の組み込み関数 FindCycle でこれを探して, をみたすものの和をとると解けるはず……と思いましたが実際には時間がかかりすぎてダメですね。
「 以下」は 15 秒程度で答えが出ますが,「 以下」だと固まってしまいます。
In[]:= AbsoluteTiming[ lim = 12*10^3; g = {}; For[m = 2, m^2 + 2 m < lim, m++, For[n = 1, n < m, n++, If[! CoprimeQ[m, n] || Divisible[m - n, 3], Continue]; p = m^2 - n^2; q = 2*m*n + n^2; Do[AppendTo[g, k*p <-> k*q], {k, 1, Quotient[lim, p + q]}]]]; ans = Total@Select[DeleteDuplicates[ Total /@ VertexList /@ FindCycle[g, {3}, All]], # < lim &]] Out[]= {15.2798, 251752}
遅い原因は FindCycle と AppendTo です。
- FindCycle ではデフォルトで閉路を 1 つ探すようになっている。 閉路を全部探すのは現実的ではない
- リストに新しい要素を追加する AppendTo は遅い
隣接リストを使う
グラフを無向辺の集合として作るのをやめて,隣接リストで管理します。
隣接リストは小さい方から大きい方に辺を張って作ります。
, , がループを作っていることの確認は「, 」→「」の 2 段階に分けて行います。
- の隣接リストから大きさ 2 の部分集合 を作る。(辺 , がある)
- の隣接リストに が含まれていれば OK(辺 がある)
他にもいくつか工夫しました。
ループさせない
mathematica はループ処理が苦手です。 のリストを Table で一気に作りました。
要素数は約 15,000 です。この変更で計算時間はほとんど変わりませんでした。
lim = 12*10^4; mnTable = Flatten[Table[{m, n}, {m, 2, Sqrt[1 + lim] - 1}, {n, 1, Min[m, Quotient[lim - m^2, 2 m]]}], 1]; mnTable = Select[mnTable, CoprimeQ[#[[1]], #[[2]]] && ! Divisible[#[[1]] - #[[2]], 3] &];
, の範囲は が を下回るように決めました。
のときを考えると より
の範囲も から決めました。
隣接リストを FixedArray で作る
隣接リストは mathematica version 12.1 で導入された FixedArray で作りました。
adjacencyList = CreateDataStructure["FixedArray", {}, lim];
公式いわく「要素は素早く更新できる」らしいです。
たしかに adjacencyList = ConstantArray[ {}, lim] のように普通の多次元配列を使うのと比べるとちょっと速かったですね。
隣接リストへの要素の追加はまとめて行う
隣接リストに頂点を 1 つ 1 つ追加するかわりに の倍数のリスト をまとめて追加するようにしました。
makeList[{m_, n_}] := Module[{p, q, lst}, {p, q} = MinMax[{m^2 - n^2, 2 m*n + n^2}]; lst = Times[{p, q}, #] & /@ Range@Quotient[lim, p + q]; (adjacencyList["Part", #[[1]]] = {adjacencyList["Part", #[[1]]], #[[2]]}) & /@ lst]; makeList /@ mnTable;
最小の は で,これから作られる は 個あります。
これらの登録が 1 回で終わるようにしたわけです。
要素数 1 の隣接リストは調べない
の隣接リストの要素数が 1 だったら「, 」をみたす , が存在しないので,こういう は除外して考えました。
ちなみに要素数 1 の隣接リストは約 13,000 個で,要素数 2 個以上のものは約 22,000 個でした。
vertex = Flatten@Position[adjacencyList, {Repeated[_, {2, Infinity}]}];
最終結果
以上をふまえて計算したところ約 2.5 秒でした。
In[]:= ClearAll["Global`*"]; AbsoluteTiming[ lim = 12*10^4; mnTable = Flatten[Table[{m, n}, {m, 2, Sqrt[1 + lim] - 1}, {n, 1, Min[m, Quotient[Quotient[lim, m] - m, 2]]}], 1]; mnTable = Select[mnTable, CoprimeQ[#[[1]], #[[2]]] && ! Divisible[#[[1]] - #[[2]], 3] &]; adjacencyList = CreateDataStructure["FixedArray", {}, lim]; makeList[{m_, n_}] := Module[{p, q, lst}, {p, q} = MinMax[{m^2 - n^2, 2 m*n + n^2}]; lst = Times[{p, q}, #] & /@ Range@Quotient[lim, p + q]; (adjacencyList[ "Part", #[[1]]] = {adjacencyList["Part", #[[1]]], #[[2]]}) & /@ lst]; makeList /@ mnTable; adjacencyList = Union@Flatten[#, Infinity] & /@ Normal@adjacencyList; vertex = Flatten@Position[adjacencyList, {Repeated[_, {2, Infinity}]}]; calc[p_] := Module[{nums}, nums = Select[Subsets[adjacencyList[[p]], {2}], MemberQ[adjacencyList[[#[[1]]]], #[[2]]] &]; p + Total /@ nums]; ans = Total[ Select[DeleteDuplicates@Flatten[calc /@ vertex], # < lim &]];] Out[]= {2.51049, Null}