设左臂长x,右臂长y,则：
（1）agx=mgy,即ax=my；
（2）bgy=mgx,即by=mx；
所以a=my/x,b=mx/y,a+b=my/x+mx/y;
因为y/x+x/y>=2恒成立；
所以a+b>=2m.