摘要：
认证代码：symsabc；ab=平方英尺；bc=平方英尺；ca=平方英尺；p=/2；s1=；%海伦公式s1=simplifys2=^2+^2+^2ifdisp（“三维勾股定理成立！”）elsedisp（“三维毕达哥拉斯定理不成立！”！
证明代码：
syms a b c ; ab=sqrt(a^2+b^2); bc=sqrt(c^2+b^2); ca=sqrt(c^2+a^2); p=(ab+bc+ca)/2; s1=(p*(p-ab)*(p-bc)*(p-ca)); %海伦公式 s1=simplify(s1) s2=(a*b/2)^2+(a*c/2)^2+(c*b/2)^2 if(s1==s2) disp('三维勾股定理成立！') else disp('三维勾股定理不成立！') end
证明结果：
