柯西是一位伟大的法国数学家，许多数学定理和结论都以他的名字命名，柯西不等式就是其中之一，它在数学的众多分支中有精彩应用，柯西不等式的一般形式为：设，则当且仅当或存在一个数，使得时，等号成立.
(1)请你写出柯西不等式的二元形式；
(2)设P是棱长为的正四面体内的任意一点，点到四个面的距离分别为、、、，求的最小值；
(3)已知无穷正数数列满足：①存在，使得；②对任意正整数，均有.求证：对任意，，恒有.