三角形面积底乘高除以二的推导过程怎么写?