This is a bit of a weird question because the problem is more about how you could even go about formalizing a hypothesis more than how to prove it — but it seemed like a fun idea and I figured someone has to have some kind of results like this about rigid body mechanics.
Anyway, a CVT is a coupling that allows transfer of angular motion from one rod to another with $\omega_o = \omega_i*c$ for all $c$ in some non-empty interval $(0, m)$ where these are the output angular velocity and input angular velocity respectively.
Now there are a whole bunch of CVT designs built on various frictional mechanisms. For instance, you can have cones facing opposite directions on the end of the input and output shafts and use freely spinning ring/ball to bridge the gap. By adjusting where the ring makes contact you can change the value of c. However, every design seems to use a frictional coupling.
And intuitively it seems obvious something like that has to be the case. Any rigid connection like gear teeth would seem to force a fixed relationship but I started thinking about how one could actually prove something like that I had no idea. I assume there must be results like this but that's so far from my area I don't even have a clue.
—
Before I get immediately counterexampled let me specify that I want to restrict the question to the interaction of rigid bodies and I want to exclude things like chains or other situations where the connection between input/output has any kind of free play like paddles intermittently batting something or non-uniqueness like one way ratchets. I'd like to say something like maybe forward motion of input shaft must always result in a unique non-zero movement of output shaft and there must be a unique configuration at all times -- but I fear this actually rules out too much even classical gears.
So I have no real idea on how you would even formalize the idea but I feel like there must be math about this sort of thing. Thoughts?
--
EDIT: I foolishly assumed but didn't specify that it should take input from only a single rotating shaft. For the more general case of multiple input shafts the condition should have been formulated as saying the output should be able to have unboundedly large torque given bounded input torques. Hence why I wouldn't regard the planetary setup mention below as qualifying as the output torque is limited to a finite multiple (given by gear ratio) of the torque on input driving the exterior ring.