19.9勾股定理(3)