算額（その995）
一〇四 桶川町加納 氷川天満神社 明治43年(1910)
埼玉県立図書館：埼玉県史料集 第二集『埼玉の算額』，昭和44年，誠美堂印刷所，埼玉県与野市.
直角三角形の田に 2 個の円を入れる。鈎，股がそれぞれ 12 間，30 間のとき，それぞれの円の直径を求めよ。
図形的には算額（その23）と同じである（求めるものが違う）。
鈎，股をそれぞれ変数名として使う
大円の半径と中心座標を r1, (r1, r1)
小円の半径と中心座標を r2, (x2, r2)
とおき，以下の連立方程式を解く。
大円の半径については，有名な公式があるので，方程式を立てるまでもない。
include("julia-source.txt");
using SymPy
@syms 鈎::::poitive, 股::poitive, r1::poitive, x2::positive, r2::positive
#r1 = 股/2 + 鈎/2 - 弦/2
eq1 = 鈎 + 股 - sqrt(鈎^2 + 股^2) - 2r1
res1 = solve(eq1, r1)[1] |> simplify
res1 |> println
股/2 + 鈎/2 - sqrt(股^2 + 鈎^2)/2
x2, r2 については，r1 を展開したまま使うと長い式になるので，変数のまま解く。
eq2 = (x2 - r1)^2 + (r1 - r2)^2 - (r1 + r2)^2
eq3 = r2/(股 - x2) - r1/(股 - r1);
res2 = solve([eq2, eq3], (r2, x2))[1]
res2[1] |> println
res2[2] |> println
-r1*(-r1*(3*r1 - 股) + 2*r1*sqrt(2*r1^2 - 2*r1*股 + 股^2) + 股*(r1 - 股))/(r1 - 股)^2
r1*(3*r1 - 股 - 2*sqrt(2*r1^2 - 2*r1*股 + 股^2))/(r1 - 股)
鈎，股が 12 間，30 間のとき，大円，小円の直径は 9.68901115719298 間，6.607263123844749 間である。
(鈎, 股) = (12, 30)
弦 = sqrt(鈎^2 + 股^2)
r1 = 股/2 + 鈎/2 - 弦/2
t = 2*r1^2 - 2*r1*股 + 股^2
u = 3r1 - 股
v = r1 - 股
w = u - 2sqrt(t)
r2 = r1*(r1*w - 股*v)/v^2
x2 = r1*w/v
(2r1, 2r2, x2) # (9.68901115719298, 6.607263123844749, 12.845620883692494)
(9.68901115719298, 6.6072631238447475, 12.845620883692494)
function draw(more=false)
pyplot(size=(500, 500), grid=false, aspectratio=1, label="", fontfamily="IPAMincho")
(鈎, 股) = (12, 30)
弦 = sqrt(鈎^2 + 股^2)
r1 = 股/2 + 鈎/2 - 弦/2
t = 2*r1^2 - 2*r1*股 + 股^2
u = 3r1 - 股
v = r1 - 股
w = u - 2sqrt(t)
r2 = r1*(r1*w - 股*v)/v^2
x2 = r1*w/v
@printf("大円直径 = %g; 小円直径 = %g\n", 2r1, 2r2)
plot([0, 股, 0, 0], [ 0, 0, 鈎, 0], color=:green, lw=0.5)
circle(r1, r1, r1, :blue)
circle(x2, r2, r2)
if more
delta = (fontheight = (ylims()[2]- ylims()[1]) / 500 * 10 * 2) /3 # size[2] * fontsize * 2
hline!([0], color=:gray80, lw=0.5)
vline!([0], color=:gray80, lw=0.5)
point(r1, r1, "大円:r1\n(r1,r1)", :blue, :center, delta=-2delta)
point(x2, r2, "小円:r2\n(x2,r2)", :red, :center, delta=-2delta)
point(股, 0, "股", :green, :left, :bottom, delta=2delta)
point(0, 鈎, "鈎", :green, :left, :bottom, delta=2delta)
end
end;
