このページは[url=https://www.geogebra.org/m/ddm5798j]マス旅[/url]の一部です。[br][br]今回は「多角形の辺長と角度」を観察してみよう。

[b][size=150]＜トレミーの定理（プトレマイオスの定理）＞[/size][/b][br]というものがあります。[br][br][b][color=#0000ff][size=150]「内接四角形の対辺の積和が対角線の積になる」[br][/size][/color][/b]という楽しい式です。[br]四角形ABCDが内接四角形、つまり対角和が180°ならば、[br][size=200][color=#0000ff][b]AB×CD＋AD×BC=AC×BD[/b][/color][/size][br]です。[br]表記のカンタンのために、AB,BC,CD,DAの長さa,b,c,dとし、[br]対角線AC,BDの長さをe,fとしましょう。[br]この表記では、[br][b][size=200]ac+bd=ef[/size][/b][br]となります。[br][br][color=#0000ff]「証明１」（補助線と相似を2回）[/color][br]AC上に点Fと取り角ABD=角FBC＝ｐとします。[br]同じ弧の円周角は等しいので、角ADB=角FCBです。[br]対応する2角が等しいので、△ABD∽△FBCとなりますね。[br]相似比はAD:DB=FC：CB。つまり、d:f=FC:b。[br]これから、bd=fFC。（相似1個目の成果）[br]同じ弧の円周角は等しいので、角BAD=角BDCです。[br]角ABF＝角DBF（=ｐ＋角DBFだからです。）[br]対応2角が等しいので、△ABF∽△DBCとなります。[br]相似比はAB:BD=AF:DC。つまり、a:f=AF:c。[br]これから、ac=fAF。（相似2個目の成果）[br]２つの成果である、等式の両辺の和を求めよう。[br]ac+bd=fAF+fFC=f(AF+FC)=fAC=fe[br]これで証明終わり。[br][br][color=#0000ff]「証明２」（補助線なしで余弦定理を2回）[/color][br]補助線なしでもできますが、余弦定理を使い計算で[br]角Bのcosと角Dのcosは和が180の角のcosだから、[br]単位円でかくとｙ軸対称の点のｘ座標なので、異符号ですね。[br]つまり、和がゼロになります。[br]cosB=(a^2+b^2-e^2)/2abと[br]cosD=(c^2+d^2-f^2)/2cdの和がゼロだから、[br](a^2+b^2-e^2)/2ab＋(c^2+d^2-f^2)/2cd＝０[br]つまり、cd(a^2+b^2-e^2)+ab(a^2+b^2-e^2)=0[br]cd(a^2+b^2)+ab(a^2+b^2)=(cd+ab)e^2[br]aについて整理します。[br]cd(a^2)+b(a^2+b^2)a+cdb^2=(ba+cd)e^2[br]左辺は(ca+bd)(da+bc)と因数分解できます。[br]さらに、e^2について解きましょう。[br]e^2＝(ca+bd)(da+bc)/(ba+cd)[br]この式自体すごい式だね。4辺の長さから対角線の長さの平方が出せている。[br]さて、[br]図を観察すると、対角線e,fの役割はa,cは変えずにbとdを入れ替えているだけです。[br]だから、e^2の式のbとdを入れ替えるとf^2が求められます。[br]f^2＝(ca+bd)(ba+dc)/(da+cb)[br]ここで、e^2*f^2を求めましょう。[br]面白いことがおきますよ。[br][b]バッサバッサと約分大会が起きるのです。[br][/b][br](ca+bd)(da+bc)/(ba+cd)＊(ca+bd)(ba+dc)/(da+cb)[br]＝(ca+bd)(da+bc)(ca+bd)(ba+dc)/{(ba+cd)(da+cb)}[br]＝(ca+bd)(ca+bd)=(ca+bd)^2[br]もう証明できたと同じです。[br][br]辺の長さはすべて正なので、[br][b]ef=ca+bd=ac+db[br][/b][br]トレミーの定理には拡大版があります。[br][br][b][size=150]＜トレミーの不等式＞[/size][/b][br][br]円に内接するという条件を外すと、不等式ができるのです。[br]イメージでわかるように、内接する四角形の頂点を１つだけ円の外に伸ばすと、[br]伸びる対角線は1本なのに、伸びる辺は2本あります。[br]そんなところから、[br][b][color=#0000ff][size=200]AB×CD＋AD×BC≧AC×BD[br][/size][/color][/b]という式が予想できますよね。[br][br][b]「証明のイメージ」[/b][br]不等式の証明は、等式の「証明１」との類似の設定でできます。[br]外接円があれば、同じ弧の円周角は等しいということが使えました。[br]しかし、外接円がなければ、そうはならずAF＋FCまでこぎつけたとしても、[br]相似になるように無理やり作ることになります。[br]対応2角が等しいとすると△ABD∽△FBC、対応2角が等しいとすると△ABF∽△DBC。[br]これは、等しいというのは根拠がなくて、あくまでも仮定です。[br]外接円がないのですから。[br]だから、AF＋FC＝ACになりません。[br]AFCは折れ線になってしまうのです。[br]つまり、[b]AF＋FC≧AC[/b][br]です。[br]だから、ac+bd=fAF+fFC=f(AF+FC)≧fAC=fe。

四角形ABCDのAB,BC,CD,DAの長さa,b,c,dとし、[br]対角線AC,BDの長さをe,fとしましょう。[br]この表記では、[br]トレミーの定理はac+bd=efとなりました。[br][br][size=150][b]＜直接利用＞[/b][/size][br]もちろん、a,b,c,d,e,fのうち、5つの数値がわかれば、残り１つは逆算できる。[br][br]一般の四角形で、対角線ACの2乗が[br][b]e^2＝(ca+bd)(da+bc)/(ba+cd)[/b]で求められる。[br]対角線BDの2乗が、[br][b]f^2＝(ca+bd)(ba+dc)/(da+cb)[/b]で求められる。[br]これは、ダイレクトな利用方法だ。[br][br][color=#9900ff][b][size=200]＃でも、それだけではありませんよ。＃[/size][/b][br][/color][br][b][size=150]＜相似に関係のある多角形への活用＞[br][/size][/b][br]四角形を長方形にして、4辺をa,b,a,b、対角線をc,cとすると、[br][b]a^2+b^2=c^2[br][/b]という三平方の定理が出せる。[br][br]1辺１の正５角形ABCDEで四角形ABCDの4辺は1,1,1,x、対角線はx,xとなる。[br][b]1*x+1^1=x^2[br][/b]という（x=(1+√5)/2という黄金比を求められる）方程式がすぐできる。[br][br][br][b][size=150]＜三角関数の定理の証明＞[br][/size][/b][br]直径２R=１の四角形ABCDで、[br]ACを直径とします。また、角BAC=α、角DAC=βとしましょう。[br]AC＝１で、直径AC上の角は90°なので、辺の長さがα、βのサイン・コサインになりますね。[br]AB,BC,CD、DAは順に、cosα,sinα,sinβ,cosβ。[br]ではBDはどうなるでしょうか。[br]正弦定理を思い出しましょう。[br]「三角形の外接円の半径がRのとき、[br]Aの対辺長/sinA=Bの対辺長/sinB=Cの対辺長/sinC＝２R」でした。[br]角DAB＝α+βで、三角形DABの角DABの対辺はBDですね。だから、[br]DB/sin(α+β)=2R=1ですね。これから、DB=sin(α+β)となるね。[br]これらをトレミーさんにぶち込みましょう。[br]１*sin(α+β)=sinαcosβ+cosαsinβ[br]なんということでしょう。[br]sinの加法定理が証明できてしまいましたね。[br][br][color=#9900ff]（ただし、トレミーの定理は「数学オリンピック」レベルでは常識でしょうが、[br]「大学入試」レベルでは裏技扱いになる。[br]だから、記述問題で、どうしても使いたいならば、[br]初等幾何のダブル相似をその場でやって証明つきにすることをおすすめします。）[br][/color]

[size=150][b]＜フランク・モーリーの定理＞[/b][/size][br][br]三角形ABCの角の3等分線をひきできる交点８個のうち、[br]辺BC,辺CA,辺ABに一番近い点を順にP,Q,Rとする。[br]△PQRは正三角形になる。[br][br]面白いですね。[br]長さではなく、[b]角度の3等分[/b]という仮定から、[b]長さ等しい三角形[/b]ができました。[br][br][color=#0000ff][b]「証明１」（相似なミニチュアを作る）[br][/b][/color]角A,B,Cの3分の１の大きさをa,b,cとする。a+b+c=180/3=60。[br]A,B,Cは180°未満だから、a,b,cは180/3=60°未満になるね。[br]そこで、60-a,60-b,60-cを順にα,β,γとしよう。[br]逆思考と相似の発想で解く。[br]正三角形KLMからスタートする。[br]三角形KLMの各辺LM,MK,KLに二等辺三角形LMU,MKV,KLWとなるように、3点W,U,Vをとる。[br]底角LMU,MKV,KLWがα,β,γとする。[br]できた6角形KWLUMVの角を求める。[br]Mがα+β+60,Kがβ+γ+60、Lがγ+α+60。[br]Uが180-2α、Vが180-2β、Wが180-2γとなるね。[br]だから、3角U,M,Vの和はp=180-2α＋α+β+60+180-2β=360+60-(α+β)[br]360-p=α+β-60=(60-a)+(60-b)-60=60-(a+b)=60-(60-c)=c。[br]ということは、ULの延長とVKの延長の交点をFとすると、角Fはcになる。[br]同様にして、[br]UMとVKの延長の交点をEとすると、角Eはbになる。[br]MVとLWの延長の交点をDとすると、角Dはaになる。[br]D,E,Fを結んでできる三角形DEFの中に[b]角の3分の１のサイズの2本線[/b]どうしの交点M,L,Kを結ぶと[br][b]三角形MLKが正三角形になる[/b]ことまでは言えた。[br][br]次に、三角形UEFに着目しよう。[br]三角形UMKと三角形ULKは対応する2辺と間の角が等しいから合同になるね。[br]だから、UKは角EUFの2等分線になる。[br]また、1/2角EUF=1/2(180-2α)=90-α[br]角EKF＝角EUF+角UEK+角UFK＝180-2α+b+c=(180-2α)+60-a=(90+90-2α)+α=(90-α)+90=1/2角EUF+90[br][b]点Kはこの2条件によって、三角形UEFの内心[/b]と言えるから、角UEF=2b,角UFE=2cが言える。[br][br]同様にして、点Mが三角形EDWの内心、点Lが三角形DFVの内心であることがわかる。[br]だから、[b]三角形KLMは角D,E,Fのそれぞれの3等分線の交点[/b]になることがわかる。[br][br]角D,E,Fは3a,3b,3cとなるので、それぞれ角A,B,Cと等しいので、[b][color=#0000ff]三角形DEFは三角形ABCと相似[/color][/b]。[br]だから、三角形KLMを拡大すれば、三角形PQRと重なるので、三角形PQRは正三角形となる。[br][br][color=#0000ff][b]「証明２」（3倍角など三角関数の公式を使い倒し、代数式の対称性を利用する）[/b][/color][br]角A,B,Cの3分の１の大きさをa,b,cとする。a+b+c=180/3=60。[br]三角形ARBで正弦定理（弦と対角のサインの比例）を使うと[br]AB/sin(180-(a+b))=AR/sinbで、sin(180-(a+b))=sin(a+b)=sin(60-c)。[br]三角形ABCで使うとAB/sinC=2R(三角形ABCの外接円の直径）[br]これらから、AR=ABsinb/sin(60-c)=2RsinCsinb/sin(60-c)[br]一方で、3倍角の公式からsinC=sin3c=-4sin^3c+3sinc[br]=sinc(-4sin^2c+3)=sinc(-4sin^2c+3sin^2c+3cos^2c)=sinc(-sin^2c+3cos^2c)[br]=sinc(√3cosc+sinc)(√3cosc-sinc)=4sinc(1/2√3cosc+1/2sinc)(1/2√3cosc-1/2sinc)[br]=4sinc sin(60+c)sin(60-c)が言える。[br]これをARの式に代入すると、AR=2R・4sinc sin(60+c)sin(60-c)sinb/sin(60-c)＝8Rsinb sinc sin(c+60)[br]同様にして、AQ＝8Rsinb sinc sin(b+60)[br]三角形ARQで余弦定理が使える。[br]RQ^2=AR^2+AQ^2-2AR・AQcosa[br]=[8Rsinb sinc sin(c+60)]^2+[8Rsinb sinc sin(b+60)]^2-8Rsinb sinc sin(c+60)・8Rsinb sinc sin(b+60)・2cosa[br]=[8Rsinb sinc]^2{sin^2(c+60)+sin^2(b+60)-2sin(c+60)sin(b+60)cosa}[br][b]60+a,60+b,60+cを順にα,β,γ[/b]として、{sin^2(c+60)+sin^2(b+60)-2sin(c+60)sin(b+60)cosa}=X部分[br]を計算すると、X={sina}^2となるはず。[br][br][b]a=A/3[/b]=(180-(B+C))/3=60-b-c=60-(β-60+γ-60)=[b]180-(β+γ)[/b]の置き換えを利用しよう。[br][br]cosa=cos(180-(β+γ))=-cos(β+γ)から、[br]実際に、[br]X=sin^2(c+60)+sin^2(b+60)-2sin(c+60)sin(b+60)cosa[br]=sin^2γ+sin^2β+2sinβsinγsin(β+γ)[br]=sin^2γ+sin^2β+2sinβsinγ(cosβcosγ-sinβsinγ)[br]=2sinβsinγcosβcosγ+sin^2γ+sin^2β-sin^2βsin^2γ-sin^2βsin^2γ[br]=2sinβsinγcosβcosγ+sin^2γ(1-sin^2β)+sin^2β(1-sin^2γ)[br]=sin^2γcos^2β+sin^2βcos^2γ+2sinβsinγcosβcosγ[br]=(sinβcosγ＋cosβsinγ)^2[br]=sin^2(β+γ)[br]=sin^2(180-(β+γ))[br]=sin^2 aとなる。[br][br]これで、[br]RQ^2=[8Rsinb sinc]^2{sina}^2[br]=[8Rsin(a)sin(b)sin(c)]^2となり、[br][color=#0000ff][b][size=200]RQ=8Rsin(a)sin(b)sin(c)[br][/size][/b][/color]と、a,b,cについて対称な式になった。[br][b][color=#0000ff]QP,PRについては、ここまでの計算を文字の入れ替えで求められる。[br]しかし、計算結果が、a,b,cで対称なので、長さが等しくなる。[br][br][/color][/b]つまり、三角形PQRは正三角形になるね。

[br][b][size=150]＜ラングレー問題（フランクリンのたこ）＞[br][/size][/b][br]「二等辺三角形OBCがあり、OB=OCだ。[br]辺OB上に点Aをとり、辺OC上に点Dをとる。[br]四角形ABCDで、（角ABD、角DCB、角BCD、角ACD）＝(20,60,50,30）とする。[br]三角形OBCの底角は80度になるね。[br][br]このとき、[b]角DAC＝80、角ADB＝30[/b]となる」[br][br]解けそうで解けない、堂々巡りに陥りやすい問題で有名ですね。[br]補助線の引き方で、様々な解法があるようです。[br][br][b][color=#0000ff]「証明１」（正三角形、二等辺三角形ができる補助線法）[br][/color][/b]計算式ではなく、三角形の名前（角度のタプル）という書き方を基本とする。[br]BD上に点Gをとり、角CGB＝60となるとする。[br]CGの延長とOBの交点をEとする。[br]△BCG、△GDEは正三角形になるね。[br]△GBC（60、60、60）でBC＝BG。[br]△ABC（80、50、50）でBC＝BA。これから、[br]△ABGでBA＝BGとなり、（20、80、80）[br]△EBC（80、60、40）で、角AEG＝40[br]△AEG（40、40、100）となり、AE＝AG。[br]△EGD（60、60、60）でED＝GD。[br]これから、AE＝AG,ED=GD,AD=ADより、△AED≡△AGD[br]だから、角ADB＝60/2=30。[br]角DAC＝180-（角EAD＋角BAC)＝180－(100/2+50)=80。[br][br][color=#0000ff][b]「証明２」（積和と和積で式の単純化）[br][/b][/color][br]補助線なしで、三角関数の公式を使いまくろう。[br]BC=1とする。[br][b][color=#0000ff]簡単のためにサインｘをsx,コサインｘをcxとかく[/color][/b]。[br][b]x+y=180ならば、sx=sy。x+y=90ならば、cx=syも途中で使う。[br][/b]角ADB＝ｘとする。[br]△BCDで正弦定理を使う。[br]BD/s80=BC/s40より、[b]BD=[/b]s80/s(180-60-50-30)=s(40+40)/s40=2s40c40/s40=[b]2c40[/b][br]△ABDで正弦定理を使う。[br]BD/s(180-20-x)=BA/sx。[br]ここで、三角形ABCが（80、50、50）からBC＝BA＝１。[br]これらから、[b]BD＝s(160-x)/sx=2c40[/b]。[br]また、180-(160-x)=x+20だから、[b]s(160-x)=s(x+20)[/b][br][br][b]s(x+20)=2sxc40＝s(x+40)+s(x-40)（積和の公式）[/b][br]s(x+20)-s(x-40)=s(x+40) （移項）[br][(x+20)+(x-40)]/2=x-10,[(x+20)-(x-40)]/2=30だから、[b]（和積の公式）[/b][br]s(x+20)-s(x-40)=s(x-10+30)-s(x-10-30)[br][b]=2c(x-10)s30[/b]=s(x+40)=s(90-(x+40))[b]=c(50-x)[/b][br]s30=1/2から、[b]c(x-10)=c(50-x) [/b][br]０＜ｘ＜80とすると、[b]x-10＝50-x[/b]から、ｘ＝30で、コサインが一致する。[br]角DAC＝角DAB－角BAC＝（180－20-30）－50＝80。