网页版几何画板开发笔记(十六) 作图检测说明
(已经过时, 新版的在: http://my.oschina.net/u/232554/blog/368393 )
作图检测现在分为结果检测和过程检测两种:
结果检测: 判断是否有平行,垂直等最终结果的检测方式, 不区分如何作图出这些点线等方法的检测.
过程检测: 判断是否作有平行线,垂直线等步骤的检测方式.
预期, 在一个检测中教师可能根据需要选择使用一种或两种检测方法. 因此两种方式的检测都要实现.
结果检测:
(未特定说明的, 大写字母都是表示一个点)
coll(A, B, C): 判断 A,B,C 共线.
not_coll(A, B, C): 判断 A,B,C 不共线(也即三点可构成三角形).
para(A, B, C, D): 判断 AB∥CD.
perp(A, B, C, D): 判断 AB⊥CD.
intpt_ll(X, A, B, C, D): 判断点 X 是线 AB和线CD的交点.
midpt(M, A, B): 判断点 M 是点 A,B 的中点.
cycl(A, B, C, D): 判断A,B,C,D 四点共圆.
eqdist(A, B, C, D): 判断距离 AB=CD.
eqang(A,B,C,P,Q,R): 判断∠ABC=∠PQR.
con_tri(A,B,C,P,Q,R): 判断 △ABC≌△PQR. 三角形全等.
sim_tri(A,B,C, P,Q,R): 判断 △ABC∽△PQR. 三角形相似.
equ_tri(A,B,C): 判断 △ABC 是等边三角形.
ang_is(A,B,C, degree): 判断∠ABC=degree, degree 是数字, 表示角的度数.
angle(A,B,C): 判断存在角 ∠ABC, B 是顶点. BA, BC是两条边.
bisln(A,B,C,D,E): 判断 A,B 是角 ∠CDE 的角平分线. (一般/可以 点A=点D)
tri(A,B,C): 判断 A,B,C 可构成三角形.
acute_tri(A,B,C): 判断 A,B,C 构成了一个锐角三角形.
right_tri(A,B,C): 判断 A,B,C 构成了一个直角三角形, 其中 角A 是直角.
obtuse_tri(A,B,C): 判断 A,B,C 构成了一个钝角三角形, 其中 角A 是钝角.
amark(A,O,B): 判断 ∠AOB 存在角标记.
lmark(A,B): 判断 线段 A,B 之间有线标记.
mk_ss($m1, $m2): 判断两个 lmark 变量有相同的 style
ratio(A,B,C,D, E,F,G,H): 判断比例线段 AB:CD=EF:GH
ratio_2(A,B,C,D,n1,n2): 判断比例线段 AB:CD=n1:n2, 其中 n1,n2 是数字.
过程的判断:
point(A): 判定点 A 存在.
intpt(I): 判定点 I 是一个交点类型 (线线相交,线圆相交或 圆圆相交)
any_line(A,B): 判断有任意种类的线过点 A,B.
line(A,B): 判段直线 AB 存在(含 sline,paral,perpl)
seg(A,B): 判断线段 AB 存在.
ray(A,B): 判断射线 AB 存在 (含 ray,bisl).
根据需要, 添加更多的判断语句.