两条直角边的乘积的一半呀。