On a given straight line to describe a square.
      Let AB be the given
      straight line;
      thus it is required to describe a square on the
      straight line AB.
     
      Let AC be drawn at right angles
      to the straight line AB
      from the point A on it,
      
      [I. 11]
      
      and let AD be made
      equal to AB;
      through the point D let
      DE be drawn parallel to
      AB,
      and through the point B let
      BE be drawn parallel
      to AD.
      
      [I. 31]
      
     
      Therefore ADEB is a
      parallelogram;
      therefore AB is equal to
      DE, and AD
      to BE
      
      [I. 34]
      .
      But AB is equal to
      AD;
      therefore the four straight lines
      BA, AD,
      DE, EB are
      equal to one another;
      therefore the parallelogram
      ADEB is equilateral.
     
I say next that it is also right-angled.
      For, since the straight line AD
      falls upon the parallels AB,
      DE,
      the angles BAD,
      ADE are equal to two right angles.
      
      [I. 29]
      
      But the angle BAD
      is right;
      therefore the angle ADE
      is also right.
      And in parallelogrammic areas the opposite sides and angles
      are equal to one another;
      
      [I. 34]
      
      therefore each of the opposite angles
      ABE, BED
      is also right.
      Therefore ADEB is right-angled.
     
And it was also proved equilateral.
Therefore it is a square; and it is described on the straight line AB. Q.E.F.
Book I: Euclid, Elements, Book I (ed. Sir Thomas L. Heath 1st Edition, 1908)
Next: Proposition 47
Previous: Proposition 45
This proposition in other editions: