Теорема имеет вид если А, то Б.
Обратная (если Б, то А): если диагонали четырёхугольника взаимно перпендикулярны, то этот четырёхугольник - квадрат (это неправда, конечно).
Противоположная (если не А, то не Б): если четырёхугольник не является квадратом, то его диагонали не взаимно перпендикулярны (это тоже неправда).
Обратная противоположной (если не Б, то не А): если диагонали четырёхугольника не взаимно перпендикулярны, то этот четырёхугольник - не квадрат (это равносильно прямой теореме)