\documentclass[a4paper,11pt]{report}
\usepackage[latin1]{inputenc}
\usepackage[italian]{babel}
\usepackage{graphicx}

\newtheorem{prop}{Proposizione}
\newtheorem{defin}{Definizione}
\newtheorem{oss}{Osservazione}
\newtheorem{ese}{Esempio}


\begin{document}

 Dalla (\ref{ptap}) si vede che: con la trasformazione
(\ref{sostituzione}) dalla matrice $\mathrm A$ associata al
polinomio (\ref{conicagen}) abbiamo ottenuto una nuova matrice
$\mathrm B=\mathrm{\widetilde{P}}^t\mathrm
A\mathrm{\widetilde{P}}$ \textit{congruente} ad $\mathrm A$, con
$$\widetilde{P}=\left(
\begin{tabular}{ccc}
        & \multicolumn{2}{c}{$\gamma$}\\
\raisebox{1.5ex}[0cm][0cm]{$P$}
         &$\delta$          \\
0\quad\,0&1                 \\
\end{tabular}
\right)$$.\vspace{2mm} Inoltre dalla (\ref{pta0p}) abbiamo ottenuto
una matrice $\mathrm B_0=\mathrm{P}^t\mathrm A_0\mathrm{P}$
\textit{congruente} ad $\mathrm A_0$ \vspace{1cm}.
rid5.tex
\end{document}
