假定大扇形内的内切圆的半径为R,小的凹弧边三角形的内切圆的半径为r.
那么显然a=R+根号2*R,对应的则是:根号2*a-a=r+根号2r
显然R=a/(1+根号2),r=(根号2*a-a)/(1+根号2).
Q.E.D