This is sort of how Fermat's last theorem was solved by Andrew Wiles (forgive me if I misrepresent this proof, my math is a few years rusty) - by creating a different kind of representation of elliptic curves, it was possible to compare them to modular forms in a way that created a contradiction that proved the theorem correct.