マジレスすると、代数的不等式の常套手段だからとりあえず平方完成を試みただけだと思う