常常在画图的时候,按照理论来说做出的两个图形应该是相切的,但是图形放大之后显示是不相切的。regen之后,再放大,仍然有可能不想切。& z/ e8 n8 r) ^% u/ C
下面是我想的一个验证方法。: v% H- I3 a* J l$ X! @9 [
两个图形的关系,如果不是相切,那就可能是相交或者分离。我们采取一一排除的方法
1 G2 `2 H7 o( H8 g$ L& H 一:是否相交。( L+ b* H1 F0 x) d
只选择这两个图形,trim,如果明显暴露在外面的能被消掉,说明是相交的(分离和相切都不能trim的)
. F* M1 k+ K! V# G7 h$ l# J" D; t( b( D* h, Q. e
如果所示,能消掉外部图形,说明相交。否则就可能是分离或相切了~~( |0 [0 L2 X1 D& f
# D+ _2 x) H: a: C0 Y2 J/ ]7 U U4 C7 I
二,是否分离。" ?& m q& c2 g7 i8 k: g, [" W
这个需要一个额外的图形作为辅助了。见图。! R! [, B7 N- [( I9 O
: C" c: k( `5 V# E5 i: p8 J 第一次分割的时候无法消掉外部,说明不是相交。第二次增加辅助线后,如果原二图形是相切,应该能消掉直线之间的部分。结果是只切掉了
' M6 Y+ w/ f9 a4 x3 C. A) m$ f3 Z' J辅助线与圆之外的。说明圆原图形之间是分离的。放大后的图形也证明了这点(这个有点讽刺,因为我们采用这种方法就是因为放大图形的“没用”)。
% x7 h4 [- J6 l6 |( o" f8 m+ f1 ~9 w% R' F! J5 h6 O% ~
三。如果能拍出相交和分离,就说明这两个图形是相切的了。(见完整的图)
# k2 V4 Z- J& _# M- ]; I. x* e9 Q5 ~/ T2 N9 h
) t4 |" u9 u5 F8 M, u* Y3 a) f# i. R+ p% [6 g; A& v2 B
如是,得证 |