前>>3
>>6
面積に根号をつけて一辺の近似値は出た。
√〔｛√(17-1)+√3｝[1+√｛5^2-(√3)^2｝]〕=√(4+√3)(1+√22)
=√(4+√3+4√22+√66)
=5.71119534349……
A(0,x),B(0,0),P｛p,√(4-p^2)｝とし、
△ABPを点Bを中心に時計回りに90°回転させ、
P'｛√(4-p^2),p｝とすると、
∠PP'Cは、△PP'Cにおいて、
ピタゴラスの定理より(2√2)^2+(√17)^2=5^2
直角だとわかり、
四角形ABCP=四角形BP'CP
=△BP'P+△P'CP
=2^2/2+(2√2)√17/2
=2+√34
ヘロンの公式より、
△APC=√(x√2+√17+5)(-x√2+√17+5)(x√2-√17+5)(x√2+√17-5)/2^2
△ABC=△ABP+△BCP+△APC
x^2/2=xp/2+x√(4-p^2)+√｛(x√2+5)^2-(√17)^2｝｛(√17)^2-(x√2-5)^2｝
ここまでできた。