假设圆c与ab交于点g，那么有fg垂直于ab；根据角a为30度，有af=2fg,因为de⊥ac，角a=30°，ad=√3de假设de=x，fg=cf=ac-ad-dfad=df=√3de；ab=4√3，角a=30°，在直角三角形中，可算出ac=6fg=cf=6-2√3xaf=2ad=2√3x=2fg=12-4√3x可计算出x=2/√3因此当de等于2/√3，圆c与直线ab相切
