Is here a specific name for the following theorem? (Sides of inscribed squares of a triangle meet at points collinear with a vertex of the triangle)

Question

For any acute and right triangle, two of the intersections(C and B) of the two inscribed squares and the vertex A of the triangle are collinear.

I have a proof for the theorem, but I have not found any specific name for it. I searched "inscribed squares in a triangle," and I still could not find the same shape. Can anyone provide a specific name for this, or a way that I can find the theorem online?

For the similar question concerning the cubes inscribed in a tetrahedron, please visit Extend squares inscribed in a triangle to the cubes inscribed in a tetrahedron
.

Proof:

$\tan(\angle ACB) = \frac{IK}{KC}$

$\because LG = IK$

$\therefore \frac{LG}{KC} = \frac{IK}{KC} = \tan(\angle ACB)$

Similarly,

$\frac{LH}{JC} = \tan(\angle ACB)$

$\because \angle LHO = \angle LGO = \angle OLC = \angle OKC = 90^{\circ}$

$\therefore \angle JCK = \angle GLH = 360^{\circ} – \angle LHO – \angle LGO – \angle GOH = 360^{\circ} – \angle OJC – \angle OKC – \angle JOK $

$\because \frac{LH}{JC} = \frac{LG}{KC} = \tan(\angle ACB), \angle JCK = \angle GLH$

$\therefore \Delta LHG \simeq \Delta CJK $ (SAS)

$\therefore \angle LGH = \angle JKC$

$\because \angle LGO = \angle OKC = 90^{\circ}$

$\therefore \angle HGO = \angle OKJ = \angle LGO – \angle LGH = \angle OKC -\angle JKC$

Similarly, $\angle GHO = \angle OJK$

$\therefore \Delta GOH \simeq \Delta KOJ$ (AA)

$\therefore \frac{GH}{JK} = \frac{LG}{KC}$

$\therefore \frac{GO}{OK} = \frac{LG}{KC} = \frac{GH}{JK}$

$\because \angle LGO = \angle OKC$

$\therefore \Delta LGO \simeq \Delta CKO$ (SAS)

$\therefore \angle GOL = \angle KOC$

Similarly, $\angle HOL = \angle JOC$

$\because \angle IOJ = \angle POK$

$\therefore \angle LOG + \angle IOJ + \angle JOC = \angle COK + \angle POK + \angle HOL = \frac{1}{2}(360^{\circ}) = 180^{\circ}$

$\therefore$ Points C, O, L are collinear

$Q.E.D$

Answer 1

In light of the Bailey and Detemple (B&T) article mentioned in @Larry's answer, I'm updating my response. See the Edit History for a previous version of this answer.

---

As B&T describe, the key notion here is a general property of squares inscribed in angles; having a square's vertex lie on the third side of a triangle is an unnecessary restriction. (That restriction would have some relevance if the three resulting lines of intersection for a triangle were concurrent; alas, they are not.) But in fact, the property generalizes beyond squares to similar parallelograms.

Visually, the result is clear:

Articulating it in words is a little tricky. Bear with me.

Definitions. Given an angle with side-lines $a$ and $b$, we call a parallelogram "inscribed with base-line $a$" if two adjacent vertices (the "base vertices") lie on $a$ and a third vertex lies on $b$. We'll call the side-lines not parallel to $a$ the "lateral lines" of the parallelogram.

Let an angle have vertex $O$ and side-lines $a$ and $b$. Inscribe a parallelogram with base vertices $A$ and $A^\prime$ on $a$, and with $A^{\prime\prime}$ (adjacent to $A$) on $b$; let $A^\star$ be the fourth vertex. Likewise, inscribe parallelogram $\square B^\prime B B^{\prime\prime} B^\star$ with base-line $b$.

Theorem. If the parallelograms are similar and "compatibly slanted" (that is, if $\square A^\prime A A^{\prime\prime}A^\star \sim \square B^\prime B B^{\prime\prime} B^{\star}$, and $\angle OAA^{\prime\prime}\cong\angle OBB^{\prime\prime}$), then $O$ is collinear with the points where the lateral lines through $A$ and $A^\prime$ meet the respective lateral lines through $B$ and $B^\prime$.

For proof, let the lateral lines through $A$ and $B$ meet at $P$. Let $\overleftrightarrow{OP}$ meet the lateral line through $A^\prime$ at $P^\prime$. Via the similarity $\triangle OAP \sim OA^\prime P^\prime$, we deduce $$\frac{|PP^\prime|}{|OP|} = \frac{|AA^\prime|}{|OA|} = \frac{|AA^\prime|}{|AA^{\prime\prime}|}\frac{|AA^{\prime\prime}|}{|OA|} \tag{1}$$ The parallelogram similarity allows us to re-write the first factor in $(1)$, while $\triangle OAA^{\prime\prime}\sim\triangle OBB^{\prime\prime}$ allows us to re-write the second: $$\frac{|PP^\prime|}{|OP|} = \frac{|BB^\prime|}{|BB^{\prime\prime}|}\frac{|BB^{\prime\prime}|}{|OB|} \tag{2}$$ We may conclude, then, that $P^\prime$ lies on the lateral line through $B^\prime$, giving the Theorem. $\square$

---

Note that the Theorem holds for arbitrary pairs of parallelograms inscribed in an angle; moreover, it holds whether $\overrightarrow{PP^\prime}$ points in the same or opposite direction as $\overrightarrow{OP}$. @Larry and B&T restrict the parallelograms to squares, and @Larry constrains the "fourth vertices" $A^\star$ and $B^\star$ to a third line (B&T consider that as a special case). They all also implicitly assume the "same direction" configuration, but here we see that the "opposite direction" case is equally valid:

---

Here's a related (new?) result, for which I currently have only an ugly coordinate proof.

A triangle admits three more "inscribed" squares; these have opposite vertices on a particular side-line, and one vertex on each other side-line. Given $\triangle ABC$, draw the new squares associated with sides $\overline{AB}$ and $\overline{CA}$. The side-lines of the squares meet in four point-pairs, each of which are collinear with vertex $A$. (The lines also meet in another eight points that seem to have no remarkable collinearity property.)

In the figure, the four green lines show collinearity of top triangle vertex with four pairs of points-of-intersection of two squares' side-lines. When two lines meet at one of these points, the lines parallel to those lines meet at the other point of the pair.

This result, too, generalizes to parallelograms that need not have "fourth vertices" constrained to a third line. Here's an image: