会计报表软件的工作流程可分为四步，即报表格式及数据处理公式设置、报表名称登记、报表编制、报表输出。

设ψ(X)=XAX^T，φ(X)=XAX^T是正定二次型，其中A=(a_ij)，B=(b_ij)，令c_ij=a_ijb_ij，以C=(c_ij)作二次型f(X)=XCX^T，证明：f是正定的．