已知双曲线C:x^2/4-y^2=1,P是C上任一点,求证:点P到双曲线C的两条渐近线的距离的乘积是一个常数.