Latest threads

• 两条二次曲线的交点均有理的条件
• $P(x)=x^4+4px^3-4qx-1$有重根的条件$(p+q)^{2/3}-(p-q)^{2/3}=1$
• 一个不定方程的求解
• 平行证切线
• 自动生成-站点的技术文档
• 椭圆及其倒焦线的定角结论
• 撰写 Lean 证明脚本
• 取点连线游戏
• 一道有关塞瓦三角形的几何不等式
• Frobenius 硬币兑换问题