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

2 . 设集合是一个非空数集，对任意，定义，称为集合的一个度量，称集合为一个对于度量而言的度量空间，该度量空间记为.
定义1：若是度量空间上的一个函数，且存在，使得对任意，均有：，则称是度量空间上的一个“压缩函数”.
定义2：记无穷数列为，若是度量空间上的数列，且对任意正实数，都存在一个正整数，使得对任意正整数，均有，则称是度量空间上的一个“基本数列”.
(1)设，证明：是度量空间上的一个“压缩函数”；
(2)已知是度量空间上的一个压缩函数，且，定义，，证明：为度量空间上的一个“基本数列”.