2023.5.1 闲话

今日，北京大学的韦神（韦东奕）出了一道题，引起众多数学爱好者广泛关注。

具体内容及其结果请见各大网站评论。

---

题目

设 \(a_1\)，\(a_2\)，…… \(a_n\) 为 \(n\) 个实数，且都落在区间 \((-1,1)\) 里。

（1）证明：

\(\prod_{1 \le i,j \le n} \frac{1+a_ia_j}{1-a_ia_j} > 1\)

（2）找出以上不等式中等号成立的充分必要条件。

---

upd 2023.5.15: 感谢 jijidawang 的提示，已修正错误。

\(\color{ff0066}"答案"\) ：https://www.luogu.com.cn/paste/rxmtnbb3

大家如果有更好的解题方法，请打在评论区。