Skip to main content

Prove the Magic of Morley's Trisector Theorem

 Here's a challenge for the brave geometers out there:

Geometrical Representation


  • Take any triangle (doesn't matter how weird its shape is). 
  • Trisect all three angles.
  • Extends these Trisectors and find where they meet nside the triange.

The Claim: 

The points where these trisectors meet will form a perfect equilateral triangle. Yes, always.

Your Task:

Prove what this magical equilateral triangle always appears. Use any tools or methods you like - geometry, algebra, or even black magic (if that helps). But remember, just saying "It works" doesn't count as proof!
 
Bonus Question: Why do we even bother proving things that fee like geometry is showing off?

Enigma Zone

Proof

Let $PQR$ be an equilateral triangle. Denote the angle $PQR$ by $pQr$, etc. Choose $L$ outside the triangle $PQR$ such that $$lQr = lRq = \beta + \gamma$$ Clearly $LP$ bisects $qLr$. $M$ and $N$ are similarly defined. Let $LQ$ meet $MP$ in $C$. Then, $$qCp = lQp + mPq - \pi = \alpha + \beta + 2\gamma - \frac{\pi}{3} = \gamma$$ Since $\alpha + \beta + \gamma = \frac{\pi}{3}$ Choose $B$ on $LR$ so that $CP$ bisects $qCb$, $P$ is the in-centre of triangle $LCB$ and so, $$pBr = pBc = \frac{1}{2}(\pi - rLq - lCb) = \beta$$ Giving $bPr + rPn = \pi$. Hence $B$ is the intersection of $LR$ and $NP$. Similarly, if $A$ is the intersection of $MR$ and $NQ$, we have, $$qCa = \gamma; \ qAr = qAc = \alpha$$ $$\text{also,} \ rBa = \beta; \ rAb = \alpha$$ And so $ABC$ is the required triangle, and the theorem is proved.

Reference: Roger Penrose, Collected Works, Volume-1.

Comments

Popular

The Twin Prime Conundrum: Are We Seeing Double or Just Seeing Things?

Prime numbers—the indivisible darlings of mathematics. Just when you thought they couldn't get any more intriguing, they pair up to form what we affectionately call "twin primes." These are pairs of prime numbers that differ by exactly 2, like the inseparable (3, 5), (5, 7), or the dynamic duo (17, 19). The big question that's been tickling mathematicians' brains for centuries is: Are there infinitely many of these twin primes, or do they eventually run out, leaving us with a lonely prime singleton?   The Twin Prime Conjecture: A Never-Ending Story? The twin prime conjecture posits that there are infinitely many such pairs. Despite the simplicity of its statement, proving (or disproving) this conjecture has been as elusive as finding a needle in an infinitely expanding haystack. The conjecture was first articulated in 1846 by Alphonse de Polignac , who suggested a broader claim: for any even number $2k$ , there are infinitely many prime pairs $(p,p+2k)$ . The cas...