You have to go to the cave of origin, then pacifidlog town to find him. Nearby is the Sky Pillar, which holds Rayquaza. After getting him, you can go back to see Juan there as Rayquaza resolves the conflict between Kyogre and Groudon. The gym itself doesn't have too difficult a puzzle.