Latest threads

• 单位圆被$Z↦aZ^m+bZ^n$映射到摆线
• $\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)$ 平均值之差的最小值最大化
• \( x^2 + 5y^2 = p \) 有整数解
• 倒演证明以fregier点相关的定角问题