有没有“等底同高的三角形面积相等”这条判定定理?