已知是⊙的直径，是⊙的切线，是切点，与⊙交于点.
如图①，若，，求的长（结果保留根号）；
如图②，若为的中点，求证：直线是⊙的切线.