Post Reply 
Geometry Stumper
08-17-2018, 06:29 AM
Post: #21
RE: Geometry Stumper
(08-16-2018 04:04 PM)Thomas Puettmann Wrote:  He has very strong opinions about that computer math is the "real" math and all what we humans still do ourselves is unimportant because it is of neglegtible complexity.

And the computer's solution to the Riemann Hypothesis is?


Pauli
Find all posts by this user
Quote this message in a reply
08-21-2018, 12:01 AM
Post: #22
RE: Geometry Stumper
(08-17-2018 06:29 AM)Paul Dale Wrote:  
(08-16-2018 04:04 PM)Thomas Puettmann Wrote:  He has very strong opinions about that computer math is the "real" math and all what we humans still do ourselves is unimportant because it is of neglegtible (BV:negligible) complexity.

And the computer's solution to the Riemann Hypothesis is?


Pauli

Sigh. I'm completely lost even when various explanations are provided. I guess I've lost most of the maths understanding I learned when I was at school—that, or I'm particularly weak in geometry. It seems strange that it was my second best subject at school, but that's not saying much, as I only got middling results for my exams.

(Post 269)

Regards, BrickViking
HP-50g |Casio fx-9750G+ |Casio fx-9750GII (SH4a)
Visit this user's website Find all posts by this user
Quote this message in a reply
09-03-2018, 01:59 PM (This post was last modified: 09-04-2018 12:13 AM by Albert Chan.)
Post: #23
RE: Geometry Stumper
Now that we prove CDE is on the same line, here is another challenge:

With DE as diameter of a circle, midpoint K, prove A, B touch the circle.

In other words, prove AK = BK = DK = EK

Geometry talk: the circle touches triangle 2 vertices and 2 excenters.

Edit: this is the prove, try not to peek ... All about Excircles, section 2.2
Find all posts by this user
Quote this message in a reply
10-04-2018, 07:58 PM (This post was last modified: 10-04-2018 08:03 PM by Albert Chan.)
Post: #24
RE: Geometry Stumper
Just downloaded XCas 1.4.9-57 (win32) today.
I want to see if XCas can handle the tough proof: http://www.hpmuseum.org/forum/thread-112...#pid102245
Prove point D, C, E lies on a straight line (using distance, not slope)

pointE := head(solve([y=ae*x, y=be*(x-1)], [x, y])) //==> [-be/(ae-be), -ae*be/(ae-be)]
pointD := simplify(subst(pointE, [ae=-1/ae, be=-1/be])) //==> [-ae/(ae-be), -1/(ae-be)]
pointC := [k, 1]
dist(x) := sqrt(dot(x, x))

soln := head(solve(dist(pointD - pointC) + dist(pointE - pointC) = dist(pointD - pointE), k))

XCas was unable to solve for k, the mess is too much, *STOP* after 5 minutes ...

To help XCas a bit, scale the distance by abs(ae - be):
(ae, be was slope of line AE, BE. Since A != B, scaling factor > 0)

dist(x) := sqrt(dot(x, x) * (ae - be)^2) // scaled distance

With scaled distance, solving take 2 seconds: Smile

soln = (-ae^2 * be - ae^2 + be^2 - be) / (ae * be^2 - ae^2 * be + ae - be)

Removing the square terms, we get:

simplify(subst(soln, [ae^2=1-2*k*ae, be^2=1-2*(k-1)*be])) //==> k

For any value of k, DCE lies on a straight line, thus DCE is always straight.
Find all posts by this user
Quote this message in a reply
02-24-2019, 02:37 PM (This post was last modified: 02-25-2019 12:39 AM by Albert Chan.)
Post: #25
RE: Geometry Stumper
Another proof that CDE lies on a straight line, Mathematica, without using Solve:

From analytic geometry thread, learn about properties of excircles.

Rotate the triangle, so BC lies on line x=1, AC on t2 radian line, AB on t3 radian line.
For ABC with inscribed unit circle, these are the coordinates: (d is calculated using symmetry, then rotation)

PHP Code:
= {1Tan[t2/2]}; 
= {Tan[t2/2Tan[t3/2], Tan[t2/2] + Tan[t3/2]}; (* excircle center *)
= {{Cos[t2], -Sin[t2]}, {Sin[t2], Cos[t2]}} . (/. {t2 → t3-t2t3 → 0-t2}); 

Prove is now trivial:
PHP Code:
Simplify[Det[{d-ce-c}]] ==> 

It can also confirm by distance, with slight help from our end (avoid square root):
If CDE on straight line, distance wise, EC + CD = ED
Square both side: EC² + CD² + 2 √(EC² CD²) = ED²
Rearrange, square again: 4 EC² CD² = (ED² - EC² - CD²)²
PHP Code:
dSqr[pt_] := Simplify[Dot[ptpt]]
{
ec2cd2ed2} = Map[dSqr, {e-cc-de-d}];
Simplify[4 ec2 cd2 == (ed2 ec2 cd2)^2] ==> True 
Find all posts by this user
Quote this message in a reply
02-25-2019, 06:05 AM
Post: #26
RE: Geometry Stumper
PHP Code:
= {1Tan[t2/2]}; 
= {Tan[t2/2Tan[t3/2], Tan[t2/2] + Tan[t3/2]}; (* excircle center *) 

This prove is even shorter !

Dot[c, e-c] = 1 * -tan(t2/2) tan(t3/2) + tan(t2/2) * tan(t3/2) = 0

-> OCE is right triangle -> by symmetry, OCD also right triangle -> CDE is straight line Smile
Find all posts by this user
Quote this message in a reply
Post Reply 




User(s) browsing this thread: 1 Guest(s)