本批已通過 Schema、去重、來源快照與獨立答案重算；仍未標記為人工審定。
本題庫已有對應的中英逐步詳解。原題的 candidate 與英文 ai_candidate 狀態保留；AI 覆核、有限計算與 Lean 形式證明分開標示。
batch-20261009-advance-20261013-r07-triangle-foundations · 2026-10-09 · 100 題
歐氏等單位正交座標；A、B、C按頂點索引1、2、3排列，points=[[0, 0], [0, 0], [1, 1]]。此為候選頂點資料。依序答 (三點是否相異, 有號(B−A)×(C−A), 相異且非共線是否)，允許退化候選。
(否, 0, 否)
頂點資格與共線見證=(否, 0, 否)。用精確座標及行列式分開核相異與非共線；有限座標檢查非一般幾何證明，不從示意圖讀量值。
三角形 · qf-density13-triangle-coordinate-qualification · candidate
歐氏等單位正交座標；A、B、C按頂點索引1、2、3排列，points=[[0, 0], [1, 1], [2, 2]]。此為候選頂點資料。依序答 (三點是否相異, 有號(B−A)×(C−A), 相異且非共線是否)，允許退化候選。
(是, 0, 否)
頂點資格與共線見證=(是, 0, 否)。用精確座標及行列式分開核相異與非共線；有限座標檢查非一般幾何證明，不從示意圖讀量值。
三角形 · qf-density13-triangle-coordinate-qualification · candidate
歐氏等單位正交座標；A、B、C按頂點索引1、2、3排列，points=[[0, 0], [1, 0], [0, -12]]。此為候選頂點資料。依序答 (三點是否相異, 有號(B−A)×(C−A), 相異且非共線是否)，允許退化候選。
(是, -12, 是)
頂點資格與共線見證=(是, -12, 是)。用精確座標及行列式分開核相異與非共線；有限座標檢查非一般幾何證明，不從示意圖讀量值。
三角形 · qf-density13-triangle-coordinate-qualification · candidate
歐氏等單位正交座標；A、B、C按頂點索引1、2、3排列，points=[[0, 0], [1, 0], [0, -11]]。此為候選頂點資料。依序答 (三點是否相異, 有號(B−A)×(C−A), 相異且非共線是否)，允許退化候選。
(是, -11, 是)
頂點資格與共線見證=(是, -11, 是)。用精確座標及行列式分開核相異與非共線；有限座標檢查非一般幾何證明，不從示意圖讀量值。
三角形 · qf-density13-triangle-coordinate-qualification · candidate
歐氏等單位正交座標；A、B、C按頂點索引1、2、3排列，points=[[0, 0], [1, 0], [0, -10]]。此為候選頂點資料。依序答 (三點是否相異, 有號(B−A)×(C−A), 相異且非共線是否)，允許退化候選。
(是, -10, 是)
頂點資格與共線見證=(是, -10, 是)。用精確座標及行列式分開核相異與非共線；有限座標檢查非一般幾何證明，不從示意圖讀量值。
三角形 · qf-density13-triangle-coordinate-qualification · candidate
歐氏等單位正交座標；A、B、C按頂點索引1、2、3排列，points=[[0, 0], [1, 0], [0, -9]]。此為候選頂點資料。依序答 (三點是否相異, 有號(B−A)×(C−A), 相異且非共線是否)，允許退化候選。
(是, -9, 是)
頂點資格與共線見證=(是, -9, 是)。用精確座標及行列式分開核相異與非共線；有限座標檢查非一般幾何證明，不從示意圖讀量值。
三角形 · qf-density13-triangle-coordinate-qualification · candidate
歐氏等單位正交座標；A、B、C按頂點索引1、2、3排列，points=[[0, 0], [1, 0], [0, -8]]。此為候選頂點資料。依序答 (三點是否相異, 有號(B−A)×(C−A), 相異且非共線是否)，允許退化候選。
(是, -8, 是)
頂點資格與共線見證=(是, -8, 是)。用精確座標及行列式分開核相異與非共線；有限座標檢查非一般幾何證明，不從示意圖讀量值。
三角形 · qf-density13-triangle-coordinate-qualification · candidate
歐氏等單位正交座標；A、B、C按頂點索引1、2、3排列，points=[[0, 0], [1, 0], [0, -7]]。此為候選頂點資料。依序答 (三點是否相異, 有號(B−A)×(C−A), 相異且非共線是否)，允許退化候選。
(是, -7, 是)
頂點資格與共線見證=(是, -7, 是)。用精確座標及行列式分開核相異與非共線；有限座標檢查非一般幾何證明，不從示意圖讀量值。
三角形 · qf-density13-triangle-coordinate-qualification · candidate
歐氏等單位正交座標；A、B、C按頂點索引1、2、3排列，points=[[0, 0], [1, 0], [0, -6]]。此為候選頂點資料。依序答 (三點是否相異, 有號(B−A)×(C−A), 相異且非共線是否)，允許退化候選。
(是, -6, 是)
頂點資格與共線見證=(是, -6, 是)。用精確座標及行列式分開核相異與非共線；有限座標檢查非一般幾何證明，不從示意圖讀量值。
三角形 · qf-density13-triangle-coordinate-qualification · candidate
歐氏等單位正交座標；A、B、C按頂點索引1、2、3排列，points=[[0, 0], [1, 0], [0, -5]]。此為候選頂點資料。依序答 (三點是否相異, 有號(B−A)×(C−A), 相異且非共線是否)，允許退化候選。
(是, -5, 是)
頂點資格與共線見證=(是, -5, 是)。用精確座標及行列式分開核相異與非共線；有限座標檢查非一般幾何證明，不從示意圖讀量值。
三角形 · qf-density13-triangle-coordinate-qualification · candidate
歐氏等單位正交座標；A、B、C按頂點索引1、2、3排列，points=[[0, 0], [1, 0], [0, -4]]。此為候選頂點資料。依序答 (三點是否相異, 有號(B−A)×(C−A), 相異且非共線是否)，允許退化候選。
(是, -4, 是)
頂點資格與共線見證=(是, -4, 是)。用精確座標及行列式分開核相異與非共線；有限座標檢查非一般幾何證明，不從示意圖讀量值。
三角形 · qf-density13-triangle-coordinate-qualification · candidate
歐氏等單位正交座標；A、B、C按頂點索引1、2、3排列，points=[[0, 0], [1, 0], [0, -3]]。此為候選頂點資料。依序答 (三點是否相異, 有號(B−A)×(C−A), 相異且非共線是否)，允許退化候選。
(是, -3, 是)
頂點資格與共線見證=(是, -3, 是)。用精確座標及行列式分開核相異與非共線；有限座標檢查非一般幾何證明，不從示意圖讀量值。
三角形 · qf-density13-triangle-coordinate-qualification · candidate
歐氏等單位正交座標；A、B、C按頂點索引1、2、3排列，points=[[0, 0], [1, 0], [0, -2]]。此為候選頂點資料。依序答 (三點是否相異, 有號(B−A)×(C−A), 相異且非共線是否)，允許退化候選。
(是, -2, 是)
頂點資格與共線見證=(是, -2, 是)。用精確座標及行列式分開核相異與非共線；有限座標檢查非一般幾何證明，不從示意圖讀量值。
三角形 · qf-density13-triangle-coordinate-qualification · candidate
歐氏等單位正交座標；A、B、C按頂點索引1、2、3排列，points=[[0, 0], [1, 0], [0, -1]]。此為候選頂點資料。依序答 (三點是否相異, 有號(B−A)×(C−A), 相異且非共線是否)，允許退化候選。
(是, -1, 是)
頂點資格與共線見證=(是, -1, 是)。用精確座標及行列式分開核相異與非共線；有限座標檢查非一般幾何證明，不從示意圖讀量值。
三角形 · qf-density13-triangle-coordinate-qualification · candidate
歐氏等單位正交座標；A、B、C按頂點索引1、2、3排列，points=[[0, 0], [1, 0], [0, 1]]。此為候選頂點資料。依序答 (三點是否相異, 有號(B−A)×(C−A), 相異且非共線是否)，允許退化候選。
(是, 1, 是)
頂點資格與共線見證=(是, 1, 是)。用精確座標及行列式分開核相異與非共線；有限座標檢查非一般幾何證明，不從示意圖讀量值。
三角形 · qf-density13-triangle-coordinate-qualification · candidate
歐氏等單位正交座標；A、B、C按頂點索引1、2、3排列，points=[[0, 0], [1, 0], [0, 2]]。此為候選頂點資料。依序答 (三點是否相異, 有號(B−A)×(C−A), 相異且非共線是否)，允許退化候選。
(是, 2, 是)
頂點資格與共線見證=(是, 2, 是)。用精確座標及行列式分開核相異與非共線；有限座標檢查非一般幾何證明，不從示意圖讀量值。
三角形 · qf-density13-triangle-coordinate-qualification · candidate
歐氏等單位正交座標；A、B、C按頂點索引1、2、3排列，points=[[0, 0], [1, 0], [0, 3]]。此為候選頂點資料。依序答 (三點是否相異, 有號(B−A)×(C−A), 相異且非共線是否)，允許退化候選。
(是, 3, 是)
頂點資格與共線見證=(是, 3, 是)。用精確座標及行列式分開核相異與非共線；有限座標檢查非一般幾何證明，不從示意圖讀量值。
三角形 · qf-density13-triangle-coordinate-qualification · candidate
歐氏等單位正交座標；A、B、C按頂點索引1、2、3排列，points=[[0, 0], [1, 0], [0, 4]]。此為候選頂點資料。依序答 (三點是否相異, 有號(B−A)×(C−A), 相異且非共線是否)，允許退化候選。
(是, 4, 是)
頂點資格與共線見證=(是, 4, 是)。用精確座標及行列式分開核相異與非共線；有限座標檢查非一般幾何證明，不從示意圖讀量值。
三角形 · qf-density13-triangle-coordinate-qualification · candidate
歐氏等單位正交座標；A、B、C按頂點索引1、2、3排列，points=[[0, 0], [1, 0], [0, 5]]。此為候選頂點資料。依序答 (三點是否相異, 有號(B−A)×(C−A), 相異且非共線是否)，允許退化候選。
(是, 5, 是)
頂點資格與共線見證=(是, 5, 是)。用精確座標及行列式分開核相異與非共線；有限座標檢查非一般幾何證明，不從示意圖讀量值。
三角形 · qf-density13-triangle-coordinate-qualification · candidate
歐氏等單位正交座標；A、B、C按頂點索引1、2、3排列，points=[[0, 0], [1, 0], [0, 6]]。此為候選頂點資料。依序答 (三點是否相異, 有號(B−A)×(C−A), 相異且非共線是否)，允許退化候選。
(是, 6, 是)
頂點資格與共線見證=(是, 6, 是)。用精確座標及行列式分開核相異與非共線；有限座標檢查非一般幾何證明，不從示意圖讀量值。
三角形 · qf-density13-triangle-coordinate-qualification · candidate
歐氏等單位正交座標；A、B、C按頂點索引1、2、3排列，points=[[0, 0], [1, 0], [0, 7]]。此為候選頂點資料。依序答 (三點是否相異, 有號(B−A)×(C−A), 相異且非共線是否)，允許退化候選。
(是, 7, 是)
頂點資格與共線見證=(是, 7, 是)。用精確座標及行列式分開核相異與非共線；有限座標檢查非一般幾何證明，不從示意圖讀量值。
三角形 · qf-density13-triangle-coordinate-qualification · candidate
歐氏等單位正交座標；A、B、C按頂點索引1、2、3排列，points=[[0, 0], [1, 0], [0, 8]]。此為候選頂點資料。依序答 (三點是否相異, 有號(B−A)×(C−A), 相異且非共線是否)，允許退化候選。
(是, 8, 是)
頂點資格與共線見證=(是, 8, 是)。用精確座標及行列式分開核相異與非共線；有限座標檢查非一般幾何證明，不從示意圖讀量值。
三角形 · qf-density13-triangle-coordinate-qualification · candidate
歐氏等單位正交座標；A、B、C按頂點索引1、2、3排列，points=[[0, 0], [1, 0], [0, 9]]。此為候選頂點資料。依序答 (三點是否相異, 有號(B−A)×(C−A), 相異且非共線是否)，允許退化候選。
(是, 9, 是)
頂點資格與共線見證=(是, 9, 是)。用精確座標及行列式分開核相異與非共線；有限座標檢查非一般幾何證明，不從示意圖讀量值。
三角形 · qf-density13-triangle-coordinate-qualification · candidate
歐氏等單位正交座標；A、B、C按頂點索引1、2、3排列，points=[[0, 0], [1, 0], [0, 10]]。此為候選頂點資料。依序答 (三點是否相異, 有號(B−A)×(C−A), 相異且非共線是否)，允許退化候選。
(是, 10, 是)
頂點資格與共線見證=(是, 10, 是)。用精確座標及行列式分開核相異與非共線；有限座標檢查非一般幾何證明，不從示意圖讀量值。
三角形 · qf-density13-triangle-coordinate-qualification · candidate
歐氏等單位正交座標；A、B、C按頂點索引1、2、3排列，points=[[0, 0], [1, 0], [0, 11]]。此為候選頂點資料。依序答 (三點是否相異, 有號(B−A)×(C−A), 相異且非共線是否)，允許退化候選。
(是, 11, 是)
頂點資格與共線見證=(是, 11, 是)。用精確座標及行列式分開核相異與非共線；有限座標檢查非一般幾何證明，不從示意圖讀量值。
三角形 · qf-density13-triangle-coordinate-qualification · candidate
歐氏等單位正交座標；A、B、C按頂點索引1、2、3排列，points=[[0, 1], [0, 0], [1, 0]]。已要求三點相異且非共線，vertex=1。依序列 (另外兩個頂點的索引, 對邊L2平方距離)，不要將平方當距離。
([2, 3], 1)
對邊端點與平方距離=([2, 3], 1)。依固定標記取另外兩點，再加座標差平方；有限座標檢查非一般幾何證明，不從示意圖讀量值。
三角形 · qf-density13-triangle-opposite-side-squares · candidate
歐氏等單位正交座標；A、B、C按頂點索引1、2、3排列，points=[[0, 0], [0, 1], [2, 0]]。已要求三點相異且非共線，vertex=2。依序列 (另外兩個頂點的索引, 對邊L2平方距離)，不要將平方當距離。
([1, 3], 4)
對邊端點與平方距離=([1, 3], 4)。依固定標記取另外兩點，再加座標差平方；有限座標檢查非一般幾何證明，不從示意圖讀量值。
三角形 · qf-density13-triangle-opposite-side-squares · candidate
歐氏等單位正交座標；A、B、C按頂點索引1、2、3排列，points=[[0, 0], [3, 0], [0, 1]]。已要求三點相異且非共線，vertex=3。依序列 (另外兩個頂點的索引, 對邊L2平方距離)，不要將平方當距離。
([1, 2], 9)
對邊端點與平方距離=([1, 2], 9)。依固定標記取另外兩點，再加座標差平方；有限座標檢查非一般幾何證明，不從示意圖讀量值。
三角形 · qf-density13-triangle-opposite-side-squares · candidate
歐氏等單位正交座標；A、B、C按頂點索引1、2、3排列，points=[[0, 1], [0, 0], [4, 0]]。已要求三點相異且非共線，vertex=1。依序列 (另外兩個頂點的索引, 對邊L2平方距離)，不要將平方當距離。
([2, 3], 16)
對邊端點與平方距離=([2, 3], 16)。依固定標記取另外兩點，再加座標差平方；有限座標檢查非一般幾何證明，不從示意圖讀量值。
三角形 · qf-density13-triangle-opposite-side-squares · candidate
歐氏等單位正交座標；A、B、C按頂點索引1、2、3排列，points=[[0, 0], [0, 1], [5, 0]]。已要求三點相異且非共線，vertex=2。依序列 (另外兩個頂點的索引, 對邊L2平方距離)，不要將平方當距離。
([1, 3], 25)
對邊端點與平方距離=([1, 3], 25)。依固定標記取另外兩點，再加座標差平方；有限座標檢查非一般幾何證明，不從示意圖讀量值。
三角形 · qf-density13-triangle-opposite-side-squares · candidate
歐氏等單位正交座標；A、B、C按頂點索引1、2、3排列，points=[[0, 0], [6, 0], [0, 1]]。已要求三點相異且非共線，vertex=3。依序列 (另外兩個頂點的索引, 對邊L2平方距離)，不要將平方當距離。
([1, 2], 36)
對邊端點與平方距離=([1, 2], 36)。依固定標記取另外兩點，再加座標差平方；有限座標檢查非一般幾何證明，不從示意圖讀量值。
三角形 · qf-density13-triangle-opposite-side-squares · candidate
歐氏等單位正交座標；A、B、C按頂點索引1、2、3排列，points=[[0, 1], [0, 0], [7, 0]]。已要求三點相異且非共線，vertex=1。依序列 (另外兩個頂點的索引, 對邊L2平方距離)，不要將平方當距離。
([2, 3], 49)
對邊端點與平方距離=([2, 3], 49)。依固定標記取另外兩點，再加座標差平方；有限座標檢查非一般幾何證明，不從示意圖讀量值。
三角形 · qf-density13-triangle-opposite-side-squares · candidate
歐氏等單位正交座標；A、B、C按頂點索引1、2、3排列，points=[[0, 0], [0, 1], [8, 0]]。已要求三點相異且非共線，vertex=2。依序列 (另外兩個頂點的索引, 對邊L2平方距離)，不要將平方當距離。
([1, 3], 64)
對邊端點與平方距離=([1, 3], 64)。依固定標記取另外兩點，再加座標差平方；有限座標檢查非一般幾何證明，不從示意圖讀量值。
三角形 · qf-density13-triangle-opposite-side-squares · candidate
歐氏等單位正交座標；A、B、C按頂點索引1、2、3排列，points=[[0, 0], [9, 0], [0, 1]]。已要求三點相異且非共線，vertex=3。依序列 (另外兩個頂點的索引, 對邊L2平方距離)，不要將平方當距離。
([1, 2], 81)
對邊端點與平方距離=([1, 2], 81)。依固定標記取另外兩點，再加座標差平方；有限座標檢查非一般幾何證明，不從示意圖讀量值。
三角形 · qf-density13-triangle-opposite-side-squares · candidate
歐氏等單位正交座標；A、B、C按頂點索引1、2、3排列，points=[[0, 1], [0, 0], [10, 0]]。已要求三點相異且非共線，vertex=1。依序列 (另外兩個頂點的索引, 對邊L2平方距離)，不要將平方當距離。
([2, 3], 100)
對邊端點與平方距離=([2, 3], 100)。依固定標記取另外兩點，再加座標差平方；有限座標檢查非一般幾何證明，不從示意圖讀量值。
三角形 · qf-density13-triangle-opposite-side-squares · candidate
歐氏等單位正交座標；A、B、C按頂點索引1、2、3排列，points=[[0, 0], [0, 1], [11, 0]]。已要求三點相異且非共線，vertex=2。依序列 (另外兩個頂點的索引, 對邊L2平方距離)，不要將平方當距離。
([1, 3], 121)
對邊端點與平方距離=([1, 3], 121)。依固定標記取另外兩點，再加座標差平方；有限座標檢查非一般幾何證明，不從示意圖讀量值。
三角形 · qf-density13-triangle-opposite-side-squares · candidate
歐氏等單位正交座標；A、B、C按頂點索引1、2、3排列，points=[[0, 0], [12, 0], [0, 1]]。已要求三點相異且非共線，vertex=3。依序列 (另外兩個頂點的索引, 對邊L2平方距離)，不要將平方當距離。
([1, 2], 144)
對邊端點與平方距離=([1, 2], 144)。依固定標記取另外兩點，再加座標差平方；有限座標檢查非一般幾何證明，不從示意圖讀量值。
三角形 · qf-density13-triangle-opposite-side-squares · candidate
歐氏等單位正交座標；A、B、C按頂點索引1、2、3排列，points=[[0, 1], [0, 0], [13, 0]]。已要求三點相異且非共線，vertex=1。依序列 (另外兩個頂點的索引, 對邊L2平方距離)，不要將平方當距離。
([2, 3], 169)
對邊端點與平方距離=([2, 3], 169)。依固定標記取另外兩點，再加座標差平方；有限座標檢查非一般幾何證明，不從示意圖讀量值。
三角形 · qf-density13-triangle-opposite-side-squares · candidate
歐氏等單位正交座標；A、B、C按頂點索引1、2、3排列，points=[[0, 0], [0, 1], [14, 0]]。已要求三點相異且非共線，vertex=2。依序列 (另外兩個頂點的索引, 對邊L2平方距離)，不要將平方當距離。
([1, 3], 196)
對邊端點與平方距離=([1, 3], 196)。依固定標記取另外兩點，再加座標差平方；有限座標檢查非一般幾何證明，不從示意圖讀量值。
三角形 · qf-density13-triangle-opposite-side-squares · candidate
歐氏等單位正交座標；A、B、C按頂點索引1、2、3排列，points=[[0, 0], [15, 0], [0, 1]]。已要求三點相異且非共線，vertex=3。依序列 (另外兩個頂點的索引, 對邊L2平方距離)，不要將平方當距離。
([1, 2], 225)
對邊端點與平方距離=([1, 2], 225)。依固定標記取另外兩點，再加座標差平方；有限座標檢查非一般幾何證明，不從示意圖讀量值。
三角形 · qf-density13-triangle-opposite-side-squares · candidate
歐氏等單位正交座標；A、B、C按頂點索引1、2、3排列，points=[[0, 1], [0, 0], [16, 0]]。已要求三點相異且非共線，vertex=1。依序列 (另外兩個頂點的索引, 對邊L2平方距離)，不要將平方當距離。
([2, 3], 256)
對邊端點與平方距離=([2, 3], 256)。依固定標記取另外兩點，再加座標差平方；有限座標檢查非一般幾何證明，不從示意圖讀量值。
三角形 · qf-density13-triangle-opposite-side-squares · candidate
歐氏等單位正交座標；A、B、C按頂點索引1、2、3排列，points=[[0, 0], [0, 1], [17, 0]]。已要求三點相異且非共線，vertex=2。依序列 (另外兩個頂點的索引, 對邊L2平方距離)，不要將平方當距離。
([1, 3], 289)
對邊端點與平方距離=([1, 3], 289)。依固定標記取另外兩點，再加座標差平方；有限座標檢查非一般幾何證明，不從示意圖讀量值。
三角形 · qf-density13-triangle-opposite-side-squares · candidate
歐氏等單位正交座標；A、B、C按頂點索引1、2、3排列，points=[[0, 0], [18, 0], [0, 1]]。已要求三點相異且非共線，vertex=3。依序列 (另外兩個頂點的索引, 對邊L2平方距離)，不要將平方當距離。
([1, 2], 324)
對邊端點與平方距離=([1, 2], 324)。依固定標記取另外兩點，再加座標差平方；有限座標檢查非一般幾何證明，不從示意圖讀量值。
三角形 · qf-density13-triangle-opposite-side-squares · candidate
歐氏等單位正交座標；A、B、C按頂點索引1、2、3排列，points=[[0, 1], [0, 0], [19, 0]]。已要求三點相異且非共線，vertex=1。依序列 (另外兩個頂點的索引, 對邊L2平方距離)，不要將平方當距離。
([2, 3], 361)
對邊端點與平方距離=([2, 3], 361)。依固定標記取另外兩點，再加座標差平方；有限座標檢查非一般幾何證明，不從示意圖讀量值。
三角形 · qf-density13-triangle-opposite-side-squares · candidate
歐氏等單位正交座標；A、B、C按頂點索引1、2、3排列，points=[[0, 0], [0, 1], [20, 0]]。已要求三點相異且非共線，vertex=2。依序列 (另外兩個頂點的索引, 對邊L2平方距離)，不要將平方當距離。
([1, 3], 400)
對邊端點與平方距離=([1, 3], 400)。依固定標記取另外兩點，再加座標差平方；有限座標檢查非一般幾何證明，不從示意圖讀量值。
三角形 · qf-density13-triangle-opposite-side-squares · candidate
歐氏等單位正交座標；A、B、C按頂點索引1、2、3排列，points=[[0, 0], [21, 0], [0, 1]]。已要求三點相異且非共線，vertex=3。依序列 (另外兩個頂點的索引, 對邊L2平方距離)，不要將平方當距離。
([1, 2], 441)
對邊端點與平方距離=([1, 2], 441)。依固定標記取另外兩點，再加座標差平方；有限座標檢查非一般幾何證明，不從示意圖讀量值。
三角形 · qf-density13-triangle-opposite-side-squares · candidate
歐氏等單位正交座標；A、B、C按頂點索引1、2、3排列，points=[[0, 1], [0, 0], [22, 0]]。已要求三點相異且非共線，vertex=1。依序列 (另外兩個頂點的索引, 對邊L2平方距離)，不要將平方當距離。
([2, 3], 484)
對邊端點與平方距離=([2, 3], 484)。依固定標記取另外兩點，再加座標差平方；有限座標檢查非一般幾何證明，不從示意圖讀量值。
三角形 · qf-density13-triangle-opposite-side-squares · candidate
歐氏等單位正交座標；A、B、C按頂點索引1、2、3排列，points=[[0, 0], [0, 1], [23, 0]]。已要求三點相異且非共線，vertex=2。依序列 (另外兩個頂點的索引, 對邊L2平方距離)，不要將平方當距離。
([1, 3], 529)
對邊端點與平方距離=([1, 3], 529)。依固定標記取另外兩點，再加座標差平方；有限座標檢查非一般幾何證明，不從示意圖讀量值。
三角形 · qf-density13-triangle-opposite-side-squares · candidate
歐氏等單位正交座標；A、B、C按頂點索引1、2、3排列，points=[[0, 0], [24, 0], [0, 1]]。已要求三點相異且非共線，vertex=3。依序列 (另外兩個頂點的索引, 對邊L2平方距離)，不要將平方當距離。
([1, 2], 576)
對邊端點與平方距離=([1, 2], 576)。依固定標記取另外兩點，再加座標差平方；有限座標檢查非一般幾何證明，不從示意圖讀量值。
三角形 · qf-density13-triangle-opposite-side-squares · candidate
歐氏等單位正交座標；A、B、C按頂點索引1、2、3排列，points=[[0, 1], [0, 0], [25, 0]]。已要求三點相異且非共線，vertex=1。依序列 (另外兩個頂點的索引, 對邊L2平方距離)，不要將平方當距離。
([2, 3], 625)
對邊端點與平方距離=([2, 3], 625)。依固定標記取另外兩點，再加座標差平方；有限座標檢查非一般幾何證明，不從示意圖讀量值。
三角形 · qf-density13-triangle-opposite-side-squares · candidate
歐氏等單位正交座標；A、B、C按頂點索引1、2、3排列，points=[[0, 0], [1, 0], [0, -12]]。三點相異且非共線。依序求 (crossABC, crossBCA, crossACB) 有號整數，不把循環與交換標記混同。
(-12, -12, 12)
三種標記座標行列式=(-12, -12, 12)。各標記次序分別套鞋帶行列式，循環與對換保留不同方向；有限座標檢查非一般幾何證明，不從示意圖讀量值。
三角形 · qf-density13-triangle-cyclic-label-orientation · candidate
歐氏等單位正交座標；A、B、C按頂點索引1、2、3排列，points=[[0, 0], [1, 0], [0, -11]]。三點相異且非共線。依序求 (crossABC, crossBCA, crossACB) 有號整數，不把循環與交換標記混同。
(-11, -11, 11)
三種標記座標行列式=(-11, -11, 11)。各標記次序分別套鞋帶行列式，循環與對換保留不同方向；有限座標檢查非一般幾何證明，不從示意圖讀量值。
三角形 · qf-density13-triangle-cyclic-label-orientation · candidate
歐氏等單位正交座標；A、B、C按頂點索引1、2、3排列，points=[[0, 0], [1, 0], [0, -10]]。三點相異且非共線。依序求 (crossABC, crossBCA, crossACB) 有號整數，不把循環與交換標記混同。
(-10, -10, 10)
三種標記座標行列式=(-10, -10, 10)。各標記次序分別套鞋帶行列式，循環與對換保留不同方向；有限座標檢查非一般幾何證明，不從示意圖讀量值。
三角形 · qf-density13-triangle-cyclic-label-orientation · candidate
歐氏等單位正交座標；A、B、C按頂點索引1、2、3排列，points=[[0, 0], [1, 0], [0, -9]]。三點相異且非共線。依序求 (crossABC, crossBCA, crossACB) 有號整數，不把循環與交換標記混同。
(-9, -9, 9)
三種標記座標行列式=(-9, -9, 9)。各標記次序分別套鞋帶行列式，循環與對換保留不同方向；有限座標檢查非一般幾何證明，不從示意圖讀量值。
三角形 · qf-density13-triangle-cyclic-label-orientation · candidate
歐氏等單位正交座標；A、B、C按頂點索引1、2、3排列，points=[[0, 0], [1, 0], [0, -8]]。三點相異且非共線。依序求 (crossABC, crossBCA, crossACB) 有號整數，不把循環與交換標記混同。
(-8, -8, 8)
三種標記座標行列式=(-8, -8, 8)。各標記次序分別套鞋帶行列式，循環與對換保留不同方向；有限座標檢查非一般幾何證明，不從示意圖讀量值。
三角形 · qf-density13-triangle-cyclic-label-orientation · candidate
歐氏等單位正交座標；A、B、C按頂點索引1、2、3排列，points=[[0, 0], [1, 0], [0, -7]]。三點相異且非共線。依序求 (crossABC, crossBCA, crossACB) 有號整數，不把循環與交換標記混同。
(-7, -7, 7)
三種標記座標行列式=(-7, -7, 7)。各標記次序分別套鞋帶行列式，循環與對換保留不同方向；有限座標檢查非一般幾何證明，不從示意圖讀量值。
三角形 · qf-density13-triangle-cyclic-label-orientation · candidate
歐氏等單位正交座標；A、B、C按頂點索引1、2、3排列，points=[[0, 0], [1, 0], [0, -6]]。三點相異且非共線。依序求 (crossABC, crossBCA, crossACB) 有號整數，不把循環與交換標記混同。
(-6, -6, 6)
三種標記座標行列式=(-6, -6, 6)。各標記次序分別套鞋帶行列式，循環與對換保留不同方向；有限座標檢查非一般幾何證明，不從示意圖讀量值。
三角形 · qf-density13-triangle-cyclic-label-orientation · candidate
歐氏等單位正交座標；A、B、C按頂點索引1、2、3排列，points=[[0, 0], [1, 0], [0, -5]]。三點相異且非共線。依序求 (crossABC, crossBCA, crossACB) 有號整數，不把循環與交換標記混同。
(-5, -5, 5)
三種標記座標行列式=(-5, -5, 5)。各標記次序分別套鞋帶行列式，循環與對換保留不同方向；有限座標檢查非一般幾何證明，不從示意圖讀量值。
三角形 · qf-density13-triangle-cyclic-label-orientation · candidate
歐氏等單位正交座標；A、B、C按頂點索引1、2、3排列，points=[[0, 0], [1, 0], [0, -4]]。三點相異且非共線。依序求 (crossABC, crossBCA, crossACB) 有號整數，不把循環與交換標記混同。
(-4, -4, 4)
三種標記座標行列式=(-4, -4, 4)。各標記次序分別套鞋帶行列式，循環與對換保留不同方向；有限座標檢查非一般幾何證明，不從示意圖讀量值。
三角形 · qf-density13-triangle-cyclic-label-orientation · candidate
歐氏等單位正交座標；A、B、C按頂點索引1、2、3排列，points=[[0, 0], [1, 0], [0, -3]]。三點相異且非共線。依序求 (crossABC, crossBCA, crossACB) 有號整數，不把循環與交換標記混同。
(-3, -3, 3)
三種標記座標行列式=(-3, -3, 3)。各標記次序分別套鞋帶行列式，循環與對換保留不同方向；有限座標檢查非一般幾何證明，不從示意圖讀量值。
三角形 · qf-density13-triangle-cyclic-label-orientation · candidate
歐氏等單位正交座標；A、B、C按頂點索引1、2、3排列，points=[[0, 0], [1, 0], [0, -2]]。三點相異且非共線。依序求 (crossABC, crossBCA, crossACB) 有號整數，不把循環與交換標記混同。
(-2, -2, 2)
三種標記座標行列式=(-2, -2, 2)。各標記次序分別套鞋帶行列式，循環與對換保留不同方向；有限座標檢查非一般幾何證明，不從示意圖讀量值。
三角形 · qf-density13-triangle-cyclic-label-orientation · candidate
歐氏等單位正交座標；A、B、C按頂點索引1、2、3排列，points=[[0, 0], [1, 0], [0, -1]]。三點相異且非共線。依序求 (crossABC, crossBCA, crossACB) 有號整數，不把循環與交換標記混同。
(-1, -1, 1)
三種標記座標行列式=(-1, -1, 1)。各標記次序分別套鞋帶行列式，循環與對換保留不同方向；有限座標檢查非一般幾何證明，不從示意圖讀量值。
三角形 · qf-density13-triangle-cyclic-label-orientation · candidate
歐氏等單位正交座標；A、B、C按頂點索引1、2、3排列，points=[[0, 0], [1, 0], [0, 1]]。三點相異且非共線。依序求 (crossABC, crossBCA, crossACB) 有號整數，不把循環與交換標記混同。
(1, 1, -1)
三種標記座標行列式=(1, 1, -1)。各標記次序分別套鞋帶行列式，循環與對換保留不同方向；有限座標檢查非一般幾何證明，不從示意圖讀量值。
三角形 · qf-density13-triangle-cyclic-label-orientation · candidate
歐氏等單位正交座標；A、B、C按頂點索引1、2、3排列，points=[[0, 0], [1, 0], [0, 2]]。三點相異且非共線。依序求 (crossABC, crossBCA, crossACB) 有號整數，不把循環與交換標記混同。
(2, 2, -2)
三種標記座標行列式=(2, 2, -2)。各標記次序分別套鞋帶行列式，循環與對換保留不同方向；有限座標檢查非一般幾何證明，不從示意圖讀量值。
三角形 · qf-density13-triangle-cyclic-label-orientation · candidate
歐氏等單位正交座標；A、B、C按頂點索引1、2、3排列，points=[[0, 0], [1, 0], [0, 3]]。三點相異且非共線。依序求 (crossABC, crossBCA, crossACB) 有號整數，不把循環與交換標記混同。
(3, 3, -3)
三種標記座標行列式=(3, 3, -3)。各標記次序分別套鞋帶行列式，循環與對換保留不同方向；有限座標檢查非一般幾何證明，不從示意圖讀量值。
三角形 · qf-density13-triangle-cyclic-label-orientation · candidate
歐氏等單位正交座標；A、B、C按頂點索引1、2、3排列，points=[[0, 0], [1, 0], [0, 4]]。三點相異且非共線。依序求 (crossABC, crossBCA, crossACB) 有號整數，不把循環與交換標記混同。
(4, 4, -4)
三種標記座標行列式=(4, 4, -4)。各標記次序分別套鞋帶行列式，循環與對換保留不同方向；有限座標檢查非一般幾何證明，不從示意圖讀量值。
三角形 · qf-density13-triangle-cyclic-label-orientation · candidate
歐氏等單位正交座標；A、B、C按頂點索引1、2、3排列，points=[[0, 0], [1, 0], [0, 5]]。三點相異且非共線。依序求 (crossABC, crossBCA, crossACB) 有號整數，不把循環與交換標記混同。
(5, 5, -5)
三種標記座標行列式=(5, 5, -5)。各標記次序分別套鞋帶行列式，循環與對換保留不同方向；有限座標檢查非一般幾何證明，不從示意圖讀量值。
三角形 · qf-density13-triangle-cyclic-label-orientation · candidate
歐氏等單位正交座標；A、B、C按頂點索引1、2、3排列，points=[[0, 0], [1, 0], [0, 6]]。三點相異且非共線。依序求 (crossABC, crossBCA, crossACB) 有號整數，不把循環與交換標記混同。
(6, 6, -6)
三種標記座標行列式=(6, 6, -6)。各標記次序分別套鞋帶行列式，循環與對換保留不同方向；有限座標檢查非一般幾何證明，不從示意圖讀量值。
三角形 · qf-density13-triangle-cyclic-label-orientation · candidate
歐氏等單位正交座標；A、B、C按頂點索引1、2、3排列，points=[[0, 0], [1, 0], [0, 7]]。三點相異且非共線。依序求 (crossABC, crossBCA, crossACB) 有號整數，不把循環與交換標記混同。
(7, 7, -7)
三種標記座標行列式=(7, 7, -7)。各標記次序分別套鞋帶行列式，循環與對換保留不同方向；有限座標檢查非一般幾何證明，不從示意圖讀量值。
三角形 · qf-density13-triangle-cyclic-label-orientation · candidate
歐氏等單位正交座標；A、B、C按頂點索引1、2、3排列，points=[[0, 0], [1, 0], [0, 8]]。三點相異且非共線。依序求 (crossABC, crossBCA, crossACB) 有號整數，不把循環與交換標記混同。
(8, 8, -8)
三種標記座標行列式=(8, 8, -8)。各標記次序分別套鞋帶行列式，循環與對換保留不同方向；有限座標檢查非一般幾何證明，不從示意圖讀量值。
三角形 · qf-density13-triangle-cyclic-label-orientation · candidate
歐氏等單位正交座標；A、B、C按頂點索引1、2、3排列，points=[[0, 0], [1, 0], [0, 9]]。三點相異且非共線。依序求 (crossABC, crossBCA, crossACB) 有號整數，不把循環與交換標記混同。
(9, 9, -9)
三種標記座標行列式=(9, 9, -9)。各標記次序分別套鞋帶行列式，循環與對換保留不同方向；有限座標檢查非一般幾何證明，不從示意圖讀量值。
三角形 · qf-density13-triangle-cyclic-label-orientation · candidate
歐氏等單位正交座標；A、B、C按頂點索引1、2、3排列，points=[[0, 0], [1, 0], [0, 10]]。三點相異且非共線。依序求 (crossABC, crossBCA, crossACB) 有號整數，不把循環與交換標記混同。
(10, 10, -10)
三種標記座標行列式=(10, 10, -10)。各標記次序分別套鞋帶行列式，循環與對換保留不同方向；有限座標檢查非一般幾何證明，不從示意圖讀量值。
三角形 · qf-density13-triangle-cyclic-label-orientation · candidate
歐氏等單位正交座標；A、B、C按頂點索引1、2、3排列，points=[[0, 0], [1, 0], [0, 11]]。三點相異且非共線。依序求 (crossABC, crossBCA, crossACB) 有號整數，不把循環與交換標記混同。
(11, 11, -11)
三種標記座標行列式=(11, 11, -11)。各標記次序分別套鞋帶行列式，循環與對換保留不同方向；有限座標檢查非一般幾何證明，不從示意圖讀量值。
三角形 · qf-density13-triangle-cyclic-label-orientation · candidate
歐氏等單位正交座標；A、B、C按頂點索引1、2、3排列，points=[[0, 0], [1, 0], [0, 12]]。三點相異且非共線。依序求 (crossABC, crossBCA, crossACB) 有號整數，不把循環與交換標記混同。
(12, 12, -12)
三種標記座標行列式=(12, 12, -12)。各標記次序分別套鞋帶行列式，循環與對換保留不同方向；有限座標檢查非一般幾何證明，不從示意圖讀量值。
三角形 · qf-density13-triangle-cyclic-label-orientation · candidate
歐氏等單位正交座標；A、B、C按頂點索引1、2、3排列，points=[[0, 0], [1, 0], [0, 13]]。三點相異且非共線。依序求 (crossABC, crossBCA, crossACB) 有號整數，不把循環與交換標記混同。
(13, 13, -13)
三種標記座標行列式=(13, 13, -13)。各標記次序分別套鞋帶行列式，循環與對換保留不同方向；有限座標檢查非一般幾何證明，不從示意圖讀量值。
三角形 · qf-density13-triangle-cyclic-label-orientation · candidate
歐氏等單位正交座標；A、B、C按頂點索引1、2、3排列，points=[[0, 1], [0, 0], [1, 0]]。三點相異且非共線，vertex=1，M為對邊中點。依序求 (Mx, My, 第一對邊端點至M平方, 第二端點至M平方, vertex至M平方)，五項均為最簡有理數。
(1/2, 0/1, 1/4, 1/4, 5/4)
對邊中點與三段平方=(1/2, 0/1, 1/4, 1/4, 5/4)。座標和除二取得中點，用雙倍座標差平方除四求各段平方；有限座標檢查非一般幾何證明，不從示意圖讀量值。
三角形 · qf-density13-triangle-median-equality · candidate
歐氏等單位正交座標；A、B、C按頂點索引1、2、3排列，points=[[-1, 0], [0, 2], [2, 0]]。三點相異且非共線，vertex=2，M為對邊中點。依序求 (Mx, My, 第一對邊端點至M平方, 第二端點至M平方, vertex至M平方)，五項均為最簡有理數。
(1/2, 0/1, 9/4, 9/4, 17/4)
對邊中點與三段平方=(1/2, 0/1, 9/4, 9/4, 17/4)。座標和除二取得中點，用雙倍座標差平方除四求各段平方；有限座標檢查非一般幾何證明，不從示意圖讀量值。
三角形 · qf-density13-triangle-median-equality · candidate
歐氏等單位正交座標；A、B、C按頂點索引1、2、3排列，points=[[-2, 0], [3, 0], [0, 3]]。三點相異且非共線，vertex=3，M為對邊中點。依序求 (Mx, My, 第一對邊端點至M平方, 第二端點至M平方, vertex至M平方)，五項均為最簡有理數。
(1/2, 0/1, 25/4, 25/4, 37/4)
對邊中點與三段平方=(1/2, 0/1, 25/4, 25/4, 37/4)。座標和除二取得中點，用雙倍座標差平方除四求各段平方；有限座標檢查非一般幾何證明，不從示意圖讀量值。
三角形 · qf-density13-triangle-median-equality · candidate
歐氏等單位正交座標；A、B、C按頂點索引1、2、3排列，points=[[0, 4], [-3, 0], [4, 0]]。三點相異且非共線，vertex=1，M為對邊中點。依序求 (Mx, My, 第一對邊端點至M平方, 第二端點至M平方, vertex至M平方)，五項均為最簡有理數。
(1/2, 0/1, 49/4, 49/4, 65/4)
對邊中點與三段平方=(1/2, 0/1, 49/4, 49/4, 65/4)。座標和除二取得中點，用雙倍座標差平方除四求各段平方；有限座標檢查非一般幾何證明，不從示意圖讀量值。
三角形 · qf-density13-triangle-median-equality · candidate
歐氏等單位正交座標；A、B、C按頂點索引1、2、3排列，points=[[-4, 0], [0, 5], [5, 0]]。三點相異且非共線，vertex=2，M為對邊中點。依序求 (Mx, My, 第一對邊端點至M平方, 第二端點至M平方, vertex至M平方)，五項均為最簡有理數。
(1/2, 0/1, 81/4, 81/4, 101/4)
對邊中點與三段平方=(1/2, 0/1, 81/4, 81/4, 101/4)。座標和除二取得中點，用雙倍座標差平方除四求各段平方；有限座標檢查非一般幾何證明，不從示意圖讀量值。
三角形 · qf-density13-triangle-median-equality · candidate
歐氏等單位正交座標；A、B、C按頂點索引1、2、3排列，points=[[-5, 0], [6, 0], [0, 6]]。三點相異且非共線，vertex=3，M為對邊中點。依序求 (Mx, My, 第一對邊端點至M平方, 第二端點至M平方, vertex至M平方)，五項均為最簡有理數。
(1/2, 0/1, 121/4, 121/4, 145/4)
對邊中點與三段平方=(1/2, 0/1, 121/4, 121/4, 145/4)。座標和除二取得中點，用雙倍座標差平方除四求各段平方；有限座標檢查非一般幾何證明，不從示意圖讀量值。
三角形 · qf-density13-triangle-median-equality · candidate
歐氏等單位正交座標；A、B、C按頂點索引1、2、3排列，points=[[0, 7], [-6, 0], [7, 0]]。三點相異且非共線，vertex=1，M為對邊中點。依序求 (Mx, My, 第一對邊端點至M平方, 第二端點至M平方, vertex至M平方)，五項均為最簡有理數。
(1/2, 0/1, 169/4, 169/4, 197/4)
對邊中點與三段平方=(1/2, 0/1, 169/4, 169/4, 197/4)。座標和除二取得中點，用雙倍座標差平方除四求各段平方；有限座標檢查非一般幾何證明，不從示意圖讀量值。
三角形 · qf-density13-triangle-median-equality · candidate
歐氏等單位正交座標；A、B、C按頂點索引1、2、3排列，points=[[-7, 0], [0, 8], [8, 0]]。三點相異且非共線，vertex=2，M為對邊中點。依序求 (Mx, My, 第一對邊端點至M平方, 第二端點至M平方, vertex至M平方)，五項均為最簡有理數。
(1/2, 0/1, 225/4, 225/4, 257/4)
對邊中點與三段平方=(1/2, 0/1, 225/4, 225/4, 257/4)。座標和除二取得中點，用雙倍座標差平方除四求各段平方；有限座標檢查非一般幾何證明，不從示意圖讀量值。
三角形 · qf-density13-triangle-median-equality · candidate
歐氏等單位正交座標；A、B、C按頂點索引1、2、3排列，points=[[-8, 0], [9, 0], [0, 9]]。三點相異且非共線，vertex=3，M為對邊中點。依序求 (Mx, My, 第一對邊端點至M平方, 第二端點至M平方, vertex至M平方)，五項均為最簡有理數。
(1/2, 0/1, 289/4, 289/4, 325/4)
對邊中點與三段平方=(1/2, 0/1, 289/4, 289/4, 325/4)。座標和除二取得中點，用雙倍座標差平方除四求各段平方；有限座標檢查非一般幾何證明，不從示意圖讀量值。
三角形 · qf-density13-triangle-median-equality · candidate
歐氏等單位正交座標；A、B、C按頂點索引1、2、3排列，points=[[0, 10], [-9, 0], [10, 0]]。三點相異且非共線，vertex=1，M為對邊中點。依序求 (Mx, My, 第一對邊端點至M平方, 第二端點至M平方, vertex至M平方)，五項均為最簡有理數。
(1/2, 0/1, 361/4, 361/4, 401/4)
對邊中點與三段平方=(1/2, 0/1, 361/4, 361/4, 401/4)。座標和除二取得中點，用雙倍座標差平方除四求各段平方；有限座標檢查非一般幾何證明，不從示意圖讀量值。
三角形 · qf-density13-triangle-median-equality · candidate
歐氏等單位正交座標；A、B、C按頂點索引1、2、3排列，points=[[-10, 0], [0, 11], [11, 0]]。三點相異且非共線，vertex=2，M為對邊中點。依序求 (Mx, My, 第一對邊端點至M平方, 第二端點至M平方, vertex至M平方)，五項均為最簡有理數。
(1/2, 0/1, 441/4, 441/4, 485/4)
對邊中點與三段平方=(1/2, 0/1, 441/4, 441/4, 485/4)。座標和除二取得中點，用雙倍座標差平方除四求各段平方；有限座標檢查非一般幾何證明，不從示意圖讀量值。
三角形 · qf-density13-triangle-median-equality · candidate
歐氏等單位正交座標；A、B、C按頂點索引1、2、3排列，points=[[-11, 0], [12, 0], [0, 12]]。三點相異且非共線，vertex=3，M為對邊中點。依序求 (Mx, My, 第一對邊端點至M平方, 第二端點至M平方, vertex至M平方)，五項均為最簡有理數。
(1/2, 0/1, 529/4, 529/4, 577/4)
對邊中點與三段平方=(1/2, 0/1, 529/4, 529/4, 577/4)。座標和除二取得中點，用雙倍座標差平方除四求各段平方；有限座標檢查非一般幾何證明，不從示意圖讀量值。
三角形 · qf-density13-triangle-median-equality · candidate
歐氏等單位正交座標；A、B、C按頂點索引1、2、3排列，points=[[0, 13], [-12, 0], [13, 0]]。三點相異且非共線，vertex=1，M為對邊中點。依序求 (Mx, My, 第一對邊端點至M平方, 第二端點至M平方, vertex至M平方)，五項均為最簡有理數。
(1/2, 0/1, 625/4, 625/4, 677/4)
對邊中點與三段平方=(1/2, 0/1, 625/4, 625/4, 677/4)。座標和除二取得中點，用雙倍座標差平方除四求各段平方；有限座標檢查非一般幾何證明，不從示意圖讀量值。
三角形 · qf-density13-triangle-median-equality · candidate
歐氏等單位正交座標；A、B、C按頂點索引1、2、3排列，points=[[-13, 0], [0, 14], [14, 0]]。三點相異且非共線，vertex=2，M為對邊中點。依序求 (Mx, My, 第一對邊端點至M平方, 第二端點至M平方, vertex至M平方)，五項均為最簡有理數。
(1/2, 0/1, 729/4, 729/4, 785/4)
對邊中點與三段平方=(1/2, 0/1, 729/4, 729/4, 785/4)。座標和除二取得中點，用雙倍座標差平方除四求各段平方；有限座標檢查非一般幾何證明，不從示意圖讀量值。
三角形 · qf-density13-triangle-median-equality · candidate
歐氏等單位正交座標；A、B、C按頂點索引1、2、3排列，points=[[-14, 0], [15, 0], [0, 15]]。三點相異且非共線，vertex=3，M為對邊中點。依序求 (Mx, My, 第一對邊端點至M平方, 第二端點至M平方, vertex至M平方)，五項均為最簡有理數。
(1/2, 0/1, 841/4, 841/4, 901/4)
對邊中點與三段平方=(1/2, 0/1, 841/4, 841/4, 901/4)。座標和除二取得中點，用雙倍座標差平方除四求各段平方；有限座標檢查非一般幾何證明，不從示意圖讀量值。
三角形 · qf-density13-triangle-median-equality · candidate
歐氏等單位正交座標；A、B、C按頂點索引1、2、3排列，points=[[0, 16], [-15, 0], [16, 0]]。三點相異且非共線，vertex=1，M為對邊中點。依序求 (Mx, My, 第一對邊端點至M平方, 第二端點至M平方, vertex至M平方)，五項均為最簡有理數。
(1/2, 0/1, 961/4, 961/4, 1025/4)
對邊中點與三段平方=(1/2, 0/1, 961/4, 961/4, 1025/4)。座標和除二取得中點，用雙倍座標差平方除四求各段平方；有限座標檢查非一般幾何證明，不從示意圖讀量值。
三角形 · qf-density13-triangle-median-equality · candidate
歐氏等單位正交座標；A、B、C按頂點索引1、2、3排列，points=[[-16, 0], [0, 17], [17, 0]]。三點相異且非共線，vertex=2，M為對邊中點。依序求 (Mx, My, 第一對邊端點至M平方, 第二端點至M平方, vertex至M平方)，五項均為最簡有理數。
(1/2, 0/1, 1089/4, 1089/4, 1157/4)
對邊中點與三段平方=(1/2, 0/1, 1089/4, 1089/4, 1157/4)。座標和除二取得中點，用雙倍座標差平方除四求各段平方；有限座標檢查非一般幾何證明，不從示意圖讀量值。
三角形 · qf-density13-triangle-median-equality · candidate
歐氏等單位正交座標；A、B、C按頂點索引1、2、3排列，points=[[-17, 0], [18, 0], [0, 18]]。三點相異且非共線，vertex=3，M為對邊中點。依序求 (Mx, My, 第一對邊端點至M平方, 第二端點至M平方, vertex至M平方)，五項均為最簡有理數。
(1/2, 0/1, 1225/4, 1225/4, 1297/4)
對邊中點與三段平方=(1/2, 0/1, 1225/4, 1225/4, 1297/4)。座標和除二取得中點，用雙倍座標差平方除四求各段平方；有限座標檢查非一般幾何證明，不從示意圖讀量值。
三角形 · qf-density13-triangle-median-equality · candidate
歐氏等單位正交座標；A、B、C按頂點索引1、2、3排列，points=[[0, 19], [-18, 0], [19, 0]]。三點相異且非共線，vertex=1，M為對邊中點。依序求 (Mx, My, 第一對邊端點至M平方, 第二端點至M平方, vertex至M平方)，五項均為最簡有理數。
(1/2, 0/1, 1369/4, 1369/4, 1445/4)
對邊中點與三段平方=(1/2, 0/1, 1369/4, 1369/4, 1445/4)。座標和除二取得中點，用雙倍座標差平方除四求各段平方；有限座標檢查非一般幾何證明，不從示意圖讀量值。
三角形 · qf-density13-triangle-median-equality · candidate
歐氏等單位正交座標；A、B、C按頂點索引1、2、3排列，points=[[-19, 0], [0, 20], [20, 0]]。三點相異且非共線，vertex=2，M為對邊中點。依序求 (Mx, My, 第一對邊端點至M平方, 第二端點至M平方, vertex至M平方)，五項均為最簡有理數。
(1/2, 0/1, 1521/4, 1521/4, 1601/4)
對邊中點與三段平方=(1/2, 0/1, 1521/4, 1521/4, 1601/4)。座標和除二取得中點，用雙倍座標差平方除四求各段平方；有限座標檢查非一般幾何證明，不從示意圖讀量值。
三角形 · qf-density13-triangle-median-equality · candidate
歐氏等單位正交座標；A、B、C按頂點索引1、2、3排列，points=[[-20, 0], [21, 0], [0, 21]]。三點相異且非共線，vertex=3，M為對邊中點。依序求 (Mx, My, 第一對邊端點至M平方, 第二端點至M平方, vertex至M平方)，五項均為最簡有理數。
(1/2, 0/1, 1681/4, 1681/4, 1765/4)
對邊中點與三段平方=(1/2, 0/1, 1681/4, 1681/4, 1765/4)。座標和除二取得中點，用雙倍座標差平方除四求各段平方；有限座標檢查非一般幾何證明，不從示意圖讀量值。
三角形 · qf-density13-triangle-median-equality · candidate
歐氏等單位正交座標；A、B、C按頂點索引1、2、3排列，points=[[0, 22], [-21, 0], [22, 0]]。三點相異且非共線，vertex=1，M為對邊中點。依序求 (Mx, My, 第一對邊端點至M平方, 第二端點至M平方, vertex至M平方)，五項均為最簡有理數。
(1/2, 0/1, 1849/4, 1849/4, 1937/4)
對邊中點與三段平方=(1/2, 0/1, 1849/4, 1849/4, 1937/4)。座標和除二取得中點，用雙倍座標差平方除四求各段平方；有限座標檢查非一般幾何證明，不從示意圖讀量值。
三角形 · qf-density13-triangle-median-equality · candidate
歐氏等單位正交座標；A、B、C按頂點索引1、2、3排列，points=[[-22, 0], [0, 23], [23, 0]]。三點相異且非共線，vertex=2，M為對邊中點。依序求 (Mx, My, 第一對邊端點至M平方, 第二端點至M平方, vertex至M平方)，五項均為最簡有理數。
(1/2, 0/1, 2025/4, 2025/4, 2117/4)
對邊中點與三段平方=(1/2, 0/1, 2025/4, 2025/4, 2117/4)。座標和除二取得中點，用雙倍座標差平方除四求各段平方；有限座標檢查非一般幾何證明，不從示意圖讀量值。
三角形 · qf-density13-triangle-median-equality · candidate
歐氏等單位正交座標；A、B、C按頂點索引1、2、3排列，points=[[-23, 0], [24, 0], [0, 24]]。三點相異且非共線，vertex=3，M為對邊中點。依序求 (Mx, My, 第一對邊端點至M平方, 第二端點至M平方, vertex至M平方)，五項均為最簡有理數。
(1/2, 0/1, 2209/4, 2209/4, 2305/4)
對邊中點與三段平方=(1/2, 0/1, 2209/4, 2209/4, 2305/4)。座標和除二取得中點，用雙倍座標差平方除四求各段平方；有限座標檢查非一般幾何證明，不從示意圖讀量值。
三角形 · qf-density13-triangle-median-equality · candidate
歐氏等單位正交座標；A、B、C按頂點索引1、2、3排列，points=[[0, 25], [-24, 0], [25, 0]]。三點相異且非共線，vertex=1，M為對邊中點。依序求 (Mx, My, 第一對邊端點至M平方, 第二端點至M平方, vertex至M平方)，五項均為最簡有理數。
(1/2, 0/1, 2401/4, 2401/4, 2501/4)
對邊中點與三段平方=(1/2, 0/1, 2401/4, 2401/4, 2501/4)。座標和除二取得中點，用雙倍座標差平方除四求各段平方；有限座標檢查非一般幾何證明，不從示意圖讀量值。
三角形 · qf-density13-triangle-median-equality · candidate