文档站的每个示例，现在都能在浏览器里播放

奕图文档站现在收录了一整套现成的几何项目，而且看之前不需要安装任何东西。每个示例都带有一个 View in Viewer 链接，会在奕图查看器中打开该项目。查看器是奕图画布的只读版本，直接运行在浏览器里。

打开泰勒斯定理并点击 Play，就能看到效果。

示例库里有什么

示例分布在文档站的两个页面中。

• 基础收录四个入门项目：带中点的参数化正方形、圆柱与圆锥的立体几何巡览、大星形八面体，以及采样曲面 z = sin(x) + cos(y)。每一个都短到可以从头读到尾。
• 动画收录 28 个独立项目，其中 24 个平面、4 个立体，每个都在时间轴上演示一条几何结论。

动画部分覆盖了经典课程内容。圆的结论包括圆周角定理、垂径定理、圆幂定理、托勒密定理，以及半径与切线的垂直关系。三角形的结论包括重心、外心、内角和，以及勾股定理的拼接证明。变换部分涵盖位似、旋转作为刚体运动、圆反演，以及反射最短路径。圆锥曲线部分涵盖椭圆的焦点定义和抛物线的焦点准线定义。机构部分涵盖缩放仪连杆和滚动圆生成的旋轮线。

立体示例走得更远：长方体的体对角线、两球相交所得的圆、两个互相贯穿的正四面体，以及圆柱与圆锥 3:1 的体积比。

查看器的意义

导出的图片只有一帧。视频以固定速度播放。两者都不能让你停在真正想讲的那一帧上。

奕图查看器播放的是真正的项目。它编译奕图应用所用的同一份 Eidolang 源码，渲染同样的几何，并提供可以拖动的时间轴。你可以在演示阶段之间逐步前进，在某个作图步骤上暂停，平移缩放平面图形，或者旋转观察立体图形。包含多个图形的项目会在侧边栏列出，可随时切换。

因为几何是实时求值而不是回放录像，实时测量值是可靠的。在圆柱与圆锥的示例中，两个体积标签每帧都重新计算，随着共用半径增长始终保持 3:1。项目里写入的 assert 断言也以同样方式运行。

把一份构造分享出去

查看器可以通过 URL 接收项目包，于是任何示例都变成了一条可以直接发给别人的链接。文档站的链接正是这样构成的：查看器地址加上指向 .eido 文件的 src 参数。

你自己的项目也一样。把 .eido 文件放在任何允许跨域访问的服务器上，再作为 src 附加到地址后面即可。学生、审阅者或论坛读者打开链接就能看到构造播放。你也可以把本地 .eido 文件直接拖到查看器窗口上，这是检查别人发来的文件最快的方式。

查看器的能力是刻意受限的。它只负责读取和播放，不编辑、不保存、不需要登录。正因为这条边界，它才能保持为一条简单的链接。

从观看到构建

想改动其中内容时，从文档的同一处下载 .eido 文件，再用奕图打开。每个示例都附带可编辑的 Eidolang 源码，你可以拖动自由点、移动参数滑块、改写字面量，或者把一份构造拆开来理解它是怎么搭起来的。用另存为保留自己的版本。

这正是这套示例库设计的使用路径：先点开链接判断某个示例是否符合需要，再在想据为己用时安装应用。

浏览基础示例和动画示例，然后从 Google Play 获取奕图，或从 Microsoft Store 下载。