Методы доказательства перпендикулярности векторов