I have proven that the collatz conjecture is true if and only if there are no non trivial cycles
As I understand it, whether or not any non trivial-cycles exist is the very basis of the conjecture. By definition, if there are non-trivial cycles, then the conjecture is false; if there are not, then the conjecture is true. The statement you've made amounts to "the Collatz conjecture is true if and only if it is true."