设角FAD为α，α = arcsin(4/5)
S1 = (π*5*5 - 10*10/2)/2 = 25π/2 - 25
S1+S = S(扇形GDF) + S(扇形ADF) - S(ADGF)
          = (π-α)*5*5/2 + α*10*10/2 - 2*(5*10/2)
          = 25π/2 + 75α/2 - 50

S = (S1+S) - S1 = (25π/2 + 75α/2 - 50) - (25π/2 - 25)
   = 75α/2 - 25

【 在 Zinux 的大作中提到: 】
: 我发现不用积分，除了反三角函数外，其他都是初中知识。



--
FROM 123.114.95.*