由三角形外角定理,有:∠OCA=∠CDA+∠CAD.
显然有:OA=OC,∴∠OAC=∠OCA,∴∠OAC=∠CDA+∠CAD,
∴∠OAC+∠CAD=∠CDA+2∠CAD=90°,∴∠OAD=90°,∴AD切⊙O于A.