Ahora bien: una de las construcciones más sencillas con regla y compás es la de trazar una recta perpendicular a otra dada, así que se hace precisamente eso, con lo que se obtiene un «eje formula_2».