|
|
官网euclid.js.org/parse.html演示了如何从“几何证明式”描述生成图。
适用于用 javascript 呈现欧几里得几何。
可以用鼠标移动点。
“几何证明式”描述的一个例子：
[main-figure]
Let a = (300, 300).
Let b = (500, 300).
Let c = (300, 400).
Let s be a segment with endpoints a and b.
Let t be a segment with endpoints b and c.
Let u be a segment from a to c.
[guides]
Let k be a circle centered at a containing b.
Let l be a circle centered at b containing a.
Let m be the circle centered at b containing c.
Let n be the circle centered at c containing b.
d = the intersection of k and l
e = the intersection of k and l that is not d
f = the intersection of m and n
g = the intersection of m and n that is not f
[perpendicular-bisectors]
Let v be the line determined by d and e
Let w be the line determined by f and g
[result]
Let O be the intersection of v and w
Draw the circle centered at O containing a. |
|
