如图,已知圆o是Rt三角形abc的内切圆,斜边ab与圆o相切于点d,ao的延长线交bc于点e.求证:ad×ae=ao×a