Vandermonde Matrix Identity for Cauchy Matrix/Examples/3x3

Example of Vandermonde Matrix Identity for Cauchy Matrix
Illustrate $3\times 3$ case for Vandermonde Matrix Identity for Cauchy Matrix and Value of Cauchy Determinant:

Then:

Details:

Define Vandermonde matrices


 * $\displaystyle V_x = \paren {\begin{smallmatrix}

1 & 1 & 1 \\ x_1 & x_2 & x_3 \\ x_1^2 & x_2^2 & x_3^2 \\ \end{smallmatrix} },\quad V_y = \paren {\begin{smallmatrix} 1 & 1 & 1 \\ y_1 & y_2 & y_3 \\ y_1^2 & y_2^2 & y_3^2 \\ \end{smallmatrix} }$

Define polynomials:


 * $\displaystyle \map p x = \paren {x-x_1} \paren {x-x_2} \paren {x-x_3}$


 * $\displaystyle \map {p_1} x = \paren {x - x_2} \paren {x - x_3},

\quad \map {p_2} x = \paren {x - x_1} \paren {x - x_3}, \quad \map {p_3} x = \paren {x - x_1} \paren {x - x_2}$ Define invertible diagonal matrices:


 * $\displaystyle P = \paren {\begin{smallmatrix}

\map {p_1} {x_1} & 0       & 0 \\ 0       & \map {p_2} {x_2} & 0 \\ 0       & 0        & \map {p_3} {x_3} \\ \end{smallmatrix} }, \quad Q = \paren {\begin{smallmatrix} \map p {y_1} & 0       & 0 \\ 0       & \map p {y_2} & 0 \\ 0       & 0        & \map p {y_3} \\ \end{smallmatrix} }$

Then:
 * $\displaystyle P = \paren {\begin{smallmatrix}

\paren {x_1 - x_2} \paren {x_1 - x_3} & 0                                  & 0 \\ 0                                    & \paren {x_2 - x_1}\paren {x_2 - x_3} & 0 \\ 0                                    & 0                                   & \paren {x_3 - x_1}\paren {x_3 - x_2} \\ \end{smallmatrix} }, \quad Q = \paren {\begin{smallmatrix} \paren {y_1 - x_1}\paren {y_1 - x_2}\paren {y_1 - x_3} & 0       & 0 \\ 0       &  \paren {y_2 - x_1}\paren {y_2 - x_2}\paren {y_2 - x_3} & 0 \\ 0       & 0        &  \paren {y_3 - x_1}\paren {y_3 - x_2}\paren {y_3 - x_3} \\ \end{smallmatrix} }$

Determinant of Diagonal Matrix implies


 * $\displaystyle \det\paren { P } = \paren {x_1 - x_2} \paren {x_1 - x_3} \paren {x_2 - x_1}\paren {x_2 - x_3} \paren {x_3 - x_1}\paren {x_3 - x_2}$


 * $\displaystyle \det\paren { Q } = \paren {y_1 - x_1}\paren {y_1 - x_2}\paren {y_1 - x_3}

\paren {y_2 - x_1}\paren {y_2 - x_2}\paren {y_2 - x_3}\paren {y_3 - x_1}\paren {y_3 - x_2}\paren {y_3 - x_3}$

Vandermonde Determinant implies


 * $\displaystyle \det\paren {V_x} =

\paren {x_3 - x_2} \paren {x_3 - x_1} \paren {x_2 - x_1}$


 * $\displaystyle \det\paren {V_y } = \paren {y_3 - y_2} \paren {y_3 - y_1} \paren {y_2 - y_1}$

Determinant of Matrix Product and Definition:Inverse Matrix imply


 * $\displaystyle \det\paren {V_x^{-1} } =\dfrac{1}{\det\paren {V_x} },\quad

\det\paren {Q^{-1} } =\dfrac{1}{\det\paren {Q} }$

Then:

Insert the four determinant equations and simplify to obtain the equation for $3\times 3$ $\det\paren {C}$.