题目描述

孙悟空大闹天宫后，被如来佛祖压在五行山下五百年。观音菩萨指点他，若想脱困，需找到五行山的封印洞口。洞口的形状恰为三角形，只有直角三角形的洞口才能用金箍棒破开封印。

悟空用火眼金睛测得洞口三条边的长度分别为 $a$、$b$、$c$（其中 $a \ge b \ge c > 0$）。请你编写程序，判断这三条边能否构成一个直角三角形。如果能构成直角三角形，输出洞口的面积；否则输出 no。

输入格式

输入一行，包含三个正整数 $a$、$b$、$c$（$a \ge b \ge c > 0$），以空格分隔，分别表示三条边的长度。

输出格式

如果可以构成直角三角形，输出直角三角形的面积（保证面积为整数）；否则输出 no。

样例输入 #1

5 4 3

样例输出 #1

6

样例说明 #1

三条边为 5、4、3，满足 $5^2 = 4^2 + 3^2 = 25$，是直角三角形。两条直角边为 4 和 3，面积为 $4 \times 3 \div 2 = 6$。

样例输入 #2

13 12 5

样例输出 #2

30

样例说明 #2

三条边为 13、12、5，满足 $13^2 = 12^2 + 5^2 = 169$，是直角三角形。面积为 $12 \times 5 \div 2 = 30$。

数据范围

• $a \ge b \ge c > 0$
• $a$、$b$、$c$ 均为正整数

知识点与难度

• 知识点：分支结构、勾股定理、整数运算
• 难度：入门
• 核心思想：判断是否满足勾股定理 $a^2 = b^2 + c^2$，满足则计算面积 $b \times c \div 2$

测试点分布