用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

證明結果：