La solución anterior es la mejor, pero si quieres hacerlo extensible a cualquier pagina puedes utilizar este otro código:
Código PHP:
// Tomas la dirección de la pagina anterior en formato http://www.mipagina.com/opcion1.html
$origen = $_SERVER['HTTP_REFERER'];
// Coges la cadena apartir del último "/" de la dirección
$ultimo = substr (strrchr ($origen, "/"), 1 );