網頁版幾何畫板開發筆記(十六) 做圖檢測說明

(已通過時, 新版的在: 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).

根據須要, 添加更多的判斷語句.