两个平方积的平方根再组成平方数,整体就成为四次方;由于数对不相交,四个原数确实互不相同。
两对互不相交,所以 xp,yp,xq,yqx_p,y_p,x_q,y_qxp,yp,xq,yq 是 MMM 中四个互不相同的元素。它们的乘积为 xpypxqyq=sp2sq2=(spsq)2=u4x_py_p x_qy_q=s_p^2s_q^2=(s_ps_q)^2=u^4xpypxqyq=sp2sq2=(spsq)2=u4,是四次方。命题得证。