行严格对角占优矩阵——一道矩阵代数作业题

今年（2018年）11月20日的矩阵代数课上老师布置了一道课后作业题，题目如下：
已知矩阵 $A=\left(a_{ij}\right)\in {\mathbb{C}}^{n\times n}$为行严格对角占优矩阵，记
$$H_i=\left|a_{ii}\right|-\sum _{j=1,j̸=i}^n\left|a_{ij}\right|(1)$$
其中 $i,j=1,...,n$ ，则有 $H_i>0$ 。
证明：
$$abs\left|A\right|\ge H_1{H}_2...H_n(2)$$
其中，$\left|A\right|$表示$A$的行列式。

解题时，已知
$$\left|A\right|=\prod _{i=1}^n{\lambda }_i$$
则
$$abs\left|A\right|=\prod _{i=1}^n\left|{\lambda }_i\right|$$
若对每一个 $H_i$ 都存在一个 ${\lambda }_k$ 使得 $\left|{\lambda }_k\right|>H_i$， 则可证得原命题。
因此，首先想到的是Gerschgorin（盖尔）圆盘定理，因为它与(1)式有相似的表达形式，但由于连通域的存在，无法保证保证每个盖尔圆都只有一个特征值，因此该思路不通。
然后就是在网上检索该题目的答案，最后找出来了，在$FelixR.Gantmacher$所著的$《Matrizentheorie》$$p455$（德语，矩阵论）。
书中给出的证明如下：
定义矩阵$F=\left(f_{ij}\right)\in {\mathbb{C}}^{n\times n}$，其中
f i j = a i j H i f_{ij}=\frac {a_{ij}}{H_i} f