(Rigorously) Prove that two medians of a triangle intersect

  • Thread starter Thread starter aneesh.mulye
  • Start date Start date
  • Tags Tags
    Triangle
AI Thread Summary
In the discussion about proving that two medians of a triangle intersect, the user grapples with the lack of a rigorous proof despite the intuitive understanding that they do intersect. They note that while the conjecture holds for medians, it does not apply to altitudes, particularly in obtuse triangles. The user proposes that if they can demonstrate that the median lies entirely within the triangle, it would lead to a proof of intersection. They explore the idea of treating the triangle as a pentagon to leverage properties of convex shapes but express frustration over the complexity of the proof. Ultimately, they remain open to further insights and may seek guidance from the book's author if they continue to struggle.
aneesh.mulye
Messages
17
Reaction score
0
I'm trying to solve exercise 60 from Kiselev's Planimetry.

Homework Statement



"Show that in any triangle, every two medians intersect. Is the same true for every two bisectors? altitudes?"

Homework Equations



There aren't any, unfortunately.

The Attempt at a Solution



The last part of the question is the easiest to answer. The conjecture isn't true for altitudes, as it's possible to have a triangle none of whose altitudes intersects another unless produced (imagine an isosceles obtuse triangle whose vertex has an angle, say, of 120 degrees).

It's intuitively clear that the two medians of a triangle intersect, but I'm having trouble expressing it rigorously.

Here's one approach: one median of a triangle splits the triangle in two, with two vertices and sides on each side of the median. Thus, any other median of the triangle must of necessity intersect the first, because the vertex and the side whose midpoint it joins lie on opposite sides of the first median.

I have two problems with this: the first is that isn't a proof, but perhaps just the beginning of the intuition behind one. The second is that this lacks all rigour.

Here's my attempt to make this idea rigorous:

If I can prove that the median of a triangle lies entirely inside the triangle, then I have a proof, because as the first median splits the interior of the triangle in two, separating both vertices and their opposite sides, forcing the second median to lie in the interior would also force it to intersect the first.

One way I've thought of to make this so is to consider the triangle a pentagon, with the two midpoints in question constituting the additional vertices. The pentagon so formed would be convex, and it is a property of convex polygons that diagonals (or a line segment joining any two points on the boundary, really) lie entirely inside the polygon.

To prove this, I'll have to show that the diagonals of a convex polygon lie entirely in its interior.

Having to do all this to solve a simple elementary geometry problem seems a stretch too far. Is there something I'm missing here?
 
Physics news on Phys.org
It does seem that the proof is kinda blowing up as you consider more general cases ... you want to try showing that the situation you have is a special case of something already proven or build from simpler structures.

Maybe:
A line through a vertex, which also intersects the opposite side, can only intersect the triangle at the opposite side (or it would have to pass through another side twice).
Alternatively - any line through a vertex, that does not pass through the opposite side, does not pass through the triangle at all.
That help?

It's certainly the case that it is often easier to rigorously disprove something than to prove it.
 
Thanks for the approaches. I'll try them out.

(I suspect it may not be easily possible given what's been presented up to that point in the book, but again, I could just be missing something completely. If I'm still stumped later, I'll write to the author (the translator, actually).)
 
I tried to combine those 2 formulas but it didn't work. I tried using another case where there are 2 red balls and 2 blue balls only so when combining the formula I got ##\frac{(4-1)!}{2!2!}=\frac{3}{2}## which does not make sense. Is there any formula to calculate cyclic permutation of identical objects or I have to do it by listing all the possibilities? Thanks
Since ##px^9+q## is the factor, then ##x^9=\frac{-q}{p}## will be one of the roots. Let ##f(x)=27x^{18}+bx^9+70##, then: $$27\left(\frac{-q}{p}\right)^2+b\left(\frac{-q}{p}\right)+70=0$$ $$b=27 \frac{q}{p}+70 \frac{p}{q}$$ $$b=\frac{27q^2+70p^2}{pq}$$ From this expression, it looks like there is no greatest value of ##b## because increasing the value of ##p## and ##q## will also increase the value of ##b##. How to find the greatest value of ##b##? Thanks
Back
Top