Перпендикулярные прямые — определение, признаки, доказательства