Geometry Stumper

08172018, 06:29 AM
Post: #21




RE: Geometry Stumper
(08162018 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 

08212018, 12:01 AM
Post: #22




RE: Geometry Stumper
(08172018 06:29 AM)Paul Dale Wrote:(08162018 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. 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 HP50g Casio fx9750G+ Casio fx9750GII (SH4a) 

09032018, 01:59 PM
(This post was last modified: 09042018 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 

10042018, 07:58 PM
(This post was last modified: 10042018 08:03 PM by Albert Chan.)
Post: #24




RE: Geometry Stumper
Just downloaded XCas 1.4.957 (win32) today.
I want to see if XCas can handle the tough proof: http://www.hpmuseum.org/forum/thread112...#pid102245 Prove point D, C, E lies on a straight line (using distance, not slope) pointE := head(solve([y=ae*x, y=be*(x1)], [x, y])) //==> [be/(aebe), ae*be/(aebe)] pointD := simplify(subst(pointE, [ae=1/ae, be=1/be])) //==> [ae/(aebe), 1/(aebe)] 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: 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=12*k*ae, be^2=12*(k1)*be])) //==> k For any value of k, DCE lies on a straight line, thus DCE is always straight. 

02242019, 02:37 PM
(This post was last modified: 02252019 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: c = {1, Tan[t2/2]}; Prove is now trivial: PHP Code: Simplify[Det[{dc, ec}]] ==> 0 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[pt, pt]] 

02252019, 06:05 AM
Post: #26




RE: Geometry Stumper
PHP Code: c = {1, Tan[t2/2]}; This prove is even shorter ! Dot[c, ec] = 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 

« Next Oldest  Next Newest »

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