Van Schooten writes
And another way. Assume, as before, AD equals AB, that BD are joined, and that BE equals BA. And from E through D an indefinitely long straight line is drawn. In that, if DF is put, equal to DE, and from F through H [sic. should be A] is drawn FAf: I say that this bisects the angle BAC.