Latest threads

• 一道立体几何和一道函数
• 内心证明三线段构成一直角三角形
• 摆线$\{az^m+bz^n:|z|=1\}$
• $\sum\frac{n!}{(x+1)(x+2)(x+3)(x+4)\cdots(x+n+2)}$
• 周期序列1,0,0,0,1,0,0,0,…
• $y=A \cos m x+B \sin m x$，$D_x^2 y+m^2 y=0$
• 将 LaTeX 宏（\lean, \leanok, \uses）与 Lean 声明关联，再由 plaTeX 渲染到 HTML
• Roth定理 存在三项成等差数列
• fat Cantor set
• 求递增函数使 $f(k+1)$ 与 $f(1),\dots,f(2k+1)$ 平均值之差的最小值最大化