16、命題：已知a、b為實數，若x²+ax+b≤0有非空解集，則a²-4b≥0，寫出該命題的逆命題、否命題、逆否命題，并判斷這些命題的真假．

已知數列{a_n}單調遞增，且各項非負，對于正整數K，若任意的i，j（1≤i≤j≤K），a_j-a_i仍是{a_n}中的項，則稱數列{a_n}為“K項可減數列”．
（1）已知數列{a_n}是首項為2，公比為2的等比數列，且數列{a_n-2}是“K項可減數列”，試確定K的最大值；
（2）求證：若數列{a_n}是“K項可減數列”，則其前n項的和Sn=

n

2

an(n=1，2，…，K)；
（3）已知{a_n}是各項非負的遞增數列，寫出（2）的逆命題，判斷該逆命題的真假，并說明理由．

命題：已知a、b為實數，若x²+ax+b≤0 有非空解集，則a²-4b≥0，寫出該命題的逆命題、否命題、逆否命題，并判斷這些命題的真假．