数论-本原勾股数构造