连接DE,DE即是圆D的半径，D点与OA线上的其他任何点连线都会超出圆外，其长度都大于DE,根据“点到直线的距离以垂线为最短”之定理，可知DE⊥OA. 由圆心D向OB作垂线交于F,即DF⊥OB,由角平分线性质得知：DF=DE=圆D的半径. 同理，由于DF⊥OB，D点与OB线上的其他任何点距离都大于DF,即都在圆外.可知，OB与圆D只有一个交点F,从而证得OB与圆D相切 。
