αβ（β-α）って　2a=α＋βの時
（β-α）^2　＝　4a^2 -4αβより
（β-α）＝　２√（a^2 -αβ)

√（●）だから●≧０　つまり、a^2 ≧αβ
2a=α＋βだから　a^2 ≧α（2a-α）
a^2 -α（2a-α）≧０
（a-α)^2≧０
・・・あたりまえか・・・何かαとβの条件が出るかも・・・と思ったが・・・