a,a_1,a_2,b,b_1,b_2=var('a,a_1,a_2,b,b_1,b_2') solve([b_2<a_2,a<b,0<a<a_1<a_2,0<b<b_1<b_2,a_1^2+b_1^2-2<em>a_1b_1+(a_2-b_2)*(a-b)<0],a,a_1,a_2,b,b_1,b_2,solution_dict=True)
| 1 | initial version |
a,a_1,a_2,b,b_1,b_2=var('a,a_1,a_2,b,b_1,b_2') solve([b_2<a_2,a<b,0<a<a_1<a_2,0<b<b_1<b_2,a_1^2+b_1^2-2<em>a_1b_1+(a_2-b_2)*(a-b)<0],a,a_1,a_2,b,b_1,b_2,solution_dict=True)
These inequalities
a,a_1,a_2,b,b_1,b_2=var('a,a_1,a_2,b,b_1,b_2')
solve([b_2<a_2,a<b,0<a<a_1<a_2,0<b<b_1<b_2,a_1^2+b_1^2-2<em>a_1b_1+(a_2-b_2)*(a-b)<0],a,a_1,a_2,b,b_1,b_2,solution_dict=True)solve([b_2<a_2,a<b,0<a<a_1<a_2,0<b<b_1<b_2,a_1^2+b_1^2-2*a_1*b_1+(a_2-b_2)*(a-b)<0],a,a_1,a_2,b,b_1,b_2,solution_dict=True)
Copyright Sage, 2010. Some rights reserved under creative commons license. Content on this site is licensed under a Creative Commons Attribution Share Alike 3.0 license.