计算 `tan 12^@`, 一种方法是视 `12 = 30 - 18`, `tan 12^@` `= (-sqrt 3 + sqrt(5+2sqrt 5))/(1+sqrt(15+6sqrt 5))` `quad cdots (1)`
`= (3 sqrt 3 + sqrt 15 - 2 sqrt(5 + 2sqrt 5))/(7+3sqrt 5)` `= (3 sqrt 3 - sqrt 15 + (3sqrt 5-7)sqrt(5+2sqrt 5))/2` `quad cdots (2)`. 问题是, 假如只知道最后一个根式 (2), 如何逆推得到第一个根式 (1)?

有一种说法称, `"e"` 进制是最高效的进制, 依据何在?

`n` 位的 `r` 进制数共有 `r^n` 个之多, 为了表示它, 需要消耗 `r * n` 的存储空间. 比如, 可以用下面的 `3 xx 4` 矩阵表示 3 进制数 (2102)3: `[0, 0, 1, 0; 0, 1, 0, 0; 1, 0, 0, 1]`. 问题转化为 `r^n = c` 为定值时, 求 `r n` 的极小值. 取对数有 `n ln r = ln c`, 于是 `r n = r (ln c)/(ln r) := f(r)`, 令 `f'(r) = 0`, 解得 `r = "e"`. 在限定进制为整数的情况下, 有 `f(2) = 2/(ln 2) ln c gt 3/(ln 3) ln c = f(3)`, 因此三进制从某种意义上 "优于" 二进制.

`ABDC` 是圆内接四边形, `AB, CD` 交于 `P`, 且 `AP = AC`. `BC` 中点是 `E`, `vec(EF) = vec(EA) + vec(ED)`. 证明: `PF _|_ BC`.

`vec(PF) = vec(PE) + vec(EF)` `= 1/2(vec(PB)+vec(PC)) + vec(EA) + vec(ED)` `= 1/2(vec(PB)+vec(PC)) -1/2(vec(AB)+vec(AC)) + vec(EC) + vec(CD)` `= 1/2(vec(PA)+vec(PC)) -1/2(vec(PC)-vec(PA)) + 1/2(vec(PC)-vec(PB)) + vec(PD)-vec(PC)` `= vec(PA) + vec(PD) - 1/2(vec(PB)+vec(PC))` 利用割线定理有 `vec(PA) * vec(PB) = vec(PC) * vec(PD)`, 分别记 `vec(PA), cdots, vec(PD)` 的长度为 `a, b, c, d`, `/_APC = theta`, 于是 `vec(PF)*vec(BC)` `= (vec(PA) + vec(PD) - 1/2(vec(PB)+vec(PC))) * (vec(PC)-vec(PB))` `= (a c - b d) cos theta + 1/2(b^2-c^2)`. 由余弦定理 `cos theta = (a^2+c^2-a^2)/(2a c) = c/(2a)` 和割线定理 `a b = c d`, 上式等于 `1/2(c^2-b^2) + 1/2(b^2-c^2) = 0`.

[题源 brilliant.org] 设 `a/(b+c) + b/(c+a) + c/(a+b) = 1`, 求 `a^2/(b+c) + b^2/(c+a) + c^2/(a+b) = ?`.

记 `x = a/(b+c)`, `y = b/(c+a)`, `z = c/(a+b)`, 于是 `a x + b y + c z` `= (a+b+c) (x+y+z) - x(b+c) - y(c+a) - z(a+b)` `= (a+b+c) - a - b - c = 0`.

平面上到 `n` 个点距离之和为定值的点的轨迹称为 `n`-ellipse: `sum_(k=1)^n sqrt((x-x_k)^2+(y-y_k)^2) = c`. (和 hyper ellipse (super ellipse) `|x/a|^n + |y/b|^n = 1` 区别).

证明: `0.5^(0.4) gt log_(0.4) 0.5`.

已知 `{2^x+3^y = 12; 2^y+3^x = 18:}` 求 `(x+y)^(x+y)`.

等腰三角形 `ABC` 的顶角 `/_A = alpha`, `0 lt alpha lt pi/3`. `D` 在 `AB` 上, `CD = CB`, `/_BCD = alpha`. `E` 在 `AC` 上, `AD = EC`. 求 `/_CDE`.

在 `triangle ADE`, `triangle CDE` 中分别使用正弦定理...

设多项式 `f` 满足 `f(x+1) = f(x)`, 则 `f` 是常数.

反设 `f` 的次数为 `n ge 1`. 由代数基本定理, `f` 有一根 `a in CC`. 由 `f` 的周期性, `a + k`, `k in ZZ` 都是 `f` 的根, 但 `f` 的根最多只有 `n` 个, 矛盾. 因此 `f` 是常数.

由 Liouville 定理, 只需证 `f` 是有界整函数: 首先它在整个复平面上可微; 其次 `f(x)` 在 `|x| le 1` 时有界, 因而在整个复平面上有界.

极限 `lim_(u+v to 0) u/v + v/u` 不存在.

`f'(x) = (f(x+h) - f(x-h))/(2h)`.

证明 `sqrt 5 + sqrt(22+2sqrt5)` `= sqrt(11+2sqrt29)` `+ sqrt(16-2sqrt29+2sqrt(55-10sqrt29))`.

抛物线 `y = x^2` 中有一系列圆 `omega_n`, 半径为 `r_n`, `n = 1, 2, 3, cdots`. 其中序号相邻的两圆相切. 又, 每个圆都和抛物线在左右两边相切. 若 `r_1 = 1`, 证明: `r_n = n`.

考虑圆 `omega_n`. 设它的圆心纵坐标为 `y_n`, 与抛物线在第一象限的切点为 `(x_n, x_n^2)`. 由三角形相似 `x_n/(y_n - x_n^2) = 2 x_n` `rArr y_n - x_n^2 = 1/2`. 由勾股定理 `1/4 = (y_n - x_n^2)^2 = r_n^2 - x_n^2`. 两式消去 `x_n` 得 `y_n = r_n^2 + 1/4`. 联系等式 `y_n = y_(n-1) + r_(n-1) + r_n` 得 `(r_n - 1/2)^2` `= y_(n-1) + r_(n-1)` `= (r_(n-1) + 1/2)^2`, 即 `r_n = r_(n-1) + 1`. 由归纳法显然有 `r_n = n`.

模函数 记 `K = K(k)` (第一类椭圆积分), `K' = K(k') = K(sqrt(1-k^2))`, `omega = "i"K' // K`, 则 `k, k'` 可表为 `omega` 的函数: `varphi(omega) = root 4 k`, `quad psi(omega) = root 4(k')`. 这是两个全纯的复变函数, 称为模函数. 记 `q = "e"^("i"pi omega)`, 可定义 `q`-级数 `varphi(omega) = sqrt2 q^(1/8) sum q^(2 n^2 + n) // sum q^(n^2)`,
`psi(omega) = sum (-1)^n q^(2n^2) // sum q^(n^2)`. 模函数满足函数方程 `{ varphi^8 + psi^8 = 1; varphi(-1//omega) = psi(omega); varphi(omega+1) = "e"^("i"pi//8) varphi // psi; psi(omega+1) = 1//varphi :}`

设 `x_0 = 1`, `x_(n+1) = a^(x_n)`, `a gt 0`. 讨论 `x_n` 的极限.

  1. 如果极限存在, 将收敛到 `a^x` 的不动点. `a^x` 在 `b` 处的切线为 `y - a^b = (a^b ln a)(x-b)`, 因此 `a^x` 和 `x` 相切当且仅当 `{ a^b ln a = 1; a^b(1- b ln a) = 0; :}` 由第二式得 `b ln a = 1`, `a^b = "e"`, 再由第一式 `a = "e"^(1//"e")`. 因此 `a gt c = "e"^(1//"e")` 时, `a^x` 没有不动点, 数列发散; `a = c` 时, 数列有唯一的不动点 `"e"`. `a lt c` 时, 数列有两个不动点.
  2. 下面设 `a le c`, 讨论极限的存在性. ??, 因此数列在 `a in [(1//"e")^"e", "e"^(1//"e")]` 时收敛, `a in (0, (1//"e")^"e")` 时在两点间振荡.

三角形面积的 Heron 公式 中乘积 `(a+b+c)(-a+b+c)(a-b+c)(a+b-c)` 的对称性应该由什么群刻画? (`C_3`?)

博弈论的 von Neumann 定理 设矩阵 `bm X = (x_(i j))_(m xx n)` 的每一行都非负单增, 即 `0 le x_(i 1) le x_(i 2) le cdots le x_(i n)`, `quad i = 1, 2, cdots, m`. 又设 `(y_(i j))_(m xx n)` 的第 `i` 行是 `bm X` 第 `i` 行的任意排列, `i = 1, 2, cdots, m`, 则 `sum_(j=1)^n prod_(i=1)^m x_(i j)` `ge sum_(j=1)^n prod_(i=1)^m y_(i j)`.

Kummer 定理 `{::}_2 F_1(x, -x";" x+n+1";"-1)` `= (Gamma(x+n+1)//Gamma(n+1))/(Gamma(x+n/2+1)//Gamma(n/2+1))`. 或者 `{::}_2 F_1(alpha, beta";" 1+alpha-beta";"-1)` `= (Gamma(1+alpha-beta)//Gamma(1+alpha))/(Gamma(1+alpha/2-beta)//Gamma(1+alpha/2))`.

方阵 `bm A, bm B` 可交换, 则它们可以表为同一矩阵的多项式吗? 是否存在 `bm X, f, g` 使用 `f(bm X) = bm A`, `g(bm X) = bm B`?

[来自 Lagrange] 求解矩阵方程 `bm X^2 = bm B`, `"e"^(bm A) = bm B`.

`sum_(n ge 1) H_n^2/n^2 = 17/4 zeta(4) = 17/360 pi^4`.