😊出会いの泉😊

境界線上が厳密には含まれないことは気にしないということでいいんですかね？

(1)
S = (25/2)π - (25/2)√3
鋭角三角形の場合、各辺を直径とする3つの円全ての内部になります。
よって、半径5、中心角π/3の扇形を3つ足して、1辺5の正三角形を2回引けばよいです。

(2)
手段は何を使ってもいいそうなので、計算方法を教えてchatGPTに計算してもらった結果、
S = (1/4)*(149*acos(17/35) + 181*acos(11/15) + 130*acos(5/21) - 115*pi) - 3*sqrt(26)
= 11.0678
だそうで。（あまり信頼はしていない）

共に正解です。
(1)は何度も紙を折って実験していてやっとのことで気付けました。
特に(2)は自分で適当に数値を指定して、座標で三角形を配置しシコシコと計算を繰り返して
結構面倒な作業を組み合わせていきました。
てっきりこんな面倒な値を一つの式で表せるとは思ってもみなかったのですが、chatGTPでは
こんな返事も返してくるんですか？
まさにこの式を計算させてみたらあれだけ時間をかけてやっと辿り着いた値に小数第何位までも
ピタリと一致するではないですか！
恐るべしGTP
だれかこの公式を説明してくれませんか？

お、合ってましたか、chatGPTもなかなかやりますね。


折った後が六角形になるということは、元々の3つの辺それぞれ、一部が外周として残らねばなりません。

辺ABの一部が六角形でも辺として残る
⇔線分PAとPBの垂直二等分線が辺ABの外で交わる
⇔△PABの外心が辺ABの外にある
⇔∠APBが鈍角
⇔点Pが辺ABを直径とする円の内部にある
ということなので、各辺を直径とする円を3つ描いて、それら全ての内部かつ三角形の内部である領域が点Pの存在範囲です。

それらの3円すべての内部にある範囲は、辺が膨らんだ三角形モドキDEFみたいな形をしており、その3頂点D,E,Fは△ABCの各頂点から向かいの辺に引いた垂線の足の位置にあります。
△ABCが鋭角三角形の場合は、図形的に考えれば、三角形モドキDEFは膨らみ分まで△ABCの中に完全に収まります。

ということで、最終的に求めるべきは三角形モドキDEFの面積です。
これは
(i) △DEFの面積を出す（△ABCの1/4)
(ii) 辺DEから膨らんだ部分の面積を出す（扇形から二等辺三角形を引く）
(iii) 辺EFから膨らんだ部分の面積を出す
(iv) 辺FDから膨らんだ部分の面積を出す
(v) これら4つを合計する
で可能です。

(1)は自分でやり、(2)はこの手順をchatGPTに指示してやってもらいました。

> ということで、最終的に求めるべきは三角形モドキDEFの面積です。
> これは
> (i) △DEFの面積を出す（△ABCの1/4)
> (ii) 辺DEから膨らんだ部分の面積を出す（扇形から二等辺三角形を引く）
> (iii) 辺EFから膨らんだ部分の面積を出す
> (iv) 辺FDから膨らんだ部分の面積を出す
> (v) これら4つを合計する
> で可能です。

このやり方で自分なりに求めた時、あえて一つの式で表すと

gp > 748/735*sqrt(26)+1/8*(7^2*(c1-sin(c1))+9^2*(c2-sin(c2))+10^2*(c3-sin(c3)))
%577 = 11.0677912894652773427086973960
但し
c1=acos(-17/225);
c2=acos(647/1225);
c3=acos(391/441);
とします。
なおGTPからの式
gp > (1/4)*(149*acos(17/35) + 181*acos(11/15) + 130*acos(5/21) - 115*Pi) - 3*sqrt(26)
%578 = 11.0677912894652773427086973960
で全く同じ値が出ます。

膨らんだ部分を出す時に角度が公式に使われている∠A,∠B,∠C
の部分だけで済まされているのが不思議でなりません。

まず、sin(c1)などは、cos(c1)がわかっているのだから求められますね。

acosの中身の違いは、1-2*(5/21)^2 = 391/441などの関係が成り立つことから、おそらく「扇形の中心角を半分にして直角三角形で求める」か「余弦定理で求める」かの違いが出ているのかなと思います。

あとは、c1+c2+c3=πになる関係を使って、chatGPTは謎の変形を最後にしたようですね。
π消すとかすればいいのに。