A new theorem concerning the Hofstadter triangle

Project title: A new theorem concerning the Hofstadter triangle
Overview:

In 1992 Douglas Hofstadter discovered a new and surprising theorem in Euclidean geometry. I prove a new and equally unexpected theorem related to HofstadterÕs theorem.