B=π/3
ksinBsinC=cos²A-cos²B+sin²C
降次:2ksinBsinC=cos2A-cos2C+1-cos2B
√3ksinC=2sin(A+C)sin(C-A)+3/2
√3ksinC=√3sin(C-A)+3/2
A+C=2π/3
B=π/3
ksinBsinC=cos²A-cos²B+sin²C
降次:2ksinBsinC=cos2A-cos2C+1-cos2B
√3ksinC=2sin(A+C)sin(C-A)+3/2
√3ksinC=√3sin(C-A)+3/2
A+C=2π/3