已知梯形ABCD外切于圆O,切点为E、F、G、H,AD平行BC,(1)求证:OA垂直OB(2)若AE=1,BE=4,求圆