Математическое доказательство перпендикулярности плоскостей AMD и АВС