如图,在⊙O中,AB,AC为互相垂直且相等的两条弦,OD⊥AB于D,OE⊥AC于E,求证:四边形ADOE是正方形.
如图示我国汉代数学家赵爽在注解《周脾算经》时给出的“赵爽弦图”,图中的四个直角三角形是全等的,如果大正方形ABCD的面积是小正方形EFGH面积的13倍,那么tan∠ADE的值为____