My little proof that any generalized barycentric coordinates can create a non-injective mapping (i.e. you give me a scheme for weights then I can give you a configuration that creates a deformation with flips) was published in the Journal of Graphics Tools. If you don't have access, then why not just take a look at the tech report. The proofs are just slightly different, only amounting to satisfying different tastes.