已知直角三角形的两直角边长分别为a,b,斜边长为c,且a,b,c均为正整数,其中a是质数,证明:(见下)