.
 .
  .
 . Но 
 фактически лишнее неравенство, оно выполняется автоматически потому, что 
  , ибо полный квадрат всегда неотрицателен.
                                                
  .
 .
  .
 . Но 
 фактически лишнее неравенство, оно выполняется автоматически потому, что 
  , ибо полный квадрат всегда неотрицателен.