Xavier Holt edited Observe_the_angles_angle_PQ__.tex  about 8 years ago

Commit id: edf710467c55efaffa41c27ae5ce2ebe75b0cfa8

deletions | additions      

       

\therefore \alpha := \max \left( PQ'A, PQ'B \right) &\geq \frac{\pi}{2}  \end{align}  As such $\alpha$ must be the unique largest internal angle in the triangle $PQ'B$. Consequently the side opposite $\alpha$ -- $PB$ -- is the unique hypotenuse of the triangle. Notably, this means As such  $|PB| > |PQ'|$.   However $P$ and $B$ are both elements of the convex hull, so by the convexity property we can draw |PQ'|$,  a non-intersecting line segment between them. contradiction.