Wednesday 28 October 2015

geometry - Interesting property of triangle and ellipses formed on its edges

I need to prove following theorem. It seems to work, and it seems to be intuitive but I think I am missing skills in geometry proofs to prove that.



Clearer version of theorem: For any triangle $ABC$ on a plane, we draw circle $O$ such that $AB$ is its diameter. Placing a point $P$ inside $O$ will result in creating triangle (either $PAB$, $PBC$ or $PAC$) of smaller perimeter than $ABC$.



Previous (base theorem) version: For triangle on a plane, we can draw an ellipse based on each of its edges such that end points of that edge are focal points and common point of two other edges lies on edge of an that ellipse (it describes every triangle with same "base" edge and every combination of two other edges such that they form triangle with same perimeter as first one). We can draw 3 such ellipses for triangle - let's call their union $E$. Prove that circles circumscribed on each edge (edge is diameter of circle) of that triangle lie inside of $E$.



Where did it come from?

I've found an interesting answer on problem of finding 3 points from set of points such that triangle built of them has as small perimeter as possible - it's here. I want to prove that this method is working, as it's not "clear" for me at all. As it's easier to prove anything on Delaunay triangulation by referencing Voronoi diagrams I tried that method - with no good results.



Theorem above is a bit more than this, but it seems to work (used visualization software to check it and couldn't create counterexample).



EDIT: Here are examples. As you can see, without losing a generality, we choose $AB$ edge and draw circle such that $AB$ is its diameter. Now this circle is always inside union of ellipses.




  1. Example 1

  2. Example 2

  3. Example 3


No comments:

Post a Comment

real analysis - How to find $lim_{hrightarrow 0}frac{sin(ha)}{h}$

How to find $\lim_{h\rightarrow 0}\frac{\sin(ha)}{h}$ without lhopital rule? I know when I use lhopital I easy get $$ \lim_{h\rightarrow 0}...