0
$\begingroup$

Could anyone please help me simply the following expression

   (1/(1 + a + c) + 1/(1 + b + c) - 3/(3 + 2*a + 2*b + 2*c))*
 (1 - c - ((a*b - c)*(a^2 + b^2 + b*(-1 + c) + (-1 + c)*c + 
            a*(-1 + b + c - 3*b*c)))/(-6*a*b*c + c^2 + 
   b^2*(1 + c^2) + 
         a^2*(1 + b^2 + c^2))) + (1/(1 + a + b) + 1/(1 + b + c) - 
    3/(3 + 2*a + 2*b + 2*c))*
 (1 - b + ((b - a*c)*(a^2 + b^2 + b*(-1 + c) + (-1 + c)*c + 
            a*(-1 + b + c - 3*b*c)))/(-6*a*b*c + c^2 + 
   b^2*(1 + c^2) + 
         a^2*(1 + b^2 + c^2))) + (1/(1 + a + b) + 1/(1 + a + c) - 
    3/(3 + 2*a + 2*b + 2*c))*
 (1 - a + ((a - b*c)*(a^2 + b^2 + b*(-1 + c) + (-1 + c)*c + 
            a*(-1 + b + c - 3*b*c)))/(-6*a*b*c + c^2 + 
   b^2*(1 + c^2) + 
         a^2*(1 + b^2 + c^2)))

with

1 - a^2 - b^2 + 2 a b c - c^2=0

Thanks a lot.

$\endgroup$
5
  • 3
    $\begingroup$ When I scrape-n-paste your code I find pale red ) and ( showing mismatches. Can you possible scrape-n-paste the code from the screen into your notebook and correct those? Thanks $\endgroup$
    – Bill
    Mar 22 '20 at 5:50
  • $\begingroup$ @Bill Okay, revised. Thanks. $\endgroup$ Mar 22 '20 at 6:09
  • $\begingroup$ How do you know there is much simpler expression when 1 - a^2 - b^2 + 2 a b c - c^2 == 0? when you do Simplify[expr,1 - a^2 - b^2 + 2 a b c - c^2 == 0] it does not simplify. $\endgroup$
    – Nasser
    Mar 22 '20 at 6:28
  • $\begingroup$ Or could anyone simplify the expression to an expression whose sign can be determined for all a, b, c satisfying $1 - a^2 - b^2 + 2a b c - c^2=0$, $a+b>-1$, $a+c>-1$, and $b<0$? Thanks. $\endgroup$ Mar 22 '20 at 6:29
  • $\begingroup$ @Bill Thank you for your comment, but could you transform it to an expression whose sign can be determined for all a, b, c satisfying $1 - a^2 - b^2 + 2a b c - c^2=0$, $a+b>-1$, $a+c>-1$, and $b<0$? Thanks a lot.. $\endgroup$ Mar 22 '20 at 6:36
1
$\begingroup$

Edit (now regarding all conditions)

Seems impossible to find a simple form of the given expression due to the complicated form.

Regard the hypersurface where expr is greater or lower zero with regard of all conditions.

cpg = ContourPlot3D[1 - a^2 - b^2 + 2 a b c - c^2 == 0, 
{a, -1, 10}, {b, -10, 0}, {c, -10, 10}, PlotPoints -> 100, ImageSize -> 300, 
RegionFunction -> Function[{a, b, c}, 
  a + b > -1 && a + c > -1 && b < 0 && expr[a, b, c] > 0]]

enter image description here

cpl = ContourPlot3D[1 - a^2 - b^2 + 2 a b c - c^2 == 0, 
{a, -1, 10}, {b, -10, 0}, {c, -10, 10}, PlotPoints -> 100, ImageSize -> 300, 
 RegionFunction -> Function[{a, b, c}, 
a + b > -1 && a + c > -1 && b < 0 && expr[a, b, c] < 0]]

enter image description here

$\endgroup$
9
  • $\begingroup$ Thank you for your plot, and from your plot, can you see that the values of the expression is always >0 for all a, b and c satisfying a + b > -1 && a + c > -1 && b < 0? Thanks. $\endgroup$ Mar 22 '20 at 9:33
  • $\begingroup$ and so, can you show that the the expression is always >0 for all a, b and c satisfying a + b > -1 && a + c > -1 && b < 0 and 1 - a^2 - b^2 + 2 a b c - c^2=0 by transforming the expression? Thanks a lot. $\endgroup$ Mar 22 '20 at 9:35
  • $\begingroup$ and so, can you show that the the expression is always >0 for all a, b and c satisfying a + b > 0&& a + c > 0 && b < 0 and 1 - a^2 - b^2 + 2 a b c - c^2=0 by transforming the expression? Thanks a lot. $\endgroup$ Mar 22 '20 at 10:15
  • $\begingroup$ This {{amin, amax}, {bmin, bmax}, {cimn, cmax}} = {First@ Minimize[{#, a + b > -1 && a + c > -1 && b < 0}, {a, b, c}], First@Maximize[{#, a + b > -1 && a + c > -1 && b < 0}, {a, b, c}, Reals]} & /@ {a, b, c} // Quiet shows the minima/maxima for a,b,c. Yileds {{-1, \[Infinity]}, {-\[Infinity], 0}, {-\[Infinity], \[Infinity]}} . $\endgroup$
    – Akku14
    Mar 22 '20 at 11:30
  • $\begingroup$ If you change to a + b > 0 && a + c > 0 && b < 0 , you get {{0, \[Infinity]}, {-\[Infinity], 0}, {-\[Infinity], \[Infinity]}} . $\endgroup$
    – Akku14
    Mar 22 '20 at 11:34

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.