Dissection of Square into 9 Acute Triangles

Theorem
A square can be dissected into $9$ acute triangles.

Construction
Let $\Box ABCD$ be a square.


 * Square-dissected-into-9-acute-triangles.png