>>545
3つの正の解をα，β,γとすると
ab/c=(α+β+γ)(αβ+βγ+γα)/αβγ=
(α+β+γ)(1/α+1/β+1/γ)≧(1+1+1)^2=9 (コーシ−シュワルツより)