5
$\begingroup$

How do I factorize $$a^{2}(b-c)+b^{2}(c-a)+c^{2}(a-b)?$$ I've tried it in different ways but failed. Wish some one could help solving it out.

$\endgroup$
1
  • 2
    $\begingroup$ As a start: If you take $a=b$ then the expression becomes $0$, and so $(a-b)$ is a factor of the expression. Similarly, $(b-c)$ and $(c-a)$ are also factors. $\endgroup$
    – Dylan
    Commented Sep 4, 2015 at 14:40

5 Answers 5

13
$\begingroup$

If we think of this as a polynomial in the variable $a$, it is $0$ if $a=b$, also if $a=c$. So $a-b$ and $a-c$ divide the polynomial. By symmetry $b-c$ divides the polynomial. So the polynomial should be equal to $(a-b)(a-c)(b-c)$ times a constant. In this case the constant is $1$.

$\endgroup$
12
$\begingroup$

A high school solution:

For this you have to break the symmetry between all variables. Explicitly, we'll write $\;c-a=(c-b)+(b-a)$. Thus \begin{align*} a^2(b-c)+b^2(c-a)+c^2(a-b)&=ab(a-b)+bc(b-c)+ca(c-a)\\ &=ab(a-b)+bc(b-c)+ca(c-b)+ca(b-a)\\ &=(a-b)(ab-ac)+(b-c)(bc-ac)\\ &=a(a-b)(b-c)+c(b-c)(b-a)\\ &=-(a-b)(b-c)(c-a) \end{align*}

$\endgroup$
2
  • 2
    $\begingroup$ $c-a = (c-b)+(b-a)$ $\endgroup$
    – user118494
    Commented Sep 4, 2015 at 14:44
  • $\begingroup$ I've just seen that. Thanks for pointing the typo! $\endgroup$
    – Bernard
    Commented Sep 4, 2015 at 15:20
5
$\begingroup$

A simplification of André's answer:

The expression is a quadratic polynomial in $a$ that vanishes when $a=b$ or $a=c$. The leading coefficient is clearly $b-c$. Hence the expression is $(b-c)(a-b)(a-c)$.

$\endgroup$
1
  • $\begingroup$ An improvement! My initial writeup kept full symmetry to the end ($a-b$ divides, so does $b-c$, so does $c-a$, constant is $-1$). Then I partly broke symmetry, but breaking a little more is better. $\endgroup$ Commented Sep 4, 2015 at 14:56
2
$\begingroup$

Another proof. By Laplace expansion (along the last row):

$$ -\sum_{cyc}a^2(b-c) = \det\begin{pmatrix} 1 & 1 & 1 \\ a & b & c \\ a^2 & b^2 & c^2 \end{pmatrix},\tag{1}$$ But the RHS is a Vandermonde matrix, whose determinant is well-known.

Gaussian elimination gives: $$ D=\det\begin{pmatrix} 1 & 1 & 1 \\ a & b & c \\ a^2 & b^2 & c^2 \end{pmatrix}=\det\begin{pmatrix} 1 & 0 & 0 \\ a & b-a & c-a \\ a^2 & b^2-a^2 & c^2-a^2 \end{pmatrix} \tag{2}$$ and by expanding along the first row and factoring out $(b-a)$ and $(c-a)$: $$ D = (b-a)(c-a)\cdot \det\begin{pmatrix} 1 & 1 \\ b+a & c+a\end{pmatrix}=(b-a)(c-a)(c-b).\tag{3}$$

$\endgroup$
1
$\begingroup$

HINT:

I think you meant factorization

$$a^2(b-c)+b^2(c-a)=-c(a^2-b^2)+ab(a-b)=?$$

$\endgroup$
1
  • $\begingroup$ Yeah. I meant factorization. $\endgroup$
    – Raisa
    Commented Sep 4, 2015 at 14:33

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .