若三角形ABC的三边满足a^2 b^2 c^2=12a 16b 20c-200,