Теорема:

Из точки не лежащей на прямой можно провести перпендекуляр к этой прямой ,притом только 1

Значит BP перпендекуляр из данной точки к данной прямой по отношению к а.