ix35's Blog
给定四个三角形的所有边长平方，皆为整数。设计算法判断它们能否不重叠地恰好填满一个正方形。
拓扑上只有 $22$ 种不同情况，如下图所示：
每种情况中有 $2$ 个自由度，因此只需要列出 $12-2=10$ 个独立方程即可验证一种拼法能否成功。
第一种和最后一种情况较为特殊，分别存在一个独立内点，在判断时需要额外注意内点在符合图形限制的范围内。
https://qoj.ac/blog/hhoppitree/blog/904
