#P17344. [ECNA 2025] AROD

[ECNA 2025] AROD

题目描述

从收入丰厚的运动员生涯退役后,Alex 把大部分时间用于思考数学中的基础概念。最近,他专注于依据内角对三角形分类,并发明了缩写 AROD 来记住四种基本类型:

  • A = acute,锐角三角形: 三个角都小于 9090 度;
  • R = right,直角三角形: 有一个角等于 9090 度;
  • O = obtuse,钝角三角形: 有一个角大于 9090 度且小于 180180 度;
  • D = degenerate,退化三角形: 有一个角等于 180180 度;等价地说,三个顶点共线。

Alex 想知道,从规则的 xx-yy 整点网格中选出三个不同顶点时,得到的三角形分别属于四种 AROD 类型的次数。

更精确地说,对于正整数 mx,mym_x,m_y,考虑从集合

$$V(m_x,m_y)=\{(x,y):x,y\text{ 均为整数},\ 0\le x\le m_x,\ 0\le y\le m_y\}$$

中选取三个不同顶点的所有方式,并把相应三角形归入上述四类之一。

输入格式

输入一行,包含两个正整数 mx,mym_x,m_y,满足 mx+my600m_x+m_y\le 600

输出格式

输出四行,依次表示从 V(mx,my)V(m_x,m_y) 中选取三个不同顶点时,形成锐角、直角、钝角和退化三角形的方案数,每行一个数。

1 2
0
14
4
2
2 3
22
94
84
20