No estoy muy seguro, pero mira a ver si te puede estar pasando lo siguiente:
Por el código que muestras, dices que el problema está pasando en $pagina = $_GET["pagina"]; //EN ESTA LINEA ESTA EL PROBLEMA
¿Es posible que tú creas que $_GET["pagina"] existe, y sin embargo no existe?
Lo podrías comprobar de la forma siguiente y así salimos de dudas:
Código PHP:
echo 'Esto es lo que trae el GET:'.$_GET["pagina"];
//$pagina = $_GET["pagina"]; //EN ESTA LINEA ESTA EL PROBLEMA
Un saludo.