用Matlab证明三维勾股定理

证明代码：

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

证明结果：