2
高校数学解説
文献あり

フォロワー2700人突破記念問題の解答

77
0

はじめに

この記事は、最近twitterで公開した次の問題の解答について解説します。

フォロワー2700人突破記念問題!

図のように正三角形の辺を31等分した点と頂点をつなぐ線分を引き、正三角形の内部の交点の数をAとします。同様に正三角形の辺を32等分した点と頂点をつなぐ線分を引き、正三角形の内部の交点の数をBとします。
BAはいくつ?

問題 問題

この記事では、正三角形の辺をn等分した点と頂点をつなぐ線分を引いたときの正三角形の内部の交点の数を T(n) で表すことにします。
そうすると、

A=T(31),B=T(32)

ですから、

BA=T(32)T(31)

を求めることになります。

観察

いきなり解いてもいいのですが、小さい数から試してみると、ちょっと面白い現象が起きることに気が付きます。

小さい数から試してみる

1等分(0点)・2等分(1点) 1等分(0点)・2等分(1点)

3等分(12点)・4等分(13点) 3等分(12点)・4等分(13点)

5等分(48点)・6等分(49点) 5等分(48点)・6等分(49点)

7等分(108点)・8等分(109点) 7等分(108点)・8等分(109点)

9等分(192点)・10等分(193点) 9等分(192点)・10等分(193点)

ここまでの結果を表にしてみましょう。

nT(n)
10
21
312
413
548
649
7108
8109
9192
10193

ここまでは全部、T(2n)=T(2n1)+1 という法則が成り立っていることに気が付きます。
そうすると、この後もずっとこの法則が成り立つのではないか、と予想できます。
実際にはどうなんでしょうか?

例外もある

残念ながら、nが小さい場合は T(2n)=T(2n1)+1 が成立していますが、n が大きくなってくるとこの法則が成り立たないケースが出てきてしまいます。
最初の例外は T(15)=576,T(16)=589 の組合せです。

15等分(576点)・16等分(589点) 15等分(576点)・16等分(589点)

3つの線分がが1点で集まる数を数える

あらためて、問題を解くための方針を考えます。

まず、異なる頂点を通る線分を2本選ぶと、その2本の線分は正三角形の内部で交点を持ちます。
それぞれの頂点からは n1 本の線分が引かれていますので、2つの頂点からの線分の選び方の組合せは (n1)2 となります。

n等分の場合の2本の線分の選び方の場合の数を T2(n) で表すことにしましょう。対称性を考えると、

T2(n)=3(n1)2

となります。

正三角形内部の交点には、2つの線分が1 点で交わる場合のほか、3つの線分が1点で交わる場合がありますが、T2(n) ではそのような点を3回カウントしていることになります。

そこで、n等分の場合の3本の線分が1点で交わる交点の数を T3(n) で表すことにすると、次のように表すことができます。

T(n)=T2(n)2T3(n)

15等分、16等分の場合で確認してみましょう。

3つの線分が1点で集まる位置 3つの線分が1点で集まる位置

n1516
T(n)576589
T2(n)588675
T3(n)643

T(n)=T2(n)2T3(n) が確かに成り立っていますね!

チェバの定理

しかし、3つの線分が1点で交わっているかどうかを確かめるにはどうすればいいのでしょうか。
それには、チェバの定理を使うのが便利です。

チェバの定理

三角形ABCにおいて、三角形の内部に任意の点Oをとり、直線AOBCBOCACOABの交点をそれぞれDEFとする。この時、次の等式が成立する。なお、点Oは、三角形の内部にあっても外部にあってもよい。

AFFBBDDCCEEA=1

チェバの定理 チェバの定理

具体的に求める

準備が整ったので、後は計算を進めましょう。

重複を含めた2線分の交点の数

T2(31) を計算する

T2(31)=3(311)2=2700

T2(32) を計算する

T2(32)=3(321)2=2883

3線分の交点の数

T3(31) を計算する

チェバの定理により、T3(31)

i31ij31j=k31k

となるような1 以上 30 以下の i,j,k の組合せの場合の数と同じになります。

対称性を考えて、j,jについて 1 以上 15 以下の整数について調べれば十分です。

!FORMULA[76][836579695][0] について調べる i=115,j=115 について調べる

しらみつぶしに調べてみると、条件を満たす組み合わせは存在しないことがわかります。

T3(31)=0

T3(32) を計算する

チェバの定理により、T3(32)

i32ij32j=k32k

となるような1 以上 31 以下の i,j,k の組合せを探します。

対称性を考えて、j,jについて 1 以上 16 以下の整数について調べれば十分です。

!FORMULA[87][331021101][0] について調べる i=116,j=116 について調べる

しらみつぶしに調べてみると、条件を満たす組み合わせは次のとおりです。

1311616=131

2301616=230

3291616=329

15171616=1517

1616131=131

1616230=230

1616329=329

16161616=1616

正三角形の中心に1個と、辺の中点を通る線分上に152=30個となります。

対称性から、交点の数は全部で

T3(32)=303+1=91

とわかります。

交点の数

以上より

31等分の場合の交点の数

A=T(31)=T2(31)2T3(31)=270020=2700

32等分の場合の交点の数

B=T(32)=T2(32)2T3(32)=2883291=2701

したがって求める交点の差は

B=A=27012700=1

というわけで、答えは1でした!

おわりに

今回は、フォロワー2700人記念ということで、2700にちなんだ問題をつくってみたというわけでした。

31等分のときは交点が2700個、32等分のときは交点が2701個になるのですが、交差する2本の線分の組合せは183個も増えるのに、交点は 1個しか増えないのってちょっとおもしろくないですか?

なお、この記事は202211日に公開しました。

11日に答えが1になる問題の解説を公開することができて、なんだかとても縁起がいい気がしますね!

あけましておめでとうございます。
今年もよろしくお願いします!

参考文献

投稿日:20211231
OptHub AI Competition

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。
バッチを贈って投稿者を応援しよう

バッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。

投稿者

apu_yokai
apu_yokai
488
66813

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中
  1. はじめに
  2. 観察
  3. 小さい数から試してみる
  4. 例外もある
  5. 3つの線分がが1点で集まる数を数える
  6. チェバの定理
  7. 具体的に求める
  8. 重複を含めた$2$線分の交点の数
  9. $3$線分の交点の数
  10. 交点の数
  11. おわりに
  12. 参考文献