4
$\begingroup$

In the circumscircle of a triangle $ABC$, let $A_1$ be the point diametrically opposed to the vertex $A$. Let $A'$ the intersection point of $AA'$ and $BC$. The perpendicular to the line $AA'$ from $A'$ meets the sides $AB$ and $AC$ at $M$ and $N$, respectively. Prove that the points $A,M,A_1$ and $N$ lie on a circle which has the center on the height from $A$ of the triangle $ABC$. This was the statement

My solution:

First we prove that $ANA_1M$ lie on the same circle. Observe that $A'NCA_1$ are concyclic, since $\angle NA'A_1=\angle NCA_1=90^o$, from here $\angle NA_1A'=\angle ACB$. Now it is easy to see that $\angle ANA'=\angle ABC$, hence $\angle AMN=180-(\angle BAC+\angle ABC)=\angle ACB=\angle NA_1A'$ so they lie in the same circle.

Now, in order to proof that the center of the circle lie on the height from $A$ of the triangle $ABC$ we draw it, and call $P$ the intersection of it to the circle $AMA_1N$. Lets evaluate the angle $\angle AA_1P$. Since $PANA_1$ li on the same circle $\angle NA_1P=180-\angle NAP=180-(90-\angle ACB)=90+\angle ACB$. Now $\angle AA_1P=\angle NA_1P-\angle NA_1A'=90+\angle ACB-\angle ACB=90^o$ so $APA_1$ is a right-angle triangle whose circumcircle is the same as $AMA_1N$ hence the center lies on $AP$ which we said to be the height from $A$. An pretty easy problem.enter image description here

Is my proof correct?

$\endgroup$
  • 1
    $\begingroup$ Yes, your proof is totally correct. $\endgroup$ – Amir Naseri Apr 1 '16 at 17:08
  • $\begingroup$ @AmirNaseri Thanks! $\endgroup$ – Weijie Chen Apr 1 '16 at 17:09
  • $\begingroup$ Besides a typo, seems to be OK. However, the first part can be slightly shortened. After proving $A_1, A’, N, C$ are con-cyclic, $A, M, A_1, N$ are also con-cyclic because $\angle MAA_1 = \angle BAA_1 = \angle A’CA_1 = \angle A’NA_1$. $\endgroup$ – Mick Apr 1 '16 at 18:25
  • $\begingroup$ @Mick But after all its OK rght? $\endgroup$ – Weijie Chen Apr 1 '16 at 18:27
  • $\begingroup$ Yes and is a good job. $\endgroup$ – Mick Apr 2 '16 at 16:20
1
$\begingroup$

Yup! This looks like a correct proof

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.