AE/AK=BE/AI,這樣可以得出AK（用a，b，c三個字母）。又有BE/GH=AB/GK（註：GH=b-a）,又能得出GK，最後用AK+GK=a+b
可以得到關於a，b，c三個字幕的壹個公式，最後能驗證到a*a+b*b=c*c