如图,三角形ABC外切于圆O,切点为E,F.若BC=a,AC=b,s=0.5(a=b=c),求证:AE=s-a