如图，在Rt△ABC中，∠ACB=90°，AB的垂直平分线DE交BC的延长线于F，若∠F=30°，DE=1，则EF的长是____ ．
下列各数中，无理数的是（ ）
唐朝初期，下列名称中，还未出现的是（ ）
以下对某些实验操作的说法，不正确的是（ ）
(ω>0)在区间
上单调递增，在区间
上单调递减，则
( )
