第五节 \(\rm \LaTeX\) 中的几何画板 tkz-euclide

5.1 安装宏包与获取说明

正如上一节所指出的那样，我们可以使用\usepackage命令通知 Mik\(\rm \TeX\) 安装宏包

\usepackage{tkz-euclide}

然后登入 CTAN 网站，搜索tkz-euclide，找到宏包后，可以进入详情页点入Package Documentation查看宏包文档。一般的宏包文档都是英文的。The universal language.

修改 TikZEdt 安装目录 Editor 文件夹下的代码自动补全数据库 CodeCompletions.xml，添加下面的代码或者是使用现有的文件替换，以更好地适应 tkz-euclide 宏包命令。

CodeCompletions.xml

单击链接查看文件，右键另存为...保存到本地。或者是前往 GitHub 页面。

但是，TikZEdt 如要使用新的数据库，程序需要使用-p参数（Portable 便携式）。右键快捷方式，打开文件位置，在快捷方式的属性目标中，增加-p参数即可。之后可能需要重新生成缩略图，一些设置可能需要重新来过。

还需要在 TikZEdt 的引用中添加该包，在菜单选栏中选择Settings设置 x2，在Compiler编译器选项卡中，添加

\usepackage{tkz-euclide}

来引用该包。

5.2 实例：绘制一道几何题目

语义化的 tkz-euclide 宏包将更符合叙述化的文本习惯，下面通过绘制一道几何题目来展示其命令的大致规则。

1. \(\triangle ABC \)：需要绘制出一个三角形（Triangle），那么可以使用\tkzDefTriangle定义（Define=>Def）特殊的三角形。当然此处的三角形不是特殊的，可以直接定义三点（Point），使用\tkzDefPoints定义三点。

   \tkzDefPoints{2.5/2/A,0/0/B,3/0/C}

   但是现在的三点只是被定义好了，却没有显示出来，需要使用\tkzDrawPoints将三点画（Draw）出来。

   \tkzDrawPoints(A,B,C)

   然后，可以使用\tkzLabelPoints标注（Label）三点。

   \tkzLabelPoints(A,B,C)

   最后可以使用\tkzDrawPolygon根据三个顶点绘制出一个多边形（Polygon，三角形也是多边形的一种）。

   \tkzDrawPolygon(A,B,C)

2. 内切圆：需要定义一个圆（Circle），使用\tkzDefCircle定义出一个圆，但是需要添加参数[in]来指示其是内切圆（Inscribed circle），后接三点指示其是哪个三角形的内切圆。

   \tkzDefCircle[in](A,B,C)

   后面紧接\tkzGetPoint得到（Get）圆心，接\tkzGetLength得到半径长度（Length）。

   \tkzGetPoint{I} \tkzGetLength{ls}

   最后使用\tkzDrawCircle指令，使用[R]参数通过圆心半径绘制出内切圆。

   \tkzDrawCircle[R,red](I, \ls pt)

3. 分别与\(BC\)、\(CA\)、\(AB\)相切于\(D\)、\(E\)、\(F\)：需要找到切点。这里可以使用\tkzDefSpcTriangle得到特殊（Special=>Spc）三角形，通过[intouch]参数得到内切圆切点，参数处需要说明对哪一个三角形的内切三角形。

   \tkzDefSpcTriangle[intouch](A,B,C){D,E,F}

   同样的方法画出来这几个点，这一次可以添加颜色参数。

   \tkzDrawPoints[blue](D,E,F)

   然后可以使用\tkzAutoLabelPoints自动（Auto）地围绕某一个点标注，添加围绕的中心[center]参数。

   \tkzAutoLabelPoints[blue,center = I](D,E,F)

4. \(DP \bot EF\)于\(P\)：需要作垂直线（或者说\(D\)在\(EF\)上的投影点\(P\)）。可以使用\tkzDefPointBy命令添加[projection]参数定义投影点：向（onto）\(E\)--\(F\)轴投影（projection）。

   \tkzDefPointBy[projection = onto E--F](D)

   得到该定义点。

   \tkzGetPoint{P}

   绘制出该点，并标记该点，使用[above]参数可以让标记放在上方（above）。

   \tkzDrawPoint[blue](P)
   \tkzLabelPoints[above,blue](P)

   使用\tkzDrawSegments连接多条线段（Segment）\(DP\)、\(EF\)。

   \tkzDrawSegments[blue](D,P E,F)

   使用\tkzMarkRightAngle标记（Mark）关于\( \angle DPF \)直角（Right Angle）符号。

   \tkzMarkRightAngle[blue](D,P,F)

5. \(PD\)平分\(\angle BPC\)：需要展示角相等关系。连接\(BP\)、\(PC\)。

   \tkzDrawSegments[orange](B,P P,C)

   使用\tkzMarkAngles标记（Mark）两个角度（Angles）\(\angle BPD\)、\(\angle DPC\)。

   \tkzMarkAngles[orange,mark=none,size=0.5cm](B,P,D D,P,C)

5.3 tkz-euclide 宏包部分命令样式展示

tkz-euclideexp.pdf [源代码]