En principio . .debes leer el archivo (con file() por ejemplo) .. Si lo lees con file() te devuelve un array con tantos elementos como líneas tenga tu archivo ..
Si quieres respetar los sáltos de línea que tuviera tu pagina.html.. tendrías que concatenar esos elementos del array entregado por file() con el caracter del salto de línea \n (o \n\r) .. El resultado final será un string (cadena) pero con los saltos de línea aptos para el textarea ...
Código PHP:
<?
$html=implode('\n',file("pagina.html"));
<input type="textarea" name="blabla">$html</input>
?>
Un saludo,