学期勾股定理