伴侣点

平面点都有伴侣了。
发布于 2023-03-09

圆锥曲线简化模型

硬算也不是不可以。
发布于 2023-03-08

自极三角形

看上去十分简单。
发布于 2023-03-07

极点极线方程

需要出神入化的同构技巧。
发布于 2023-03-06

e² - 1 的应用

同时适用于椭圆和双曲线。
发布于 2023-03-05

平面几何

常用的平面几何结论。
发布于 2023-02-21

立体几何

常用的立体几何结论。
发布于 2023-02-18

哥德尔不完备性定理的证明

公理系统中竟然存在「既不能证明,又不能证伪」的命题 ...
发布于 2023-01-09