△ABC中各角对边长度为a,b,c,I是内心,∠ACB=60度,∠ABC=2∠BAC, 求证CI^2=a^2+c^2-b^2

天山草

注：程序中 CI2 表示 \(CI^2\)， AB 表示 \(AB^2\)，余类推。