题目描述

已知直角三角形 $ABC$，其中 $\angle ABC = 90°$（即 $AB$ 和 $BC$ 为直角边，$CA$ 为斜边）。

给定三边长度 $|AB|, |BC|, |CA|$，计算该三角形的面积。答案保证为整数。

输入格式

输入三个整数，以此表示边的长度： |AB| |BC| |CA|

输出格式

输出一个整数，表示三角形面积。

样例

3 4 5

6

5 12 13

30

数据范围

• $1 \leq |AB|, |BC|, |CA| \leq 100$
• 输入保证为合法直角三角形三边
• ​关键提示：无需验证勾股定理，输入数据已保证 $\angle ABC = 90°$

计算原理

面积 = $\frac{1}{2} \times |AB| \times |BC|$ （只需取两直角边相乘再除以2）