This paper presents two new lemmas related to the Caputo fractional derivatives, when alpha is an element of(0, 1 vertical bar, for the case of general quadratic forms and for the case where the trace of the product of a rectangular matrix and its transpose appear. Those two lemmas allow using general quadratic Lyapunov functions and the trace of a matrix inside a Lyapunov function respectively, in order to apply the fractional-order extension of Lyapunov direct method, to analyze the stability of fractional order systems (FOS). Besides, the paper presents a theorem for proving uniform stability in the sense of Lyapunov for fractional order systems. The theorem can be seen as a complement of other methods already available in the literature. The two lemmas and the theorem are applied to the stability analysis of two Fractional Order Model Reference Adaptive Control (FOMRAC) schemes, in order to prove the usefulness of the results. (C) 2014 Elsevier B.V. All rights reserved.