In $\triangle ABC$ and $\triangle A'B'C'$, $D$ is a point on line segment $BC$ and $D'$ is a point on line segment $B'C'$. $\frac{\angle BAD}{\angle CAD}=\frac{\angle B'A'D'}{\angle C'A'D'}$, $AB=A'B'$, $AC=A'C'$ and $AD=A'D'$. How to prove that $\triangle ABC \cong \triangle A'B'C'$?

If $AD$ and $A'D'$ are angle bisectors, the question is much easier: $BD:CD=B'D':C'D'$(angle bisector theorem), then $\triangle ABC \cong \triangle A'B'C'$ is proved by constructing a pair of similar triangles. But I'm stuck on the general question for days.

  • $\begingroup$ What is this terminology? ∠BAD:∠CAD - ":"? $\endgroup$
    – Moti
    Commented Apr 23, 2021 at 20:07
  • $\begingroup$ @Moti It means the ratio of the numerical value of those two angles. $\endgroup$
    – Limestone
    Commented Apr 24, 2021 at 3:19
  • $\begingroup$ Simply divide... $\endgroup$
    – Moti
    Commented Apr 24, 2021 at 4:14
  • $\begingroup$ @adam-rubinson Thanks. I've edited the question just now. $\endgroup$ Commented Apr 25, 2021 at 1:51
  • $\begingroup$ You should be able to do this using the cosine rule but it gets ugly. There has to be a better way. Maybe using Heron's formula? $\endgroup$ Commented Apr 25, 2021 at 9:38

1 Answer 1


I'm not sure how formal a proof you want, but I'll show you what I came up with.

  • Draw triangle $ABC$.
  • WLOG, let $A'$ have the same position as $A$ and $D'$ the same position as $D$ (using $\ A'D' = AD$).
  • Try different positions of $B'$ and $C'$ using: $1)\ A'B' = AB,\ 2)\ A'C' = AC$ and $3)\ \angle BAD:\angle CAD=\angle B'A'D':\angle C'A'D'.$

For example, Suppose $\angle B'A'D' < \angle BAD,\ $ that is, $\exists \gamma \in\ [0,1)$ such that $\angle B'A'D' = \gamma (\angle BAD)$. Then $\angle D'A'C' = \gamma (\angle DAC)$. But $D'$ is a fixed point (by assumption) and we see it is not on the line $B'C'$.

The green circle has centre $A$ and passes through $B$ and $B'$. The blue circle has centre $A$ and passes through $C$ and $C'$.

enter image description here

You can use a similar argument for $\angle B'A'D' > \angle BAD.$

  • $\begingroup$ Is my answer faulty, or should I make it more rigorous? $\endgroup$ Commented May 10, 2021 at 16:49

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .