| 编号 | 名称 | 标签 | 来源 |
|---|---|---|---|
| 003A | Sisyphus 数字黑洞 | 证明题数论 |  admin |
| 0083 | Gauss 引理 | 证明题数论 | admin |
| 0084 | Eisenstein 判别法 | 证明题数论 | admin |
| 0089 | 欠债还钱 | 概率论证明题 |  Liu One |
| 0098 | 两对相等边证等外角 | 证明题平面几何 | admin |
| 00B8 | 四等边到一等边 | 证明题平面几何 | admin |
| 00BF | Sylvester-Gallai 定理 | 证明题平面几何 | admin |
| 00C0 | 反比例增速数列，求证元素范围 | 代数证明题数列 | admin |
| 00CA | 平方立方差递减数列 | 代数证明题数列 | Liu One |
| 00CE | 过高线中点直线交于圆，求证切线 | 证明题平面几何 | Liu One |
| 00D3 | Euler 函数求和公式 | 证明题数论 | admin |
| 00D5 | Euler 函数素因子展开公式 | 证明题数论 | admin |
| 00D6 | 2026 年高考数学全国 I 卷压轴 | 数学分析证明题 | admin |
| 00D7 | Sylvester 惯性不等式 | 代数证明题高等代数二次型 | admin |
| 00D8 | 平移主对角线上元素使实对称矩阵正定 | 代数证明题高等代数二次型 | admin |
| 00D9 | 二次型非零零点存在引理 | 代数证明题高等代数二次型 | admin |
| 00DA | 过中位线上点作垂直，求证平行 | 证明题平面几何 | admin |
| 00DB | 矩阵主对角线与二阶主子式和为零，求证零矩阵 | 代数证明题高等代数二次型 | Liu One |
| 00DC | Hadamard 不等式的正定矩阵情形及其推论 | 代数证明题高等代数二次型 | Liu One |
| 00DD | 三心证等线段 | 证明题平面几何 | admin |
| 00DE | 扇形中两角平分线，已知等线段证线段比 | 证明题平面几何 | admin |
| 303 | 无三连子集极值不等式 | 不等式复数证明题 |  HuR蛋白 |
| 427 | 三次方程有关的证明 | 不等式证明题 | HuR蛋白 |
| 529 | 嵌套根式的5-29恒等式 | 恒等式证明题根式 | HuR蛋白 |
| 618 | 复向量乘积的黄金下界不等式 | 不等式复数证明题 | HuR蛋白 |