不動点の作図法
正方形ABCDと合同な正方形A'B'C'D'が任意に重なっているとき、これらを重ね合わせることは、不動点Oを中心にして正方形A'B'C'D'を回転することでできる。