回复 2# kuing
根据那帖 4# 及 9# 的结论,对本题设 `\angle ACP=\theta`,则取最小值时
\[\tan\theta=\frac{-3+\sqrt{17}}4,\]
此时折痕
\[DE=\frac32\tan\theta\sqrt{\tan^2\theta+1}=\frac3{16}\bigl(-3+\sqrt{17}\bigr)\sqrt{\frac32\bigl(7-\sqrt{17}\bigr)}=\frac38\sqrt{\frac32\bigl(71-17 \sqrt{17}\bigr)}\approx 0.43745.\]
结果真丑…… |