A major (straight line) can only be divided (into its component terms) at the same point.
In other words, \[\sqrt{\frac{1+\alpha}{2\sqrt{1+\alpha^2}}} + \sqrt{\frac{1-\alpha}{2\sqrt{1+\alpha^2}}} =\sqrt{\frac{1+\beta}{2\sqrt{1+\beta^2}}} + \sqrt{\frac{1-\beta}{2\sqrt{1+\beta^2}}}\] has only one solution: i.e., \[\beta=\alpha,\] where \(\alpha,\beta\) denote positive rational numbers.
This proposition corresponds to [Prop. 10.82], with plus signs instead of minus signs.
Proofs: 1
Propositions: 1