二次式的根为 cosα±3sinα\cos\alpha\pm\sqrt3\sin\alphacosα±3sinα,故不等式在两根之间成立。若 a≤1a\le1a≤1,整个三角形都在以 AAA 为圆心的单位圆盘内,且锐角 α\alphaα 时上根大于 111,覆盖显然成立。若 a>1a>1a>1,下根不超过 111,下界自动满足。因此只剩 a≤cosα+3sinαa\le\cos\alpha+\sqrt3\sin\alphaa≤cosα+3sinα。