动画
下面每个示例都是一个独立的 .eido 项目，里面只有一个图形，用 stage、animate 和 assert 把一条几何结论演示出来。每个下载都是当前 .eido 格式（manifest version: 2），包含一份可编辑的 Eidolang 源码。
下载后，点击应用顶部的打开按钮选择文件，或者把 .eido 文件直接拖入应用。不想安装应用也可以用在查看器中打开链接，直接在浏览器里播放。
页面中的图片是用 Eidograph 的导出功能从同一个图形导出的 PNG，展示的是时间轴上的某一帧；完整动画请打开文件后播放。
平面图形
中垂线定理
这个示例展示如何制作动画来演示线段中垂线的性质。点 P 在中垂线上滑动，PA 与 PB 的实时长度标签始终相等，两条断言在每一帧检查距离相等和垂直关系。
下载 perpendicular-bisector-theorem.eido · 在查看器中打开
拿破仑定理
这个示例展示如何制作动画来演示拿破仑定理。顶点 C 不断变形三角形，而三个外接正三角形的中心始终构成一个正三角形。
下载 napoleons-theorem.eido · 在查看器中打开
泰勒斯定理
这个示例展示如何制作动画来演示泰勒斯定理。点 P 沿半圆移动，直径 AB 在 P 处所张的角始终是直角。
下载 thales-theorem.eido · 在查看器中打开
圆周角定理
这个示例展示如何制作动画来演示圆周角定理。点 P 沿优弧移动，圆心角 AOB 始终是圆周角 APB 的两倍。
下载 inscribed-angle-theorem.eido · 在查看器中打开
垂径定理
这个示例展示如何制作动画来演示垂径定理。弦 AB 绕圆旋转，OM 始终与它垂直，两段半弦的长度标签始终相等。
下载 perpendicular-chord-bisector-theorem.eido · 在查看器中打开
等腰三角形的底角
这个示例展示如何制作动画来演示等腰三角形的底角相等。顶点 C 沿对称轴上下滑动，无论高度如何，两个底角始终相等。
下载 isosceles-triangle-base-angles.eido · 在查看器中打开
三角形内角和
这个示例展示如何制作动画来演示三角形的内角和。过 C 作底边的平行线，把三个内角拼成一个平角，同时顶点 C 持续移动。
下载 triangle-angle-sum.eido · 在查看器中打开
三角形重心定理
这个示例展示如何制作动画来演示三角形的重心定理。三角形持续变形，三条中线始终交于 G，且 G 在每条中线上都保持 2:1 的分点比。
下载 triangle-centroid-theorem.eido · 在查看器中打开
勾股定理的拼接证明
这个示例展示如何制作动画来演示勾股定理。四个全等直角三角形在同一个正方形内旋转到另一种摆法，把两个小正方形变成斜边上的一个正方形。
下载 pythagorean-rearrangement-proof.eido · 在查看器中打开
三角形的外心
这个示例展示如何制作动画来演示三角形的外心。三条边的中垂线始终交于 O，外接圆随着移动的顶点 C 一起变化。
下载 triangle-circumcenter.eido · 在查看器中打开
半径与切线
这个示例展示如何制作动画来演示半径与切线的垂直关系。切点 T 绕圆移动，切线始终与半径 OT 垂直。
下载 radius-and-tangent.eido · 在查看器中打开
圆幂定理
这个示例展示如何制作动画来演示点对圆的幂。过 P 的一条割线不断旋转，实时标签显示两条割线的乘积始终相等。
下载 power-of-a-point.eido · 在查看器中打开
托勒密定理
这个示例展示如何制作动画来演示托勒密定理。顶点 D 沿圆滑动，两条对角线的乘积与两组对边乘积之和始终相等。
下载 ptolemys-theorem.eido · 在查看器中打开
平行四边形的对角线
这个示例展示如何制作动画来演示平行四边形对角线互相平分。夹角变化使平行四边形不断倾斜，两条对角线始终共用同一个中点 M。
下载 parallelogram-diagonals.eido · 在查看器中打开
瓦里尼翁定理
这个示例展示如何制作动画来演示瓦里尼翁定理。顶点 D 不断变形四边形，而由四边中点连成的四边形始终是平行四边形。
下载 varignons-theorem.eido · 在查看器中打开
反射与最短折线
这个示例展示如何制作动画来演示反射得到的最短路径。点 P 沿镜面滑动，实时路径长度恰好在 A、P 和反射点 B' 共线时取到最小值。
下载 reflection-shortest-path.eido · 在查看器中打开
位似变换
这个示例展示如何制作动画来演示位似变换。比例系数 k 逐渐增大，每个像点始终落在从 O 出发的射线上，每条边长都乘以 k。
旋转是刚体运动
这个示例展示如何制作动画来演示旋转作为刚体运动。三角形绕 O 转满一圈，断言在每一帧检查所有边长和角度都保持不变。
下载 rotation-is-a-rigid-motion.eido · 在查看器中打开
椭圆的焦点定义
这个示例展示如何制作动画来演示椭圆的焦点定义。点 P 绕椭圆走一圈，两条焦半径各自变化，但它们的和始终是常数。
下载 ellipse-focal-definition.eido · 在查看器中打开
抛物线的焦点与准线
这个示例展示如何制作动画来演示抛物线的焦点准线定义。点 P 沿抛物线移动，它到焦点的距离始终等于它到准线的距离。
下载 parabola-focus-and-directrix.eido · 在查看器中打开
缩放仪与相似
这个示例展示如何制作动画来演示缩放仪如何放大图形。连杆机构转动，两条轨迹分别记录描针和画笔的路径，画笔路径是按 k 放大的相似图形。
下载 pantograph-similarity.eido · 在查看器中打开
滚动圆生成的摆线
这个示例展示如何制作动画来演示摆线。圆沿直线做无滑滚动，圆周上一个标记点把摆线作为轨迹画出来。
下载 cycloid-from-a-rolling-circle.eido · 在查看器中打开
单位圆与正弦曲线
这个示例展示如何制作动画来演示单位圆如何生成正弦曲线。一条连接线把圆上的转动点和图像上的点连起来，后者的高度正是同一个角的正弦值。
下载 unit-circle-and-sine-wave.eido · 在查看器中打开
圆反演
这个示例展示如何制作动画来演示关于圆的反演。点 P 沿射线向外移动时像点 P' 向内移动，乘积 OP × OP' 始终等于 R²。
下载 circle-inversion.eido · 在查看器中打开
立体图形
长方体的体对角线
这个示例展示如何制作动画来演示长方体的体对角线。高度不断增加，底面对角线和体对角线分别按 a² + b² 与 a² + b² + c² 被断言检查。
下载 cuboid-space-diagonal.eido · 在查看器中打开
圆锥与圆柱的体积比
这个示例展示如何制作动画来演示等底等高的圆锥与圆柱的体积比。两个立体共用的半径不断增大，实时体积标签始终保持 3:1 的比例。
下载 cone-and-cylinder-volume-ratio.eido · 在查看器中打开
两球的交线圆
这个示例展示如何制作动画来演示两个球面相交所成的圆。两球心的距离不断增大，公共圆随之缩小，并始终位于两球心连线的中垂面内。
下载 intersection-circle-of-two-spheres.eido · 在查看器中打开
星形八面体
这个示例展示如何制作动画来演示星形八面体。第二个全等正四面体持续旋转，到 90 度时两者互相穿插，中心留下一个正八面体内核。
