Difference between revisions of "The Devil's Triangle"
Cooljupiter (talk | contribs) (→Proof 1) |
Redfiretruck (talk | contribs) (→The Devil's Triangle) |
||
| Line 1: | Line 1: | ||
=Definition= | =Definition= | ||
| − | ==The Devil's Triangle== | + | ==The Devil's Triangle (Extended Wooga Looga Theorem)== |
For any triangle <math>\triangle ABC</math>, let <math>D, E</math> and <math>F</math> be points on <math>BC, AC</math> and <math>AB</math> respectively. Devil's Triangle Theorem, states that if <math>\frac{BD}{CD}=r, \frac{CE}{AE}=s</math> and <math>\frac{AF}{BF}=t</math>, then <math>\frac{[DEF]}{[ABC]}=1-\frac{r(s+1)+s(t+1)+t(r+1)}{(r+1)(s+1)(t+1)}=\frac{rst+1}{(r+1)(s+1)(t+1)}</math>. | For any triangle <math>\triangle ABC</math>, let <math>D, E</math> and <math>F</math> be points on <math>BC, AC</math> and <math>AB</math> respectively. Devil's Triangle Theorem, states that if <math>\frac{BD}{CD}=r, \frac{CE}{AE}=s</math> and <math>\frac{AF}{BF}=t</math>, then <math>\frac{[DEF]}{[ABC]}=1-\frac{r(s+1)+s(t+1)+t(r+1)}{(r+1)(s+1)(t+1)}=\frac{rst+1}{(r+1)(s+1)(t+1)}</math>. | ||
Revision as of 22:59, 6 November 2020
Contents
Definition
The Devil's Triangle (Extended Wooga Looga Theorem)
For any triangle 
, let 
and 
be points on 
and 
respectively. Devil's Triangle Theorem, states that if 
and 
, then ![$\frac{[DEF]}{[ABC]}=1-\frac{r(s+1)+s(t+1)+t(r+1)}{(r+1)(s+1)(t+1)}=\frac{rst+1}{(r+1)(s+1)(t+1)}$](http://latex.artofproblemsolving.com/2/b/3/2b3e9d3f239c1b1129cebf63683811855f732540.png)
.
(*Simplification found by @Gogobao)
Proofs
Proof 1
Proof by CoolJupiter:
We have the following ratios:
.
Now notice that ![$[DEF]=[ABC]-([BDF]+[CDE]+[AEF])$](http://latex.artofproblemsolving.com/3/4/8/348cf5258a141132df51ae2e1ec60dd89e37d47f.png)
.
We attempt to find the area of each of the smaller triangles.
Notice that ![$\frac{[BDF]}{[ABC]}=\frac{BF}{AB}\times \frac{BD}{BC}=\frac{r}{(r+1)(t+1)}$](http://latex.artofproblemsolving.com/e/1/f/e1f4ef80cad3ed00c9d0bc6fb8b2f56ed0faca5f.png)
using the ratios derived earlier.
Similarly, ![$\frac{[CDE]}{[ABC]}=\frac{s}{(r+1)(s+1)}$](http://latex.artofproblemsolving.com/6/a/d/6ad09b527364466a3f92f10e3170e1600f3fd300.png)
and ![$\frac{[AEF]}{[ABC]}=\frac{t}{(s+1)(t+1)}$](http://latex.artofproblemsolving.com/f/b/d/fbd5231991313efc841a68b5bcbb6794dfec3004.png)
.
Thus, ![$\frac{[BDF]+[CDE]+[AEF]}{[ABC]}=\frac{r}{(r+1)(t+1)}+\frac{s}{(r+1)(s+1)}+\frac{t}{(s+1)(t+1)}=\frac{r(s+1)+s(t+1)+t(r+1)}{(r+1)(s+1)(t+1)}$](http://latex.artofproblemsolving.com/a/0/1/a012303031a664b7d67454d68942d25743528b37.png)
.
Finally, we have ![$\frac{[DEF]}{[ABC]}=1-\frac{r(s+1)+s(t+1)+t(r+1)}{(r+1)(s+1)(t+1)}=\boxed{\frac{rst+1}{(r+1)(s+1)(t+1)}}$](http://latex.artofproblemsolving.com/a/6/0/a60005eb968b9cb4f8d5777ec9abf0e2d0cd85fb.png)
.
~@CoolJupiter
Other Remarks
This theorem is a generalization of the Wooga Looga Theorem, which @RedFireTruck claims to have "rediscovered". The link to the theorem can be found here: https://artofproblemsolving.com/wiki/index.php/Wooga_Looga_Theorem
Essentially, Wooga Looga is a special case of this, specifically when 
.
This is actually the second part of Routh's Theorem as pointed out by many. https://mathworld.wolfram.com/RouthsTheorem.html
Testimonials
This is Routh's theorem isn't it~ Ilovepizza2020
Wow this generalization of my theorem is amazing. good job. - Foogle and Hoogle, Members of the Ooga Booga Tribe of The Caveman Society
