如图,⊙o是Rt三角形ABC的内切圆,⊙O与斜边AB相切于点D,AO的延长线交BC于点E,求证∶AD×AE=AO×AC