勾股定理
如果formula_6是斜邊的長度而a和b是另外兩條邊的長度，勾股定理可以寫成：