三角形ABC中AB=AC(1)求证EF与圆O相切(2)若AE=6