八上1.3:勾股定理的应用