Let $A$ be an $n$ by $n$ matrix with entries in a field $K$. Consider the conditions
$(1)$ $A$ is similar to the companion matrix of its characteristic polynomial,
$(2)$ the minimal and characteristic polynomials of $A$ coincide,
$(3)$ there is a vector in $K^n$ whose annihilator in $K[X]$ has degree $n$.
Claim: these conditions are equivalent.
We are asked to prove the equivalence of $(1)$ and $(2)$ for $n=2$.
The following implications are clear for any $n$ $ (1)\ \iff\ (3)\ \implies (2). $
The proof that $(2)$ implies $(3)$ is simpler when $n=2$. Indeed, assuming that $n=2$ and that $(2)$ holds, we must show that there is a nonzero vector in $K^2$ which is not an eigenvector. But otherwise $A$ would have two distinct eigenvalues in $K$, and $K^2$ would be the union of two lines.
Here is a proof that $(2)$ implies $(3)$ when $n\ge3$ (proof which was not required).
By the Chinese Remainder Theorem we can assume that the minimal and characteristic polynomials of $A$ are equal to $p^m$, with $p$ irreducible and $m\ge1$. Then any vector of $K^n$ not annihilated by $p^{m-1}$ will have $p^m$ as its annihilator.
For the sake of completeness, here is a statement and a proof of the Chinese Remainder Theorem.
Let $R$ be a commutative ring and $\mathfrak a_1,\dots,\mathfrak a_n$ ideals such that $\mathfrak a_i+\mathfrak a_j=R$ for $i\not=j$. Then the natural morphism from $R$ to the product of the $R/\mathfrak a_i$ is surjective. Moreover the intersection of the $\mathfrak a_i$ coincides with their product.
Proof. We claim $ R=\mathfrak a_1+\mathfrak a_2\cdots\mathfrak a_n.\tag4 $ This can be checked either by multiplying together the equalities $R=\mathfrak a_1+\mathfrak a_i$ for $i=2,\dots,n$, or by noting that a prime ideal containing a product of ideals contains one of the factors. Then $(4)$ implies the existence of an $a_1$ in $R$ such that $ a_1\equiv1\bmod \mathfrak a_1,\quad a_1\equiv0\bmod \mathfrak a_i\ \forall\ i > 1. $ Similarly we can find elements $a_i$ in $R$ such that $a_i\equiv\delta_{ij}\bmod \mathfrak a_j$ (Kronecker delta). This proves the first claim.
Let $\mathfrak a$ be the intersection of the $\mathfrak a_i$. Multiplying $(4)$ by $\mathfrak a$ we get $ \mathfrak a= \mathfrak a_1\mathfrak a+ \mathfrak a\mathfrak a_2\cdots\mathfrak a_n\subset \mathfrak a_1\ (\mathfrak a_2\cap\cdots\cap\mathfrak a_n)\subset\mathfrak a. $ This gives the second claim, directly for $n=2$, by induction for $n > 2$. QED
ASIDE. It is tempting to generalize results about endomorphisms of finite dimensional vector spaces to results about finitely generated torsion modules over Dedekind domains. Then the first question is: how do you generalize the notion of characteristic polynomial? The answer is obvious:
Let $D$ be a Dedekind domain, $G$ the Grothendieck group of the category $C$ of finitely generated torsion $D$-modules, and $H$ the group of fractional ideals of $D$. Then the map $D/\mathfrak a\mapsto\mathfrak a$ induces an isomorphism $\chi$ of $G$ onto $H$, mapping the elements of $G$ represented by objects of $C$ onto the integral ideals of $D$, prompting us to call $\chi([M])$ the characteristic ideal of $M$.
In particular, the equivalence between $(1)$, $(2)$ and $(3)$ remains true in this wider context.
EDIT. In the above Aside, the assumption that $D$ is a principal ideal domain has been relaxed to the assumption that $D$ is only a Dedekind domain.