一个三角形ABC,角C=2角A,求证AB^2-AC^2=AC×BC