以下是绿色植物植株、花、果实、种子的示意图,请据图回答下列问题:
①命题“∃x0∈R, x02 +1>3x0”的否定是“∀x∈R,x2+1≤3x”;
②“函数f(x)=cos2ax-sin2ax的最小正周期为π”是“a=1”的必要不充分条件;
③x2+2x≥ax在x∈1,2上恒成立⇔(x2+2x)min≥(ax)max在x∈1,2上恒成立;
④“平面向量a与b的夹角是钝角”的充要条件是“a·b<0”.
唐朝时期发明的筒车的用途是( )