Перпендикулярность диагоналей в трапеции: теоремы и доказательства