\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}
Vogliamo ora semplificare il più possibile l'equazione
(\ref{conicagen}) e la tecnica consiste nel cambiare
opportunamente il sistema di riferimento (effettuare cioè una
trasformazione del piano) \textit{euclideo} oppure \textit{affine}.

Diamo ora le seguente definizioni:

\begin{defin}
Sia $\mathcal C$ una conica di $\mathbf A^2(\mathbf R)$. Una
conica $\mathcal D$ si dice affinemente equivalente a $\mathcal C$
se esiste un'applicazione affine T tale che $\mathcal C=T(\mathcal
D)$
\end{defin}
\begin{defin}
Sia $\mathcal C$ una conica di $\mathbf E^2(\mathbf R)$. Una
conica $\mathcal D$ si dice congruente a $\mathcal C$ se esiste
una isometria T tale che $\mathcal C=T(\mathcal D)$
\end{defin}

\end{document}
