[洋葱] 勾股定理（几何原本）