x²-（a+c）x-b²+ac=0
x=[（a+c）±√(a+c)²+4b²-4ac]／2
x₁≥ x₂
x1=[（a+c）+√(a+c)²+4b²-4ac]／2
x2=[（a+c）-√(a+c)²+4b²-4ac]／2
2x1-2a=c-a+√[(a+c)²+4b²-4ac]=c-a+√[a²+c²-2ac+b²]=(c-a)+√[(c-a)²+b²]≥0
x1≥a
2x2-2c=a-c+√[(a+c)²+4b²-4ac]=a-c+√[a²+c²-2ac+b²]=(a-c)+√[(a-c)²+b²]≥0
x2≥c