A proof of the main theorem on Bezoutians (Q2509483)

Let \(f(z)=f_0+f_1z+\dots+f_nz^n\) and \(g(z)=g_0+g_1z+\dots+g_nz^n\) be complex polynomials (in fact, any field applies) with \(\max{(\deg{f},\deg{g})}=n\). The Bézoutian of \(f\) and~\(g\) is the symmetric \(n\times n\) matrix \(B=(b_{ij})\), defined by \[ f(z)g(w)-f(w)g(z)=(z-w)\sum_{i,j=1}^nz^{i-1}b_{ij}w^{j-1}. \] The resultant matrix of \(f\) and~\(g\) is the \((2n)\times(2n)\) matrix~\(R\) whose \(i\)th row, \(i=1,\dots,n\), is obtained by rotating the \((2n)\)-vector \((f_0,\dots,f_n,0,\dots,0)\) \(i-1\) steps to the right, and the remaining rows are obtained by similar rotations of \((g_0,\dots,g_n,0,\dots,0)\). The main theorem on Bézoutians states that \[ \dim{\ker{B}}=\dim{\ker{R}}=\deg{\gcd{(f,g)}}. \] The authors give a simple and self-contained proof of it.