常常在画图的时候,按照理论来说做出的两个图形应该是相切的,但是图形放大之后显示是不相切的。regen之后,再放大,仍然有可能不想切。. E1 `6 U/ e/ F- Q) {# x
下面是我想的一个验证方法。# ]* P$ j. N( e% g. F
两个图形的关系,如果不是相切,那就可能是相交或者分离。我们采取一一排除的方法9 z v: }5 `9 x/ u$ k
一:是否相交。
: J) D. i' z" r. B7 I 只选择这两个图形,trim,如果明显暴露在外面的能被消掉,说明是相交的(分离和相切都不能trim的)3 h! l+ A4 ?! {% |7 w) w9 W
* o. M4 r8 O7 O. |" p如果所示,能消掉外部图形,说明相交。否则就可能是分离或相切了~~
$ w! X& G) C% n& C
7 ]$ U8 W" B2 l$ t& I 二,是否分离。8 [/ d( L0 i$ y" b2 ]; o' q# X
这个需要一个额外的图形作为辅助了。见图。
/ k* D: @, R2 d6 t1 u2 X
0 f/ |0 `* s8 R" y# x$ X& ?# s) ` 第一次分割的时候无法消掉外部,说明不是相交。第二次增加辅助线后,如果原二图形是相切,应该能消掉直线之间的部分。结果是只切掉了
1 V- e. S* e0 [辅助线与圆之外的。说明圆原图形之间是分离的。放大后的图形也证明了这点(这个有点讽刺,因为我们采用这种方法就是因为放大图形的“没用”)。 l0 G& p* ^8 E8 Y4 a1 z# V2 ]
8 x+ T' F$ m! b( C$ w* x q三。如果能拍出相交和分离,就说明这两个图形是相切的了。(见完整的图)
3 Y8 u4 ?0 f/ f, h1 n# L, T9 u
" M, x5 ?& M; y! T7 @8 w$ ^+ N3 R+ V" e
+ B) j1 h# ~4 K7 a+ t# m$ |7 L
如是,得证 |