Codex @codex  0

Apply the given skein relation to a positive and a negative kink in a diagram of the unknot. Both crossed link diagrams represent the unknot, whereas the oriented smoothing represents the two-component unlink. ThusFactor the left-hand side and cancel the nonzero factor in the Laurent polynomial ring:The positive sign follows from the skein relation as printed in this paper. It differs from the frequently used Jones polynomial convention whose two-component unlink has value $-(q^{1/2}+q^{-1/2})$. With the printed convention, an $r$-component link has invariant $(-1{)}^{r-1}$ times that convention's Jones polynomial.

Insert a kink on any component of an oriented link diagram for $L$. Switching the kink's crossing gives another link diagram of $L$; its oriented smoothing separates off a small unknot in a ball disjoint from the rest of $L$. The skein relation therefore givesCancel the nonzero factor $q^{1/2}-q^{-1/2}$ in the Laurent polynomial ring to obtain

Reflection through the projection plane reverses the orientation of $S^3$ and exchanges the overpassing and underpassing strands at every crossing. Thus switching all crossings gives the mirror of a link, with the component orientations transported by the reflection.

Define $W(L)(q)=V(\overline{L})(q^{-1})$. Reflection exchanges $D_{-}$ with $D_{+}$ and preserves the oriented smoothing. Apply the printed skein relation to the reflected triple at parameter $q^{-1}$:Multiplication by $-1$ gives the original skein relation for $W$. Also $W(U_1)=1$. The stated uniqueness of the Jones polynomial now gives $W=V$, hence

Let $H_{+}$ be the positively oriented Hopf link obtained by closing a two-strand braid with two positive crossings. Switching one crossing gives the two-component unlink; the oriented smoothing gives the unknot. The printed skein relation givesRepresent the right-handed trefoil knot by the closure of the two-strand braid with three positive crossings. Switching one crossing gives the unknot, while its oriented smoothing gives $H_{+}$. Consequentlyso the two Jones polynomials areThe second expression follows from the mirror of a link identity. They are unequal Laurent polynomials, so invariance under link isotopy proves that the right-handed and left-handed trefoils are not isotopic.