如图,在RT三角形ABC中角C=90°,AE平分∠BAC交BC于点E,如点D在AB上,DE⊥AE,以点O为圆心的○是RT