对于定义在区间 D 上的函数 f(x),若满足:∀x1,x2∈D 且 x1<x2,都有 f(x1)⩽f(x2),则称函数 f(x) 为区间 D 上的“非减函数”,若 f(x) 为区间 [0,2] 上的“非减函数”,且 f(2)=2,f(x)+f(2−x)=2,又当 x∈[32,2] 时,f(x)⩽2(x−1) 恒成立,下列命题中正确的有( )
A.f(1)=1
B.∃x0∈[32,2], f(x0)<1
C.f(14)+f(23)+f(2518)+f(74)=4
D.∀x∈[0,12],f(f(x))⩽−f(x)+2
答案 ACD.
解析 对于选项 A,在 f(x)+f(2−x)=2 中令 x=1,可得 f(1)=1,选项正确;
对于选项 B,由于当 x∈[32,2] 时,f(x)⩽2(x−1) 恒成立,从而f(32)⩽2(32−1)=1,
又函数 f(x) 为区间 D 上的“非减函数”,从而f(32)⩾f(1)=1,
因此 f(32)=1,进而当 x∈[32,2] 时,有f(x)⩾f(32)=1,
选项错误;
对于选项 C,由 f(32)=f(12)=1,结合 f(x) 是非减函数,可得f(x)=1, x∈[12,32],
从而f(23)=f(2518)=1,
而 f(14)+f(34)=1,选项正确;
对于选项 D,由 f(12)=1,可得当 x∈[0,12] 时,有f(x)⩽f(12)=1,
从而f(f(x))⩽f(1)=1⩽−f(x)+2,
选项正确.
综上所述,正确的选项为ACD.