😊出会いの泉😊

考えられる色々なパターンで
(12+13*√3)/15=2.3011106998930･･･
が最大かなと思いますが、絶対ですか？
と言われれば自信はありません。

残念ながらそれは最大ではありません。
例えば一つの頂点を(0,2)として残りの2頂点をx軸上に置くだけで
その値より大きくなりますね。

あら～
基本的な形状からこの値を軽く超えてしまうとは･･･

では次の記録として
3*√3/2(=2.5980762113533･･･)
は出来ましたが、最大値と言えるのか？

それより大きいものがあります。
その三角形はちょっとスライドさせれば大きくできますね。

再挑戦
(15+14*√3)/12(=3.270725942163690･･･)

手計算なので計算ミスが起こっているかも･･･

大丈夫です。計算にミスはありません。
私は最初、その値が最大だと思っていました。
しかしさらに計算していくと、それは最大ではないことがわかりました。
そこから先の計算が大変でした。
# 何かうまい方法があればひょっとすると簡単になるのかも知れませんが、
# 少なくとも単純に考えて計算していくと結構面倒です。

これ以上の三角形が存在できるのか！
信じられないですね～
大きさでは小数点以下の変化位なものですか？　それとも整数部のオーダーも変化してしまう位なのですか？

小数点以下です。最大は3.3ちょい。

3.30020486367181･･････
位ですか？

もう少し大きいです。3.309…

コンピュータの数値計算の繰り返しで最大値になるものを絞り出す方法なので、時間をかける割にはこの程度の精度ですが
3.30940107･･･
辺りでしょうか？

証明はしていませんが、3.3ちょいの値は出ました。
結果だけ見るとシンプルに書けますね。
この答えが正しければ、普通の電卓でキーを7回叩けば数値が出ます。
最大の証明はどうすればいいんだろう。

> 3.30940107･･･辺り
正解です。厳密値は(4√3+3)/3=3.3094010767585…です。

図で正三角形の内部の点を原点とすると
直線AB: y=(2+√3)x/3+1
直線BC: y=(3-2√3)(x-1)/3-1
直線CA: y=-(6+√3)(x-1)/3
点A: ((9+√3)/26,11(9+√3)/78)
点B: ((9-25√3)/26,(21-41√3)/78)
点C: ((35+√3)/26,-(19+5√3)/26)
一辺の長さ: (2/3)√(12+3√3)=2.764549…
面積: (4√3+3)/3=3.309401…
のようになります。
普通の図形問題のパターンだと三角形がもっと安定する向きで
最大になりそうな気がしますが、この問題ではなんとも中途半端な
向きで最大になりますので、珍しいですね。

この角度で最大になることの証明は、以下のようにできます。
まず原点だけを含むように正三角形を回転することを考えます。
対称性から、回す角度は15°だけで十分であることがわかります。
図で、直線ABがy=x+1である向きから直線BCがy=-1である向きまでの
15°を考えます。
（AB上に(0,1)、BC上に(1,-1)、CA上に(1,0)があるように回します）
確か直線ABがy=x+1のときの値がGAIさんがNo.411で書かれた値の
(15+14√3)/12=3.27…ですよね。
そして直線BCがy=-1である向きのときは (3+2√3)/2=3.23…で
上の中途半端な角度で3.30…ですから、少なくともこの15°の途中に
最大値があることがわかりますね。
次に上記の角度で最大値をとることの証明の肝の部分ですが、
まず(1,0)・A・(0,1)のなす角が60°であることから
Aは必ず点((3+√3)/6,(3+√3/6))を通り半径が√6/3である円上にあることが
わかります（この円は(1,0)と(0,1)を通ります）。
同様に、Cは必ず点((6+√3)/6,-1/2)を通り半径が√3/3である円上にあることが
わかります（この円は(1,0)と(1,-1)を通ります）。
（いずれの円も、図の9点の格子点を使って容易に作図できます。作図方法は※1※2）
そして(1,0)を通る直線と2円との(1,0)でない方の交点を結んだ線分の長さが
最大になる向きが答えになるわけですが、実はこれは2円の中心を結んだ直線と
平行になるときが最大であることがわかります(※3)。
それにより、上記の(4√3+3)/3が最大となります。

※1
点Aの軌跡となる円の作図
「(-1,0)を中心として(0,1)を通る円と(0,1)を中心として(-1,0)を通る円の
交点のうちyが大きい方(-(1+√3)/2,(1+√3)/2)と(0,1)を結んだ直線」と
「(0,-1)を中心として(1,0)を通る円と(1,0)を中心として(0,-1)を通る円の
交点のうちyが小さい方((1+√3)/2,-(1+√3)/2)と(1,0)を結んだ直線」との
交点を中心とし、(1,0)を通る円を描けばよい。

