Let AB be a binomial straight line divided into its terms at C, so that AC is the greater term; let a rational straight line DE be set out, and let DEFG equal to the square on AB be applied to DE producing DG as its breadth;