Apart from notation, the abstract root system argument is given at the end of section 9.4 in my 1972 textbook, Springer GTM 9. (See also section 8.4 for the origin in semisimple Lie algebras. Together these are the first item in my list Index of Terminology.)
This relies of course on the geometry of reflections, which causes you some trouble. Algebraically, the axioms show that the reflection $s_\alpha$ (written there as $\sigma_\alpha$) takes a non-proportional root $\beta$ to $\beta + c \alpha$ for some $c \in \mathbb{Z}$. Thus the reflection $s_\alpha$ leaves the $\alpha$-string through $\beta$ invariant and interchanges endpoints (being of order 2).
[Note that the string is unbroken, which in Section 8 requires some representation theory of the rank 1 semisimple Lie algebra but in Section 9 follows from the easy first step in the classification of root systems embodied in Table 1 as used in the proof of Lemma 9.4. The upshot is that root strings (for the adjoint representation) have length at most 4, which is probably impossible to prove without taking a step into the classification.]