在平面直角坐标系中,已知直线的参数方程是(为参数);以 为极点,轴正半轴为极轴的极坐标系中,圆的极坐标方程为.由直线上的点向圆引切线,求切线长的最小值.
函数的最大值为,最小值为,求的值.
求证:
证明:
证明:。