长方形面积是如何推导的