如图 圆o内切于rt三角形abc,def是切点