1: \begin{abstract}

2: Motivated by the work of D. Y. Kleinbock, E. Lindenstrauss, G. A. Margulis, and B. Weiss \cite{KLW, KM}, we explore the Diophantine properties of probability measures invariant under the Gauss map. Specifically, we prove that every such measure which has finite Lyapunov exponent is extremal, i.e. gives zero measure to the set of very well approximable numbers. We show on the other hand that there exist examples where the Lyapunov exponent is infinite and the invariant measure is not extremal. Finally, we construct a family of Ahlfors regular measures and prove a Khinchine-type theorem for these measures. The series whose convergence or divergence is used to determine whether or not $\mu$-almost every point is $\psi$-approximable is different from the series used for Lebesgue measure, so this theorem answers in the negative a question posed by Kleinbock, Lindenstrauss, and Weiss \cite{KLW}.% In addition, the theorem proves the optimality of a result of Weiss \cite{Weiss}.

3: % We provide a partial converse to B. Weiss's result of Khinchine type \cite{Weiss} by constructing a large class of measures, which are both conformal and Ahlfors regular, and for which the divergence of Weiss's series entails the $\psi$-approximability of almost all numbers. As a result we answer in the negative a question 

4: \end{abstract}

5: