（2013•乐山二模）已知数列A：a1，a2，…，an（0≤a1＜a2＜…＜an，n≥3）具有性质P：对任意i，j（1≤i≤j≤n），aj+ai与aj-ai两数中至少有一个是该数列中的一项．现给出以下四个命题：①数列

Question

（2013•乐山二模）已知数列A：a₁，a₂，…，a_n（0≤a₁＜a₂＜…＜a_n，n≥3）具有性质P：对任意i，j（1≤i≤j≤n），a_j+a_i与a_j-a_i两数中至少有一个是该数列中的一项．现给出以下四个命题：
①数列0，1，3具有性质P；
②数列0，2，4，6具有性质P；
③若数列A具有性质P，则a₁=0；
④若数列a₁，a₂，a₃（0≤a₁＜a₂＜a₃）具有性质P，则a₁+a₃=2a₂．
其中真命题有______．

Answer 1

①中取1和3两个元素验证，发现不正确；
②显然满足题意；
③若数列A具有性质P，则a₁=0，所以对任意i，j（1≤i≤j≤n），a_j+a_i与a_j-a_i两数中至少有一个是该数列中的一项．
④数列是等差数列，经验证满足题意；
故答案为：②③④．