用辅助角公式
asinx+bcosx=√(a²+b²sin(x+y)
其中tany=b/a
所以原式=-(3sinα-4cosα)-13
=-√(3²+4²)sin(α+β)-13
=-5sin(α+β)-13
其中tanβ=-4/3
所以最小值=-5-13=-18