用Matlab证明三维勾股定理

证明代码：

syms a b c ;
ab=sqrt(a^+b^);
bc=sqrt(c^+b^);
ca=sqrt(c^+a^);
p=(ab+bc+ca)/;
s1=(p*(p-ab)*(p-bc)*(p-ca)); %海伦公式
s1=simplify(s1)
s2=(a*b/)^+(a*c/)^+(c*b/)^
if(s1==s2)
    disp('三维勾股定理成立！')
else
    disp('三维勾股定理不成立！')
end

证明结果：