解:分析法:

+

≥9?

≥9

反证法:假设

+

<9,通分得

<9.
∵0<a<1,∴1+3a<9a(1-a),整理得(3a-1)
2<0,这与平方数不小于0矛盾.
∴假设不成立,则

+

≥9.
综合法:由(3a-1)
2≥0,变形得1+3a≥9a(1-a).
∵0<a<1,∴

≥9,即

+

≥9.
分析:分析法是从结论出发找出要证结论的充分条件;反证法是假设结论不成立,从假设出发:同分;两边同时乘以a(1-a);得到不成立的结论,从而得证;综合法即将分析法的每一步倒过来.
点评:本题考查三种证明方法的具体步骤、区别、联系.注意分析法的书写格式;反证法的步骤.