已知，且．
（1）试利用基本不等式求的最小值；
（2）若实数满足，求证：．