                                                                                                                              
     a b c          b2 x2 + b2+c2-a2 x+c2 =0    
   b        b∨0   
b2 x2 + b2 +c2 -a 2  x+c2 =0
             
      b2 +c2 -a2  2 -4b2 c2 ∧0
    b+c 2 -a2    b-c 2 -a2  ∧0  * 
     a b c    b+c∨a  |b-c∧a    b+c 2∨a 2 b-c 2∧a2   b+c 2-a2∨0 b-c 2∧0     *          
                                        