| dbp:proof
|
- If any or , then the determinant is zero, so it has the form where is some power series in .
The left side is a sum of the form Expand them by Taylor expansion. For fixed , the series is uniformly convergent in in a neighborhood of zero.
To find the constant term of , simply calculate the coefficient of the term , which is .
By the symmetry of the determinant, the next lowest-powered term of is of form , which is as . (en)
- is zero whenever , and has degree , so it is a multiple of . To find the constant in front, simply calculate the coefficient of the term , which is . (en)
|
