對於定義域為[0, 1]的函數f(x)，如果同時滿足以下三條：
①對任意的x∈[0, 1]，總有f(x)≥0
②f(1)=1
③若x1≥0，x2≥0，x1+x2≤1，都有f(x1+x2)≥f(x1)+f(x2)成立
則稱函數為美好函數

若函數f(x)為美好函數，則f(0)=0
若函數f(x)為美好函數，且∃x0∈[0, 1]，使得f(f(x0))=x0，則f(x0)=x0

定義出處：
2014級綿陽二診理科數學第15題。
http://wenku.baidu.com/link?url=P1tpMhK-phHKXHE0w9hgjL_aEGChhSIwQZJetgpJDo49QbNQ_8PI_RcI6Nb9piJ_EgKjo6VUMkRrKFkUl6IWtBmyhW1G_8mkwT9lboncjxq