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

来源: 2025-11-20 18:36:04 [旧帖] [给我悄悄话] 本文已被阅读: