0
$\begingroup$

I've been studying Euclid's Elements for the past few weeks, and have came across a conflicting theorem he proved.

"if two triangles have one angle equal to one angle, the sides about other angles proportional, and the remaining angles either both less or both not less than a right angle, the triangles will be equiangular and will have those angles equal, the sides about which are proportional."

the proof is here: https://proofwiki.org/wiki/Triangles_with_One_Equal_Angle_and_Two_Other_Sides_Proportional_are_Similar

and if you set the proportion of the corresponding sides to be 1:1, you get that the triangles are congurent! but that's wrong, as shown and told a lot to make sure that you don't show that they are congurent, while they're not. enter image description here

so how did Euclid prove this theorem, if it's wrong? What's the error in Euclid's proof?

$\endgroup$
2
  • $\begingroup$ In your example, $\widehat{CAB}>\pi/2$ and $\widehat{CBA}<\pi/2$? $\endgroup$ Commented Jun 23 at 10:12
  • $\begingroup$ both less and not less then a right angle, meaning $\widehat{CAB}\lt\frac{\pi}{2}$ and $\widehat{CAB}\ge\frac{\pi}{2}$ $\endgroup$ Commented Jun 23 at 10:19

1 Answer 1

2
$\begingroup$

Reading through the proof you gave a link to, it seems that the statement must be understood as: let $\triangle ABC$ and $\triangle DEF$ be two triangle satisfying:

  1. $\widehat{ACB}=\widehat{EFD}$ ;
  2. $|BC|/|AB|=|EF|/|DE|$ ;
  3. either $\widehat{BAC}>\pi/2$ and $\widehat{EDF}>\pi/2$ or $\widehat{BAC}<\pi/2$ and $\widehat{EDF}<\pi/2$.

Then $\triangle ABC$ and $\triangle DEF$ are equiangular.

In your example, conditions (1) and (2) are fulfilled, but not (3)! My instinct told me there was no (unknown) mistake in Euclid's elements.

$\endgroup$
2
  • $\begingroup$ The first condition should be $\angle ACB =\angle EFD$. $\endgroup$ Commented Jun 23 at 16:26
  • $\begingroup$ Yes of course, I will edit my answer. $\endgroup$ Commented Jun 23 at 16:27

You must log in to answer this question.

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