狗了一下 tan15=2-sqrt(3), 就很容易了。

來源: 2025-11-20 18:36:04 [舊帖] [給我悄悄話] 本文已被閱讀: