Maybe it's time for a (reasonably complete) answer.
Consider the open subvariety $U_{YZ}:=\Bbb{P}^2 \setminus V(YZ)$ (i.e. $\Bbb{P}^2$ with both the $Y$-axis and the $Z$-axis removed). The rational map $f: \Bbb{P}^2 \dashrightarrow \Bbb{P}^2$ can be represented on $U_{YZ}$ by the morphism
\begin{split}
U_{YZ} &\rightarrow U_Z:=\Bbb{P}^2 \setminus V(Z)\\
(x:y:z) &\mapsto (x/z:x/y:1)
\end{split}
which shows that $f$ is defined on all of $U_{YZ}$. Similarly, you find that $f$ is defined on all of $\Bbb{P}^2 \setminus \{(1:0:0),(0:1:0),(0:0:1)\}$, and the only thing left to check for 1. and 2. is that $f$ cannot be extended to all of $\Bbb{P}^2$. One possible explanation is the following.
Consider the morphism
\begin{split}
f_{cone}: \Bbb{A}^3 &\rightarrow \Bbb{A}^3\\
(x,y,z) &\mapsto (xy,xz,yz)
\end{split}
which maps every point of the form $(\lambda,0,0),(0,\mu,0)$ or $(0,0,\nu)$ to the point $(0,0,0)$.
Like every morphism of varieties, $f_{cone}$ is already uniquely determined by its restriction to any non-empty open subset, e.g. by its restriction to $\Bbb{A}^3 \setminus \{(\lambda,0,0),(0,\mu,0),(0,0,\nu) \; \vert \; \lambda,\mu,\nu \in k\} \subset \Bbb{A}^3$.
But $f_{cone}$ restricted to $\Bbb{A}^3 \setminus \{(\lambda,0,0),(0,\mu,0),(0,0,\nu) \; \vert \; \lambda,\mu,\nu \in k\}$ induces the morphism representing the rational map $f$, as described above. Hence every extension of $f$ to a morphism defined on all of $\Bbb{P}^2$ would have to map the points $(1:0:0),(0:1:0)$ and $(0:0:1)$ to "$(0:0:0)$", which is impossible, and consequently, the points $(1:0:0),(0:1:0),(0:0:1)$ cannot be in the domain of $f$.
For 3., you simply use the "trick" mentioned by Asal. Let $U_{XYZ}:=\Bbb{P}^2 \setminus V(XYZ)$ (i.e. $\Bbb{P}^2$ without the coordinate axes). On $U_{XYZ}$, we can represent $f$ as
$$
(x:y:z) \mapsto (xy:xz:yz)=1/(xyz)(xy:xz:yz)=(1/z:1/y:1/x)
$$
and from this, you can read off the inverse of $f_{\vert U_{XYZ}}$ directly.
Recall the definition of rational map $f:X \to Y$: it is an equivalence class $(f_U,U)$ of morphisms $f:U \to Y$ where $U \subset X$ is open. We consider $(f_V,V) \sim (f_U,U)$ if they agree agree on $U \cap V$, i.e. that $f_U|V=f_V|U$.
So now consider the inclusion $i:U \to X$ as a rational mapping. Also consider $id_X: X \to X$ as a rational map. These two agree on the open set $U$. So they are equal as rational maps. But the identity is obviously a birational equivalence.
See also my old answer to a similar question here: the definition of "Birational Equivalence"
Best Answer
Over an algebraically closed field $k$ of characteristic $\neq 2$ every irreducible quadric $Q\subset \mathbb P^n_k$ has equation $q(x)=x_0x_1+x_2^2+...+x_m^2=0 \quad (2\leq m\leq n)$ in suitable coordinates .
Projecting from $p=(1:0:0:\cdots:0)\in Q$ to the hyperplane $H\subset \mathbb P^n_k$ of equation $x_0=0$ will give the required birational isomorphism.
Explicitly, the projection is the birational map $$\pi: Q--\to H:(a_0:a_1:\cdots:a_n)\mapsto (0:a_1:\cdots:a_n)$$ You can compute the inverse rational map and find
$$\pi^{-1}:H--\to Q:(0:a_1:\cdots:a_n) \mapsto (-(a_2^2+\cdots +a_m^2):a_1\cdot a_1:\cdots:a_1\cdot a_n)$$