长方形面积公式推导过程