Construções geométricas: reta perpendicular através de um ponto na reta

RKA - Construa uma reta perpendicular à reta dada. Então, se eu escolher dois pontos arbitrários sobre essa reta aqui e conseguir traçar uma reta que será sempre equidistante a esses dois pontos, então, essa reta será perpendicular a essa reta dada daqui. E, não só isso, ela será também uma reta mediatriz ao segmento formado por esses dois pontos. Aqui, não importa em qual lugar específico da reta essa outra reta perpendicular vai passar, a única coisa que importa é que a reta seja perpendicular. Então, fazendo isso, eu vou adicionar um compasso, vou colocar essa circunferência num ponto qualquer aqui dessa reta. Posso ajustar aqui o raio conforme eu queira, e, agora, eu vou adicionar um outro compasso e vou colocar o centro dele bem onde esse círculo aqui corta essa reta. E, agora, eu vou ajustar o raio para que ele passe exatamente nesse ponto central da outra circunferência. E, agora, essa interseção aqui, formada por esses dois pontos das duas circunferências, determinará uma reta mediatriz, pois eles estão localizados aqui bem no centro entre esses dois pontos. Então, agora, deixa eu adicionar aqui uma régua, alinhar esse ponto aqui com essa interseção, e esse ponto aqui com essa interseção. E essa reta será perpendicular a outra reta original dada.