在三角形ABC中,角A、角B、角C所对的长边分别为a、b、c,求证: