All about flooble | fun stuff | Get a free chatterbox | Free JavaScript | Avatars
 perplexus dot info

 Three Perps (Posted on 2010-06-11)
```
Let ABC be an equilateral triangle with K its circumcircle.

Let P be a point on K (different from A, B, and C) and m
the tangent line to K at point P.

Let D, E, and F be points on m such that AD, BE, and CF
are perpendicular to m.

Prove that |AD| + |BE| + |CF| equals twice the length of
an altitude of triangle ABC.
```

 See The Solution Submitted by Bractals No Rating

Comments: ( Back to comment list | You must be logged in to post comments.)
 Analytic solution | Comment 1 of 2
Center the circle at the origin and let its radius be r.
The altitude is 3r/2 so twice this is 3r.
Each of A,B,C forms an angle with the positive x axis.  Call the smallest angle x, then the others are x+120 and x-120.
WLOG let point P be (0,-r) and the tangent line be y=-r

The three lengths are r sin(x) + r, r sin(x+120) + r, and r sin(x-120) + r
The sum is 3r + r [sin(x+120) + sin(x) + sin(x-120)]

So now to show sin(x+120) + sin(x) + sin(x-120) = 0

sin (x+120) = sin(x)cos(120) + cos(x)sin(120) = -.5sin(x)
sin (x-120) = sin(x)cos(120) - cos(x)sin(120) = -.5sin(x)
sin (x) = sin(x)
So the sum of these terms is zero and the sum of the three lengths is 3r.

Edited on June 11, 2010, 4:01 pm
 Posted by Jer on 2010-06-11 16:01:23

 Search: Search body:
Forums (0)