由正交化过程知,\((\alpha_1,\dots ,\alpha_n)=(\beta_1,\dots ,\beta_n)A\),其中
\begin{equation*}
A=(a_{ij})_{n\times n}=\begin{pmatrix}
1&a_{12}&\dots&a_{1n}\\
0&1&\dots&a_{2n}\\
\vdots&\vdots&\ddots&\vdots\\
0&0&\dots&a_{n-1,n}\\
0&0&\cdots&1
\end{pmatrix},
\end{equation*}
则\(\det A=1\)且
\begin{equation*}
(\alpha_i,\alpha_j)=(\sum\limits_{k=1}^n a_{ki}\beta_k,\sum\limits_{l=1}^n a_{lj}\beta_l)=\sum\limits_{k,l=1}^n a_{ki}\overline{a_{lj}}(\beta_k, \beta_l).
\end{equation*}
因此,
\begin{equation*}
\begin{array}{cl}
&\begin{vmatrix}
\left(\alpha_1,\alpha_1\right)&\left(\alpha_1,\alpha_2\right)&\cdots&\left(\alpha_1,\alpha_n\right)\\
\left(\alpha_2,\alpha_1\right)&\left(\alpha_2,\alpha_2\right)&\cdots&\left(\alpha_2,\alpha_n\right)\\
\cdots&\cdots&\cdots&\cdots\\
\left(\alpha_n,\alpha_1\right)&\left(\alpha_n,\alpha_2\right)&\cdots&\left(\alpha_n,\alpha_n\right)
\end{vmatrix}\\=&\begin{vmatrix}
\sum\limits_{k,l=1}^n a_{k1}\overline{a_{l1}}(\beta_k, \beta_l)&\sum\limits_{k,l=1}^n a_{k1}\overline{a_{l2}}(\beta_k, \beta_l)&\cdots&\sum\limits_{k,l=1}^n a_{k1}\overline{a_{ln}}(\beta_k, \beta_l)\\
\sum\limits_{k,l=1}^n a_{k2}\overline{a_{l1}}(\beta_k, \beta_l)&\sum\limits_{k,l=1}^n a_{k2}\overline{a_{l2}}(\beta_k, \beta_l)&\cdots&\sum\limits_{k,l=1}^n a_{k2}\overline{a_{ln}}(\beta_k, \beta_l)\\
\cdots&\cdots&\cdots&\cdots\\
\sum\limits_{k,l=1}^n a_{kn}\overline{a_{l1}}(\beta_k, \beta_l)&\sum\limits_{k,l=1}^n a_{kn}\overline{a_{l2}}(\beta_k, \beta_l)&\cdots&\sum\limits_{k,l=1}^n a_{kn}\overline{a_{ln}}(\beta_k, \beta_l)
\end{vmatrix}\\
=&\det\left(A^T\begin{pmatrix}
\left(\beta_1,\beta_1\right)&\left(\beta_1,\beta_2\right)&\cdots&\left(\beta_1,\beta_n\right)\\
\left(\beta_2,\beta_1\right)&\left(\beta_2,\beta_2\right)&\cdots&\left(\beta_2,\beta_n\right)\\
\cdots&\cdots&\cdots&\cdots\\
\left(\beta_n,\beta_1\right)&\left(\beta_n,\beta_2\right)&\cdots&\left(\beta_n,\beta_n\right)
\end{pmatrix}\overline{A}\right)\\
=&\det A^T \cdot\det\left({\rm diag}(\left(\beta_1,\beta_1\right),\left(\beta_2,\beta_2\right),\cdots ,\left(\beta_n,\beta_n\right))\right)\cdot\det\overline{A}\\
&=\prod\limits_{i=1}^n\left(\beta_i,\beta_i\right).\end{array}
\end{equation*}