※2
点Cの軌跡となる円の作図
「(0,0)を中心として(1,0)を通る円と(1,0)を中心として(0,0)を通る円の
交点のうちyが大きい方(1/2,√3/2)と(1,0)を結んだ直線」と
「(0,-1)を中心として(1,-1)を通る円と(1,-1)を中心として(0,-1)を通る円の
交点のうちyが小さい方(1/2,-1-√3/2)と(1,-1)を結んだ直線」との
交点を中心とし、(1,0)を通る円を描けばよい。

※3
「円Pと円Qが2点A,Bで交わり、点Aを通る直線と円P,QとのA以外の交点を
B,Cとするとき、線分BCが最長になるのはBC//PQのときである」
という命題は、三角関数を使って強引に証明することはできましたが、
おそらく幾何学的な証明ができればそんなに長くはならない気がします。
どなたか証明できればお願いします。
（既知の定理の場合は名前だけでも結構です）

らすかるさん
> （AB上に(0,1)、BC上に(1,-1)、CA上に(1,0)があるように回します）

これらの点（あるいはその対称移動）を通らない正三角形が最大になることがないのはどのように言えばよいのでしょう。

わたしが証明していないといったのは、この配置以外の正三角形を検討していないからです。
図を眺めていれば感覚的にはわかるのですが、言葉にするのが難しいなと思って。

ではきちんと整理します。
前提は「原点のみを内部に含む正三角形」です。
・各辺上（端点を除く）に少なくとも1点ないと最大にならない
（格子点を通らない辺の方向に拡大できるから）
・各辺上にある格子点は原点のまわりの8点に限られる
（それより外側の点を通ると原点以外の格子点を内部に含んでしまう）
4点(±1,±1)について
・対角の2点を通ると原点以外の点を含んでしまうので不適
・隣接2点を通る場合の面積の最大値は(3+2√3)/2=3.23…なので最大ではない
（隣接2点が異なる辺上にあると原点以外を含んでしまうので同一辺上の必要がある）
・従って面積が最大となるとき、角の4点は通っても最大1つ
・角の4点を一つも通らず、残りの4点中3点を(1辺に1点として)通る場合は、
一応そのような正三角形は存在するが、面積が3(17889+10694√3)/34810=3.138…
未満になるので最大にはならない
（ABが(0,1)を通りBCが(0,-1)を通りCAが(1,0)を通るとして計算しました）
従って面積が最大となるとき、角の4点のうちちょうど1点を通る
これを(1,-1)としてよい。またBCがこの点を通るとしてよい。
このとき考えられるパターンは
(1)ABが(-1,0)を通りCAが(0,1)を通る
(2)ABが(-1,0)を通りCAが(1,0)を通る
(3)ABが(0,1)を通りCAが(1,0)を通りBがy=x+1より上
(4)ABが(0,1)を通りCAが(1,0)を通りBがy=x+1より下
の4通り

(1)の場合
直線BCがy=-1に一致しABが(-1,0)を通りCAが(0,1)を通る形（このとき面積は
(3+2√3)/2=3.23…）から(-1,0)と(0,1)と(1,-1)を通ることを変えずに
三角形を右回転していく（Cが(1,-1)に一致するまで）と、Bと(1,-1)の距離と
Cと(1,-1)の距離はどちらも短くなっていくので、面積は最大にならない。
（BCが短くなっていくのは、BとCの軌跡の円を描けば自明です）

(2)の場合
ABが(-1,0)と(0,1)を通り、CAが(1,0)を通り、BCが(1,-1)を通る形
（このとき面積は(15+14√3)/12=3.27…）から
(-1,0)と(1,0)と(1,-1)を通ることを変えずに三角形を右回転していく
（Cが(1,-1)に一致するまで）と、Aと(1,0)の距離及びCと(1,0)の距離はどちらも
短くなっていくので、面積は最大にならない。
（CAが短くなっていくのは、AとCの軌跡の円を描けば自明です）

(3)の場合
BCが(-1,0)と(1,-1)を通り、CAが(1,0)を通り、ABが(0,1)を通る形
（このとき面積は上に書いた3(17889+10694√3)/34810=3.138…）から
(0,1)と(1,0)と(1,-1)を通ることを変えずに三角形を右回転していく
（Cが(1,-1)に一致するまで）と、上と同様にCAは短くなっていくので、
面積は最大にならない。

(4)の場合
前レスに書いたとおりで、この場合に最大値をとります。
従って(4√3+3)/3が最大値です。

手探りで最大面積を微妙に数値を変化させながら、とても探していくのに
時間が掛かっていたので何とか一発で辿り着けないものかと挑戦してみました。

