已知ABC是分别是三角形的ABC的三个内角