第一个式子得到 sin(α) = (16 - m^2)/(6*m) ，第二个式子得到 cos(α) = (16 - n^2)/(6*n) ，由它们的平方和为1得到((16 - m^2)/(6*m))^2 + ((16 - n^2)/(6*n))^2=1 ，这个化简就是上面的式子
