An elementary geometric construction performed by a computer