Common Sense
by math_explorer, Sep 3, 2010, 12:47 PM
Things quoted as "obvious" in various proofs I have read:
Click to reveal hidden text
I really need to sort out what things are obvious and what things have to be explained algebraic manipulation after algebraic manipulation. Okay, fine. Next problem, and a hopefully really easy one until I stop being so lazy.
IMO 1968.1. Prove that every tetrahedron contains a vertex with three edges that can form a triangle.
- The reflection of the orthocenter about any of a triangle's sides lies on the circumcircle of the triangle.
- An angle bisector of a triangle and the perpendicular bisector of the opposite side meet on the circumcircle of the triangle.
- If ABCD is cyclic, EF is parallel to AD, E is on AB or an extension thereof, F is on CD or an extension thereof, then EFBC is cyclic.
math_explorer wrote:
In
, there are points
on
,
on
,
and
on
, so that
,
, and
. Prove that
is isosceles. (No source quoted.)












Under the translation
we have
and
. Suppose
and
. Since
we know that
are concyclic.
Suppose
and
intersect at
. "Obviously,"
. Set
,
,
. Then
, so
, so
.
If
, we can divide
out, so that
, obviously (honestly!) impossible. So
, so
, so
, so
and
is isosceles.







Suppose










If








I really need to sort out what things are obvious and what things have to be explained algebraic manipulation after algebraic manipulation. Okay, fine. Next problem, and a hopefully really easy one until I stop being so lazy.
IMO 1968.1. Prove that every tetrahedron contains a vertex with three edges that can form a triangle.
This post has been edited 1 time. Last edited by math_explorer, Sep 11, 2010, 12:12 PM