过点d作ob的垂线交ob于点f
∵oc为角平分线且de⊥oedf⊥ob
∴de=df
因为oe为圆半径
且圆与oa相切所以
f点也在圆上是切点
∴OB与圆D相切