Segundo o site oficial da prefeitura de São Miguel do Iguaçu https://www.saomiguel.pr.gov.br/historia/ existe uma versão Lendária e uma versão Oficial acerca do nome da cidade. Qua

A denominação São Miguel do Iguaçu origina-se do fato do colonizador espanhol Miguel Alvarez Nuñez Cabeza de Vaca, que por ser muito religioso e ser o primeiro a descobrir as cataratas do rio Iguaçu, ganhou essa homenagem.

A denominação São Miguel do Iguaçu origina-se do fato de ser o santo o padroeiro do município e ser a área originariamente denominada “Fazenda São Miguel”. À este nome, para diferenciá-lo de outras localidades e facilitar sua localização, foi acrescido o nome de um acidente geográfico próximo, o Rio Iguaçu e também por ter o mesmo grande parte de sua área limitando com uma das maiores áreas de preservação ambiental, o Parque Nacional do Iguaçu.

A denominação São Miguel do Iguaçu origina-se do fato de ser a área originariamente denominada “Gleba São Miguel”. E facilitar sua localização, foi acrescido do termo que identifica o Parque Nacional do Iguaçu.

Nenhuma das alternativas anteriores.