バビロニアとかエジプトとかでは測量技術が発達していて
辺の長さが3:4:5だとか5:12:13だとかの三角形が直角三角形になることとか
斜辺を一辺とする正方形の面積と、他の二辺をそれぞれ一辺とする
二つの正方形の面積の和が等しいという事は、
経験的に知られていた、とかそういう話だったと思う。