1: \begin{proof}

2: We only need to prove that the line tangent to $D(p)$ is of the form \eqref{eq:9}. By definition of $D(p)$, the former is given by

3: \[

4: Z_{2} = \dfrac{1}{d_{2}}Q_{\mathbf{d}\tp \mathbf{Z}}(p) - \dfrac{d_{1}}{d_{2}}Z_{1}

5: \]

6: for any given direction $\mathbf{d}$.

7: 

8: On the log-scale, the allometric equation given in Proposition~\ref{prop:1} relating $Y_{1}$ to $Y_{2}$ can be re-written as

9: \begin{equation}\label{eq:10}

10: b \log(Y_{1}) - \log(Y_{2})= -\log a,

11: \end{equation}

12: which has the same form of \eqref{eq:7} with $d_{1} = b$ and $d_{2} = -1$. Therefore, for $\mathbf{d} = (b,-1)\tp$, which we call \emph{allometric direction}, the line tangent to $D(p)$ is $\log Y_{2} = -Q_{\mathbf{d}\tp \mathbf{Z}}(p) + b\log Y_{1}$. Now, by \eqref{eq:7} we have that $\mathbf{d}\tp \mathbf{Z} = -\log\left(Y_{2}/Y_{1}^{b}\right) = -\log R$. Since the logarithm is a monotone transformation, we use the transformation rule introduced in Section~\ref{sec:3.1} and obtain $Q_{\mathbf{d}\tp \mathbf{Z}}(p) = Q_{-\log R}(p) = -\log\{Q_{R}(p)\}$. Then the tangent line equation becomes $\log Y_{2} = \log\{Q_{R}(p)\} + b\log Y_{1}$, which corresponds to the first equation given in \eqref{eq:9}. To obtain the second equation in \eqref{eq:9}, it is sufficient to notice that $Q_{-\log R}(p) = -Q_{\log R}(1-p) = -\log\{Q_{R}(1-p)\}$, where the first equality follows from the reflection rule and the second equality follows from the transformation rule.

13: 

14: For a rigorous proof of the geometric properties of $D(p)$, the reader is referred to \cite{Kong2012}.

15: \end{proof}

16: