解析几何中几类重要问题的解法和技巧

例1 已知实数A、B、C满足A^2+B^2=2C^2，求证直线Ax+By+C=0与圆x^2+y^2=1交于不同两点P、Q，并求弦PQ的长。