一道北方数学奥林匹克试题的探究
題目?（2023年第十八届中国北方数学奥林匹克第2题）设a，b，c∈（0，1），ab+bc+ca=4abc，求证：
a+b+c≥1－a+1－b+1－c.（1）
不等式（1）左边含有一个根式项，右边含有三个根式项，从右边入手，利用柯西不等式即可获证.
证法1：由已知条件及柯西不等式得
4=1a+1b+1c≥9a+b+c，即a+b+c≥94，所以1－a+1－b+1－c≤3［3－（a+b+c）］≤3（3－94）=94≤a+b+c，即（1）成立.
如果从左边入手，还能证明吗？答案是肯定的.
证法2：由已知条件得1a+1b+1c=4，由柯西不等式得a+b+c=（a+b+c）（1a+1b+1c－3）=（a+b+c）（1－aa+1－bb+1－cc）
≥（1－a+1－b+1－c）2=1－a+1－b+1－c，即（1）成立.
不等式（1）两边都含有根号，从脱掉根号的角度考虑，也可以证明.
证法3：对不等式（1）两边取平方，等价于
a+b+c≥（1－a+1－b+1－c）2，可转化为
a+b+c≥3［（1－a）2+（1－b）2+（1－c）2］，等价于
a+b+c≥3（1－a+1－b+1－c），等价于a+b+c≥94，此式由
a+b+c=abc（1bc+1ca+1ab）≥9abcbc+ca+ab=94即得.所以（1）成立.
不等式（1）右边含有三个根号，联想到均值不等式，也可以获证.
证法4：由1－a+14≥1－a，1－b+14≥1－b，1－c+14≥1－c得154－（a+b+c）≥1－a+1－b+1－c，由此知不等式（1）可转化为a+b+c≥154－（a+b+c），等价于（a+b+c）2+a+b+c－154≥0，等价于
（a+b+c－32）（a+b+c+52）≥0，此式由a+b+c=abc（1bc+1ca+1ab）≥9abcbc+ca+ab=32得出.所以（1）成立.
推广?设a，b，c∈（0，m），m34，ab+bc+ca=4abc，求证：（4m－3）a+b+c≥m－a+m－b+m－c.（2）
证明：由已知条件及柯西不等式得4=1a+1b+1c≥9a+b+c，即a+b+c≥94，所以m－a+m－b+m－c≤3［3m－（a+b+c）］≤3（3m－94）=（4m－3）×94≤（4m－3）（a+b+c），即（2）成立.
变式1?设a，b，c∈（0，1），ab+bc+ca=4abc，求证：
74（a+b+c）≥1－a2+1－b2+1－c2.（3）
证明：由已知条件及柯西不等式得4=1a+1b+1c≥9a+b+c，即a+b+c≥94，由此得a2+b2+c2≥13（a+b+c）2≥13×（94）2=2716，
所以1－a2+1－b2+1－c2≤3［3－（a2+b2+c2）］≤3（3－2716）=74×94≤74（a+b+c），即（3）成立.
变式2?设a，b，c∈（0，1），ab+bc+ca=4abc，求证：
43（ab+bc+ca）≥1－a+1－b+1－c.（4）
证明：由已知条件及柯西不等式得
4=1a+1b+1c≥9a+b+c，即a+b+c≥94，由此得
（ab+bc+ca）2≥3abc（a+b+c）≥34（ab+bc+ca）×94，即ab+bc+ca≥2716，
所以1－a+1－b+1－c≤3［3－（a+b+c）］≤3（3－94）
=43×2716≤43（ab+bc+ca），即（4）成立.
变式3?设a，b，c∈（0，1），ab+bc+ca=4abc，求证：
73（a+b+c）≥1－ab+1－bc+1－ca.（5）
证明：由已知条件及柯西不等式得
4=1a+1b+1c≥9a+b+c，即a+b+c≥94，由此得（ab+bc+ca）2≥3abc（a+b+c）≥34（ab+bc+ca）×94，即ab+bc+ca≥2716，
所以1－ab+1－bc+1－ca≤3［3－（ab+bc+ca）］≤3（3－2716）=74×94≤43（a+b+c），即（5）成立.
变式4?设a，b，c∈（0，1），ab+bc+ca=4abc，求证：
529（a+b+c）≥1ab－1+1bc－1+1ca－1.（6）
证明：由已知条件及柯西不等式得
4=1a+1b+1c≥9a+b+c，即a+b+c≥94，所以1ab－1+1bc－1+1ca－1≤3（1ab+1bc+1ca－3）≤3［13（1a+1b+1c）2－3］=3（13×42－3）=529×94≤529（a+b+c），即（6）成立.
变式5?设a，b，c∈（0，1），ab+bc+ca=4abc，求证：
37（a+b+c）≥4（1－a2b+1－b2c+1－c2a）.（7）
证明：由已知条件、柯西不等式及均值不等式得
4=1a+1b+1c≥9a+b+c，4abc=ab+bc+ca≥33（abc