因为圆O分别与BC、AC相切于D、E,
所以OD⊥BC、AC⊥EO,
EOCD是边长为半径r的正方形,
△ACB∽△AEO,
所以EO:BC=AE:AC,
即r:a=(b-r):b
r=ab/(a+b)