AC : FI:: AD : FK

2* Supposons actuellement que les hauteurs AD et Fig. 171. FK soient incommensurables. Je partage F K en un nombre quelconque de parties égales, et je porte l’une de ces parties sur AD autant de fois qu’elle pourra y être contenue. Soit DO le reste que je trouve ainsi; je tire OP parallèlement à AB, et comme les droites AO et FK sont commensurables, j’aurai