用行列式证三数成等差数列

定理如果a_1、b_1、c_1、三数成等差数列(a_1、b_1、c_1为互不相等的三数),那么a_2、b_2、c_2三数成等差数列的充要条件是证明 (充分性):设a_1、b_1、c_1三数成等差数列的公差为d,则b_1-a_1=d=c_1-b_1,c_1-a_1=2d。