Um laboratório de geoprocessamento posicionou dois emissores de sinal nos pontos A(2,5) e B(10,1) do plano cartesiano, e um receptor móvel deve deslocar-se sempre pelo lugar geométrico dos pontos equidistantes de A e B para manter redundância de comunicação. A rota será dada pela mediatriz de AB e precisa ser registrada como equação explícita para o software embarcado. O time deseja também confirmar se o ponto P(4,?1) pertence à rota segura. Considere as definições de ponto médio e de coeficientes angulares de retas perpendiculares. Determine a equação da mediatriz de AB em forma y = ax + b e verifique a pertinência de P, justificando as etapas do cálculo.