正三角形の内部に唯一含まれる格子点の周りの8個の格子点の
どこを通らせる３つの直線が有効であるかを決定するまでの
前段階が長い道のりがかかるが、もし内部の格子点を(1,0)
と指定しておけば（らすかるさんは(0,0)とされていた。）
囲む３つの直線を格子点
P(0,0),Q(0,-1),R(1,1)で指定してやれば良く、それぞれの
点を通る直線の傾きをm1,m2,m3で表せば
Pを通る直線はy=m1*x･････････････①
Qを通る直線はy=m2*x-1･･･････････②
Rを通る直線はy=m3*x+1-m3･･･････⓷

①,②の交点をA
②,③の交点をB
③,①の交点をC
で表すと
A(1/(m2-m1),m1/(m2-m1))
B((2-m3)/(m2-m3),(m2+m3-m2*m3)/(m2-m3))
C((1-m3)/(m1-m3),m1*(1-m3)/(m1-m3))
となり、(1,0)を取り囲む三角形の各頂点に相当する。

ここに△ABCが正三角形をなすことから
m1,m2には
(m1-m2)/(1+m1*m2)=tan(Pi/3)=√3
よって
m2=(m1-√3)/(√3*m1+1)
同じく
m1,m3には
(m3-m1)/(1+m3*m1)=√3
よって
m3=(√3+m1)/(1-√3*m1)
の関係式が成立する。

これを使えば、点A,Cの座標は
A(-(√3*m1+1)/(√3*(m1^2+1)),-m1*(√3*m1+1)/(√3*(m1^2+1)))
C((√3-1+(√3+1)*m1)/(√3*(m1^2+1)),m1*(√3-1+(√3+1)*m1)/(√3*(m1^2+1)))
とm1のパラメータのみで表せ,
２点A,Cの距離Lは
L^2=AC^2=((2*√3+1)*m1+√3)^2/(3*(m1^2+1))
そこでm1の部分を変数xにして

f(x)=((2*√3+1)*x+√3)^2/(3*(x^2+1))

なる分数関数の増減を調べる。

