〔a､ｂ､cを整数〕∧〔a>c〕∧〔a､b､cは互いに素〕となる直角三角形b^2=a^2＋c^2において。
　　　　＜１＞a=c+1となることを証明せよ。
　　　　＜２＞aが４の倍数になることを証明せよ。