三平方の定理の証明は古代ギリシアで、古代オリエントでは経験則として知られていたけど、直角二等辺三角形での証明は古代オリエント時代でもできていたかも。