Buenos días,
Según veo en el código, en la página 2 utilizas la sesión para almacenar la matrícula con esta línea:
Código PHP:
$_SESSION['usuario']=$matriculabd;
Luego utilizas este SELECT en la página 4 para acceder a la base de datos:
Código SQL:
Ver original"select * from registrados where matricula='$_REQUEST[matricula]'"
Has probado a hacer un echo de $_REQUEST[matricula], probablemente no tenga nada y por eso no te hace la consulta. El dato que necesitas lo tienes en la sesión:
$_SESSION['usuario']
Espero que te sirva, un saludo.