用四个全等直角三角形证明勾股定理