Talk:Napoleon's Theorem/Proof 2

I didn't find anything relevant to the preliminary stuff for this answer on ProofWiki, of course that probably means I missed it.

Getting there. I need a Lemma about why the paths as constructed reach the incenter and I need somewhere a definition of vector path. --Telliott99 (talk) 19:29, 3 November 2023 (UTC)

Guide for the possibly exasperated:

Of course Vector Magnitude is Invariant Under Rotation is not really necessary but it seemed useful to check the math. Proof 2 can be 1 line.

I need Vector Sum of Rotated Triangle is Zero to prove the statement that a rotated polygon is the sum of the individually rotated vectors that make up its vector path.

Napoleon's Theorem/Lemma 1 has been restructured as a Theorem which says that by adding two vectors (with rotation of one) we can tell that they are sides of an equilateral triangle.

I still must restructure the page to follow the rules for Lemma pages.

I also must write a Lemma that shows how the vector paths get to the incenter of the three equilateral triangles.

Napoleon's Theorem/Proof 2 has been restructured and expanded and some errors corrected. I hope it is clearer now. --Telliott99 (talk) 19:54, 3 November 2023 (UTC)

I corrected a logic error with knock-on effects. Believe the proof is correct now. Sorry. --Telliott99 (talk) 11:57, 6 November 2023 (UTC)