| For All Solvers
OMC229

OMC229(F)

 角の二等分線の性質より AB=101x,AC=313xBD=101y,CD=313y AB = 101x,\quad AC =313x\quad BD = 101y,\quad CD=313y であるような正の実数 x,yx,y がある.条件から 101x,313x101x, 313x が整数なので 313x303x=10x313x - 303x = 10x も整数で,101x10x10=x101x - 10x\cdot 10 = x も整数である.同様に yy も整数である.また,A\angle A の二等分線の長さは ABACBDBC\sqrt{AB\cdot AC - BD\cdot BC} で与えられるので d2=101x313x101y313y=101313(xy)(x+y) d^2 = 101x \cdot 313x - 101y \cdot 313y = 101\cdot 313 (x-y)(x+y) となる.101,313101, 313 は素数なので,dd101313101\cdot 313 の倍数である.正の整数 nn によって d=101313nd = 101\cdot 313 n とおくと 101313n2=(xy)(x+y) 101\cdot 313 n^2 = (x-y)(x+y) となる.また,三角形 ABCABC の三角不等式より 313x<101x+414y,414y<101x+313x 313x \lt 101x + 414y,\qquad 414y \lt 101x + 313x なので y<xy\lt x かつ 212x<414y212x \lt 414y となる.よって,次の集合 SnS_n の要素が 44 個であるような nn を求めればよい. Sn={(x,y)N×N101313n2=(xy)(x+y),106x<207y} S_n = \{ (x,y) \in \mathbb{N}\times \mathbb{N} \mid 101\cdot 313\cdot n^2 = (x-y)(x+y),\, 106x \lt 207y \}

補題. 正の整数からなる集合 TnT_nTn={kNk は 101313n2の正の約数,k<101n,k101313n2k(mod2)} T_n = \{ k \in \mathbb{N} \mid k \ は \ 101\cdot 313\cdot n^2 の正の約数 ,\quad k \lt 101n, \quad k \equiv \frac{101\cdot 313 \cdot n^2}{k} \pmod{2} \} によって定めると,SnS_n から TnT_n への全単射 (一対一対応) が存在する.特に Sn=Tn|S_n| = |T_n| である.

証明  a=x+y,b=xya = x+y, b=x-y (2x=a+b, 2y=ab)(2x = a+b, ~ 2y=a-b) とおくと,(x,y)Sn(x,y)\in S_n に関する条件は 101313n2=ab,313b<101a 101\cdot 313\cdot n^2 = ab,\quad 313b \lt 101a となる.この二つの式から 1012313n2=101ab>313b2101^2\cdot 313\cdot n^2 = 101ab \gt 313b^2 を得るので,101n>b101n \gt b である.さらに,a,ba,b の偶奇は一致するので ba=101313n2b(mod2)b\equiv a = \frac{101\cdot 313\cdot n^2}{b}\pmod{2} である.以上より, Sn(x,y)b=xyTn S_n \ni (x,y) \mapsto b=x-y\in T_n という写像が得られ,これは全単射を定める.なお,逆写像は Tnk(12(101313n2k+k),12(101313n2kk))SnT_n \ni k\quad \mapsto\quad \left(\frac{1}{2} \left(\frac{101\cdot 313\cdot n^2}{k} + k \right), \frac{1}{2} \left(\frac{101\cdot 313\cdot n^2}{k} - k \right) \right)\in S_n である.

 これより,Tn=4|T_n| = 4 であるような nn の条件を調べればよい.nn が小さい範囲では T1={1}=1,T2={2}=1,T3={1,3,9,101}=4,T4={2,4,8,202}=4 \begin{aligned} |T_1| &= |\{ 1 \}| = 1, \\ |T_2| &= |\{ 2 \}| = 1, \\ |T_3| &= |\{1,3,9,101 \}| = 4, \\ |T_4| &= |\{ 2, 4, 8, 202\}| = 4 \end{aligned} なので n=3,4n=3, 4 が適する.以降は n5n\geqq 5 で考える.

Case 1. nn55 以上の奇数であるとき
 このとき,すべての nn1,101,313,nTn1,101,313, n\in T_n である(313<101n313 \lt 101n に注意).nn が素数でないと仮定すると,これら 44 つの要素は相異なる.これに加え, nn の任意の素因数 pp に対して p,101pTnp, 101p\in T_n だから,Tn=4|T_n| = 4 による重複を考えることで (p,n)=(101,1012),(313,101313) (p,n) = (101, 101^2),\quad (313, 101\cdot 313) のいずれかである必要がある.しかし,いずれのパターンも 313pTn313p \in T_{n} かつ 313p∉{1,101,313,n}313p \not\in \{ 1, 101, 313, n \} となるため不適である.
 よって 奇数 n>5n \gt 5 が素数でないときは常に Tn5|T_{n}|\geqq 5 となる.一方で nn が奇素数のとき,いくつかの初等的な不等式を解くことで Tn|T_{n}| は以下のように決定される.

  • 5n975\leqq n\leqq 97 のときは Tn={1,101,313,n,n2}T_n = \{ 1, 101, 313, n, n^2\}
  • n=101,313n=101,313 のときは Tn={1,101,313}T_n = \{ 1,101,313 \}
  • 103n311103\leqq n\leqq 311 のときは Tn={1,101,313,n}T_n = \{1, 101, 313, n\}
  • 317n317\leqq n のときは Tn={1,101,313,n,101313}T_n = \{1, 101, 313, n, 101\cdot 313\}

これより, Tn={3(n=101,313)4(103n311)5(5n97,317n) |T_{n}|= \begin{cases} 3 & (n = 101, 313)\\ 4 & (103 \leqq n \leqq 311)\\ 5 & (5\leqq n\leqq 97,\quad 317\leqq n) \end{cases} であるから,条件に該当するのは 103103 以上 311311 以下の素数であり,素数表から 3838 個あるとわかる.

Case 2. nn66 以上の偶数であるとき
 もし nn44 の倍数ならば 2,4,8,202,404Tn2, 4, 8, 202, 404 \in T_n なので不適 (n8(n\geqq 8 から 626<101n626 \lt 101n に注意)).よって奇数 rr によって n=2rn=2r と書ける.T2rT_{2r} の要素は必ず偶数になるのでそれを 2k2k とおくと, kk101313r2101\cdot 313\cdot r^2 の正の約数で k<101rk \lt 101r を満たす.よって,写像 T2r2kkTr T_{2r}\ni 2k \mapsto k \in T_{r} は全単射なので, Case 1 の議論および T3=4|T_{3}| = 4 から,r=3r=3 または 103r311103\leqq r\leqq 311 を満たす素数 rr のみが T2r=4|T_{2r}| = 4 をみたす.

 以上より,条件を満たす ddd=101313n,n{3,4,6}{r,2rrは素数で103r311} d = 101\cdot 313 \cdot n,\quad n\in \{ 3,4,6\} \cup \{ r, 2r \mid r は素数で 103 \leqq r\leqq 311 \} となるので,求める個数は 3+38×2=793+38\times 2= \mathbf{79} 個.

解説YouTube

解説YouTubeが存在しません.