AT是⊙O的切线,理由如下:
连接AO,CO。
因为∠B是⊙O的圆周角,∠AOC是⊙O的圆心角,且它们所对的弧都是$\overset{\frown}{AC},$所以根据圆周角定理,得$∠B=\frac{1}{2}∠AOC。$
已知$∠CAT=∠B,$所以$∠CAT=\frac{1}{2}∠AOC。$
因为AO=CO(均为⊙O的半径),所以△AOC是等腰三角形,故$∠OAC=∠OCA。$
在△AOC中,根据三角形内角和定理,$∠AOC+∠OAC+∠OCA=180^\circ,$又因为$∠OAC=∠OCA,$所以$∠AOC=180^\circ - 2∠OAC。$
将$∠AOC=180^\circ - 2∠OAC$代入$∠CAT=\frac{1}{2}∠AOC,$得$∠CAT=\frac{1}{2}(180^\circ - 2∠OAC)=90^\circ - ∠OAC。$
所以$∠CAT + ∠OAC=90^\circ,$即$∠TAO=90^\circ,$因此AO⊥AT。
因为AO是⊙O的半径,且AT经过半径AO的外端A,所以AT是⊙O的切线。