从勾股定理到图形面积的拓展