動畫
以下每個範例都是獨立的 .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 度時兩者互相穿插，中心留下一個正八面體核心。