例により微分すると(計算が結構大変）
f'(x)=-2*(6+√3)*(x^2-2/33*(24+7*√3)*x-1)/(3*(x^2+1)^2)
=-2*(6+√3)*(x-(6+√3)/3)*(x+(6-√3)/11)/(3*(x^2+1)^2)
f'(x)=0　から
x=(6+√3)/3,-(6-√3)/11
増減を調べてx=(6+√3)/3でf(x)は極大で最大値を与える。
したがって求める最大の三角形の面識Sは

S=1/2*L^2*sin(Pi/3)=1/2*f((6+√3)/3)*√3/2=(3+4*√3)/3(=3.309401076758503･･･････)

と求められました。
ちなみにA,B,Cの各交点を複素平面上で、Z1,Z2,Z3
Z1 = 1/(m2 - m1) + m1/(m2 - m1)*I
Z2 = ((-m3 + 2)/(m2 - m3)) + (((-m3 + 1)*m2 + m3)/(m2 - m3))*I
Z3 = ((-m3 + 1)/(m1 - m3)) + (-m3 + 1)*m1/(m1 - m3)*I
に置き換え
正三角形をなすであろう
m1=(6+sqrt(3))/3
%946 = 2.5773502691896257645091487805019574557
m2=(m1-sqrt(3))/(sqrt(3)*m1+1)
%947 = 0.15470053837925152901829756100391491130
m3=(sqrt(3)+m1)/(1-sqrt(3)*m1)
%948 = -1.2440169358562924311758154471686241223
の数値を
FR(m1,m2,m3)=real(Z1^2+Z2^2+Z3^2-Z1*Z2-Z2*Z3-Z3*Z1)
FI(m1,m2,m3)=imag(Z1^2+Z2^2+Z3^2-Z1*Z2-Z2*Z3-Z3*Z1)
へ代入すると

gp > FR(m1,m2,m3)
%949 = 6.281303159995074080 E-38
gp > FI(m1,m2,m3)
%950 = -3.589316091425756617 E-38

つまり管理人さんが今整理されてある複素数の底力にある記事

ガウス平面上の異なる３点 α、β、γ について、△αβγ が正三角形であるための
必要十分条件は、
　　　　　　　　α^2＋β^2＋γ^2－αβ－βγ－γα＝０
に合致しました。

実はこのことを利用して数値的に最大値の面積を探りにいっていました。

らすかるさん、詳しい説明をありがとうございます。
まだざっと読んだだけなので、後でしっかり読み込もうと思います。
思った通り、というよりも思った以上に大変そうです。



No.421 の ※3 の証明

二つの円の中心P,Qから直線BCに下ろした垂線の足をそれぞれD,Eとすると、BC=AB+AC=2*AD+2*AE=2*DE。
点Pから直線QEに下ろした垂線の足をFとすると四角形PDEFは長方形なので、DE=PF。
直角三角形PQFで三平方の定理より、PF=√(PQ^2-QF^2)。
以上から、BCが最大となるのはQとFが一致するときで、このときBC//PQ。

思いついてみれば単純でした。

> No.421 の ※3 の証明

おぉ！こんなに単純だったんですね。
ありがとうございます。とてもすっきりしました。
最長のときBC=2PQというのも知れてよかったです。

> 思った通り、というよりも思った以上に大変そうです。

そうですね。あれでも細部は説明が大変で省略してしまっていますので、
すべての詳細を書いたらさらに数倍大きくなりそうです。
もっとも、私の証明が下手でもっと簡潔に示す方法がある気もしますが。

せっかくなので、私が
「AB上に(0,1)、BC上に(1,-1)、CA上に(1,0)」
と等価な配置における最大面積を求めた時の計算過程を載せておきます。
といっても、座標で一辺の長さを出して微分で停留点を求めるという面白みのない方法ですが。
それでも運よく(?)二重根号が外れたり約分ができたりして楽しかったので。

図のように正三角形の一辺ABをx軸上にとり、格子点を回転させる。
AB上の格子点を(0,0)とする。
x軸正の向きから測った正三角形内部の格子点方向の角度をθとする。
θの範囲は 30°≦θ≦45°になる。
辺BC上の格子点の座標は (√5*cos(θ+α),√5*sin(θ+α)) 、
辺CA上の格子点の座標は (√2*cos(θ+β),√2*sin(θ+β)) となる。
ここで、cosα=2/√5、sinα=1/√5、cosβ=1/√2、sinβ=1/√2 である。
辺BCの傾きは-√3なので、直線BCは y-√5*sin(θ+α)=-√3*(x-√5*cos(θ+α)) 、
辺CAの傾きは√3なので、直線CAは y-√2*sin(θ+β)=√3*(x-√2*cos(θ+β)) となる。
点B,Aはそれぞれの直線のx切片なので、y=0を代入すれば、
B(√5*cos(θ+α)+√5/√3*sin(θ+α),0)、A(√2*cos(θ+β)-√2/√3*sin(θ+β),0) となる。
よって正三角形の一辺の長さf(θ)は、
f(θ)
=(点Bのx座標)-(点Aのx座標)
=√5*cos(θ+α)+√5/√3*sin(θ+α)-√2*cos(θ+β)+√2/√3*sin(θ+β)
=√5*(cosθ*cosα-sinθ*sinα)+√5/√3*(sinθ*cosα+cosθ*sinα)-√2*(cosθ*cosβ-sinθ*sinβ)+√2/√3*(sinθ*cosβ+cosθ*sinβ)
=√5*(cosθ*2/√5-sinθ*1/√5)+√5/√3*(sinθ*2/√5+cosθ*1/√5)-√2*(cosθ*1/√2-sinθ*1/√2)+√2/√3*(sinθ*1/√2+cosθ*1/√2)
=(2*cosθ-sinθ)+1/√3*(2*sinθ+cosθ)-(cosθ-sinθ)+1/√3*(sinθ+cosθ)
=(1+2/√3)*cosθ+√3*sinθ
微分 f'(θ)=-(1+2/√3)*sinθ+√3*cosθ が0になるのは、
tanθ=√3/(1+2/√3)=3*(2-√3) のときであり、これは 30°≦θ≦45°の範囲にある。
f'(30°)=1-1/√3>0 、f'(45°)=-1/√2*(1-1/√3)<0 なので、その間は上に凸で極大点となる。
※ f''(arctan(3*(2-√3))=-f(arctan(3*(2-√3))<0 (∵fは長さで正だから) なので極大とした方がかっこよかったかも。
θm=arctan(3*(2-√3)) とすると、
cos(θm)^2=1/(1+tan(θm)^2)=(16+9*√3)/52
sin(θm)^2=1-cos(θm)^2=(36-9*√3)/52=9*(4-√3)/52
cos(θm)>0, sin(θm)>0 より、
cos(θm)*sin(θm)=3/52*√((16+9*√3)*(4-√3))=3/52*√(37+20*√3)=3*(5+2*√3)/52
よって、このタイプの面積最大の正三角形の面積は、
√3/4*f(θm)^2
=√3/4*((1+2/√3)*cos(θm)+√3*sin(θm))^2
=√3/4*((1+2/√3)^2*cos(θm)^2+2*(1+2/√3)*√3*cos(θm)*sin(θm)+(√3)^2*sin(θm)^2)
=√3/4*((7+4*√3)/3*(16+9*√3)/52+(4+2*√3)*3*(5+2*√3)/52+3*9*(4-√3)/52)
=√3/(4*52*3)*((7+4*√3)*(16+9*√3)+9*(4+2*√3)*(5+2*√3)+81*(4-√3))
=√3/(4*52*3)*(832+208*√3)
=√3*/3*(4+√3)
=(3+4*√3)/3