Tilings of the Square With Similar Right Triangles

摘要

We prove that if is a right triangle with an acute angle where tan is a totally positive algebraic number then the square can be decomposed into finitely many similar copies of . This result completes the classification of all triangles which ``tile" the square.