For the equivalence of definitions of quasiconformal maps the reference is
J. Heinonen, Lectures on analysis on metric spaces, Springer 2001. Notice that the $K$
in the definiton you cite is not the same $K$ as in the Ahlfors definitions.
So your definition of quasiconformality is equivalent to the usual one, but with a different $K$.