jemmybutton/byrne-euclid

Bug in proposition I.VII

MarcinCiura opened this issue · 1 comments

MarcinCiura commented

As I understand it, line 1499 of the English version and line 1507 of the Russian version compare wrong pairs of segments. The body of \eqalign should say
\drawUnitLine{CA}&=\drawUnitLine{DA}\cr \drawUnitLine{BC}&=\drawUnitLine{BD}
instead of
\drawUnitLine{CA}&=\drawUnitLine{BC}\cr \drawUnitLine{DA}&=\drawUnitLine{BD}.