En algèbre linéaire, le théorème de McCoy[1] donne une condition nécessaire et suffisante pour que deux matrices carrés complexes soient cotrigonalisables[2].
Le corps des nombres complexes peut être remplacé par n'importe quel corps contenant toutes les valeurs propres des deux matrices, et le théorème se généralise à un nombre quelconque (fini) de matrices[3].