设[tex=0.786x1.0]b4HkKtHXeHofHX/gJc8Agg==[/tex]是[tex=2.714x1.071]Xa6YzCV9VTlW9p4lLOpktw==[/tex]整系数矩阵，证明：存在可逆的[tex=0.929x0.786]VF0GLe2VBE/4VKNzpyOfFg==[/tex]阶整系数矩阵[tex=0.786x1.286]dSWbQCTjdbLxKy7q0ps2gg==[/tex]和[tex=0.643x0.786]/he/ol8BkDuTTL9yMPtH4Q==[/tex]阶整系数矩阵[tex=0.857x1.214]ChdusW5rAupjge6v/DGHRA==[/tex](逆矩阵仍是整系数的整系数矩阵称为可逆的)，使得[tex=19.0x7.429]qEfFAzTtogPhL975i9j3FZW8FiARuxHcNunOE3jOCD0J5GrRnvZ1HKSRzVlEMyxW/ldUvZbl5zBPVOw17icc9EpAvsSpX+ZKefNsiBKR0NP/B/gxLSxlcBC/PuCAp7gMv5TaR1am0oNtc2O6p5TseK+Fx7w5IvrLde/fj7Ot2UP2jAmbRMn797duBw9YRDHMQ0C3Z08At93eYRCLd+SSuQ==[/tex]，其中[tex=5.5x1.214]Fvcl66+ja8Q1JHuk47yEl1mOReq57NQZSEomErX581A=[/tex]是正整数，并且[tex=3.286x1.357]QQGSneXw1K0dJD5Gd0YZfRWHz7WSGUCxgBRNQuide6o=[/tex]，[tex=6.786x1.214]sSeb/21RYpEGsAPJb/d9URjwmvNFGZImy91B+Ex6JM0=[/tex] 。