区間をn等分する問題、数直線上の区間[0,1]をn等分して等分点をマークする。これをいくつかのnについて重ねて実行すれば区間[0,1]はさまざまの長さの小区間に分割される...受験数学わんこらスクール京大理学部で数学をやったわんこらが中学生や高校生、受験生に数学の公式や問題を解説します。区間をn等分する問題、数直線上の区間[0,1]をn等分して等分点をマークする。これをいくつかのnについて重ねて実行すれば区間[0,1]はさまざまの長さの小区間に分割される...[問題]数直線上の区間[0,1]をn等分して等分点をマークする。これをいくつかのnについて重ねて実行すれば区間[0,1]はさまざまの長さの小区間に分割される。このn等分マークをn=2からn=100までのすべての自然数nについて重ねて実行したとき、同じ長さの小区間は最大いくつ現れるか?[解答・解説]この問題は高校生に質問された問題ですが、数時間ぐらいかかってしまいました。ノートが計算式だらけになってうへ~!って泣きそうになりながら解きました。なんか問題を見た感じではほんまにこんなんわかるんかって問題ですね。考えてみたら分数の面白い結果もわかってきました。二つの既約な分数a/c、b/d(a/c>b/c)をとってきます。[0,1]区間で2~100等分なのでここで出てくる既約分数は分母、分子が正で100等分までだから分母は100以下で分母≧分子でなければなりません。(ad-bc)/cdです。この二つの分数が隣り合ってる、この二つの分数の間には他の分数が無いとすればad-bc=1が成り立ちそうな気がしました。したら差は1/cdになると言うことは、cdが同じになるcdの組み合わせの数が同じ長さの小区間の数になるのではないか?って思いました。この方針でやってみたら一応出来ました。こんな方法でやるのかどうか知りません。この問題はユークリッドの互助法を使いまくって解きました。a/c,b/d(a/c>b/d)が隣り合うならad-bc=1を示す。a/cを固定して考えます。mとnを整数としてam-nc=1はユークリッドの互助法から(m_1,n_1)=(d_1,c_1)(100>d_1>0,100>c_1>0)となる解が存在してd_1とc_1は互いに素である(公約数を持つとするとad_1-b_1cはその公約数の倍数になるがad_1-b_1c=1より矛盾)でa≦cだからad1-d1c≦0<1=ad1-b1cよりd1>b1でb1/d1は[0,1]区間になる既約分数になっている。一つ解をd_2=d_1+jcb_2=c_1+jc(j≧0)でd_2+c>100となるものをとってくると既約分数d_2/b_2はam-nc=1からa/c-n/m=1/cmよりもっともcmが大きくなる解なのでam-nc=1ではb_2/d_2がa/cに一番近い。今度はam-nc=i(i≧2)を考えてad_1-b_1c=1の両辺をi倍してaid_1-ib_1c=iからm=id_1+kcn=ib_1+kcが解である。a/c-n/m=i/cmよりこのm=id_1+kcの解がさっきのd_2=d_1+jcのi倍より大きくて100以下であればそのn/mがa/cにb_2/d_2より近いことになるがm>id_2とするとid_1+kc>id_1+ijc⇔k>ij⇔k≧ij+1であるがこの時m=id_1+kc≧id_1+ijc+c=i(d_1+jc)+c=id2+c>d2+c>100となり矛盾。よってm=id?1+kcはd_2=d_1+jcのi倍より小さい。従って、a/cに最も近い隣り合う分数はd_2/c_2である。まとめるとa/cとb/dが隣り合う分数⇒ad-bc=1、b+c>100と言うことはa/cとb/dが隣りあうならa/c-b/d=(ad-bc)/cd=1/cdで同じ長さの小区間になるにはこの分母のcdが一定になるようなc+d<100で0<c<100、0<d<100となるcdの組み合わせを考えればよいことになります。p,q,rを整数としてcd=qprの時(c,d)=(q,rp),(pr,q),(r,pq)のように選べばこれらはcdがpqrで一定でそれぞれ違う分数を表すことになります。ところでまたad-bc=1よりcとdは互いに素です。ユークリッドの互助法からcとdが決まれば、aとbは一つに決まります。(a1、b1って解があるとa=a1+kcb=b1+kdだから0≦a≦cと0≦b≦cとなる解が一つ存在する)なので、cとdだけ考えたらよいことになります。cdが互いに素な整数6つの積である時、もっとも小さい互いに素な整数は2,3,5,7,11,13であるが2・3・5・7・11・13=30030よりcd≦10000に矛盾。よってcdは互いに素な整数が5つ以下の積。cdが互いに素な整数5つの積である時、1個と4個って言う組み合わせは明らかに4個はどんなけ小さく選んでも2×3×5×7=210で100を越えるからあり得るのは2個と3個の組み合わせ5C2×2=20通り以下である。2,3,5,7,11で条件を満たすのは(c,d)=(33,70)(70,33)(35,66)(66,35)(77,30)(30,77)の6つ2,3,5,7,13で条件を満たすのは(c,d)=(39.70)(70,39)(35,78)(78,35)(65,42)(42,65)(91,30)(30,91)の8つ。2,3,5,7,17はであるが17と後二つの組み合わせは17を除いた残り4つから2つ選んで4C2=6で17×2×3=102より全て100を越えて、7×17>100から10-7=3つでcとdの区別を作って3×2=6つ以下。よって2,3,5,7,q(q≧13)は6つ以下。2,3,5,q,r(q≧11、r>q)はq×r>100で2,3,5から一つ選んでq,rとペアにすると当然これらも100を越えて3×5×r>100、2×5×r>100、2×5×q>100で計7つ以上不適となるから10-7=3で6つ以下。2,3,q,r.s(q≧7、s>r>q)はqrx>100、3rs>100、2rs>100、2qr>100、3qr>100、2qs>100、3qs>100より6つ以下。2,q,r,s,t(q≧5、t>s>r>q)はtsr>100、tsq>100、2ts>100、2tr>100、qtr>100、2tq>100、2sr>100で6つ以下。3,4,5,7,9q,r,s,t,u(q≧3、u>t>s>r>q)はstu>100、rtu>100、qtu>100、rsu>100、qsu>100、qru>100、3ts>100で6つ以下。cdは互いに素な整数が4つの積の時、1個と3個の組み合わせはc+dが100を越えようとすると2×3×5=30で他方は71以上2×3×7=42で他方は59以上2×3×11=66で他方は35以上2×3×13=78で他方は23以上2×3×17>1003×4×5=60で他方は41以上3×4×7>1003×5×7>1004×5×7>100だから2×3×5=30で他方は71以上2×3×7=42で他方は59以上2×3×11=66で他方は35以上2×3×13=78で他方は23以上3×4×5=60で他方は41以上の組み合わせが考えられるが2×71>1002×59>1003×41>100より2×3×5=30で他方は71以上2×3×7=42で他方は59以上3×4×5=60で他方は41以上はc,dの組み合わせは2つ以下2,3,11,37は(66,37)(74,33)だけでc,dの組み合わせは2×2=4つ。2,3,13,23は(78,23)の一つだけでc,dの組み合わせは2つ。2個と2個の組み合わせしかない時、4C2=6よりc、dの組み合わせは6つ以下になる。cdは互いに素な整数が3つ以下の積の時、3C1×2=6より6つ以下。よって組み合わせの数が最大になる2,3,5,7,13で条件を満たすのは(c,d)=(39.70)(70,39)(35,78)(78,35)(65,42)(42,65)(91,30)(30,91)の8つ。この時区間の長さは2×3×5×7×13=2730より1/2730c,dの組み合わせを求めるのに途中で何回も血吐いて死にました。簡単に示せる方法があるんかもしれません。分母が100以下(有限であればオッケー?)の既約分数とかではa/c,b/dは隣り合っているとad-bc=1になることや、(a+b)/(c+d)がa/c,b/dの間にある新たな既約分数になることなど面白い結果が副産物としてわかりました。区間をn等分する問題、数直線上の区間[0,1]をn等分して等分点をマークする。これをいくつかのnについて重ねて実行すれば区間[0,1]はさまざまの長さの小区間に分割される...三角形の図形問題、三角形ABCの内部に点Pをとり各辺に点Pから垂線を引く。|この記事に対するトラックバックトラックバックURL→http://kazuschool.blog94.fc2.com/tb.php/67-68b59212この記事にトラックバックする(FC2ブログユーザー)▲ページトップへプロフィールAuthor:わんこら京都大学理学部で数学と物理を勉強し、数学を専攻しました。→メール迷惑メールにされる危険性があるので出来るだけkazuyuki_ht○guitar.ocn.ne.jp(○を@にしてください)に送ってください勉強とかでどんな悩み持ってるかなど色々と教えてくれると嬉しいです。わんこら式のやり方についてのメールはわんこら式診断プログラムを参考にしてください詳しいプロフィール人気blogランキングへ相互リンクも募集してます。何かあればkazuschool_ht★yahoo.co.jpかメールフォームからメールください。