（1）a，b，c∈（0，1），∴1-a＞0，b＞0．

∵(1-a)b＞

1

4

，∴

(1-a)+b

2

≥

(1-a)b

＞

1 4

=

1

2

．

故

(1-a)+b

2

＞

1

2

成立．

（2）证明：假设（1-a）b，（1-b）c，（1-c）a三数都大于

1

4

，由（1）得

(1-a)+b

2

＞

1

2

，

同理可得

(1-b)+c

2

＞

1

2

，

(1-c)+a

2

＞

1

2

，

把这三个不等式相加可得

(1-a)+b

2

+

(1-b)+c

2

+

(1-c)+a

2

＞

3

2

，即

3

2

 ＞

3

2

，矛盾，

从而得到假设不成立，即（1-a）b，（1-b）c，（1-c）a三数中至少有一个小于或等于

1

4

．