两个阴影面积相等,所以三角形ABC的面积等于扇形ADF的面积.∠BAF=π/4,所以AC=BC,弧DF=(1/2)*(π/4)*(AF)
即有AC*BC/2=(弧DF)*(AF)
所以(AC)^2/(AF)^2=π/4
所以AC/AF=(√π)/2