Connecting Septembrino's theorem with known tuples
This is a quick tree that uses Septembrino's interesting pairing theorem ([Paired sequences p/2p+1, for odd p, theorem : r/Collatz](https://www.reddit.com/r/Collatz/comments/1lias5m/paired_sequences_p2p1_for_odd_p_theorem/)):
- The pairs generated using the theorem are in bold. This is only a small selection (k<45), so some of these pairs have not been found.
- The preliminary pairs are in yellow; final pairs in green.
- Larger tuples are visible by their singleton: even for even triplets and 5-tuples (blue), odd for odd triplets (rosa).
It seems reasonable to conclude that Septembrino's pairs are preliminary. Hopefully, it might lead to theorem(s) about the other tuples.
[Overview of the project (structured presentation of the posts with comments) : r/Collatz](https://www.reddit.com/r/Collatz/comments/1k98c5a/overview_of_the_project_structured_presentation/)
Posted Aug 25, 2025, 3:48 PM UTC
330