вообще-то это как раз определение мнимой единицы а значит доказывать не надо - просто такое определение возникло при решении ряда задач например при решении квадратного уравнения с отрицательным дискриминантом появляется необходимость ввести число и которое в квадрате дает -1