求证“一个圆内内接一个任意四边形ABCD,则该四边形对角线之积等于对边乘积之和(AC*BD=AB*CD+AD*BC)”