Main Data History
Show Index Toggle 0 comments
  •  Quick Edit
  • Assignment 2

    Supplementary image to Q1.

    Fat Points

    Proof by contradiction. Assume that the line segment between points \(P,Q\) has maximum pairwise distance, and that \(Q\) does not lie on a vertex. Let the point on the boundary of our hull found by extending the line \(PQ\) be denoted \(Q'\). This boundary segment is defined between two vertices on our convex hull which we refer to as \(A\) and \(B\). See \(\mathbf{Fig. 1}\) for clarification.

    Q Lies on the Interior of the Hull

    Clearly \(|PQ'|>|PQ|\). In the following section we show that there is always a line-segment longer than \(|PQ'|\). By the transitive property of inequality this segment must also be longer than \(PQ\), a contradiction.

    Q Lies on a Hull Edge

    In this case, \(Q=Q^{\prime}\). Observe the angles \(\angle PQ^{\prime}A\) and \(\angle PQ^{\prime}B\). WLOG assume \(\angle PQ^{\prime}B\) is the larger of the two and denote it \(\alpha\).

    \begin{align} \angle PQ^{\prime}A+\angle PQ^{\prime}B & =\pi\notag \\ \therefore\alpha:=\max\left(PQ^{\prime}A,PQ^{\prime}B\right) & \geq\frac{\pi}{2}\notag \\ \end{align}

    As such \(\alpha\) must be the unique largest internal angle in the triangle \(PQ^{\prime}B\). Consequently the side opposite \(\alpha\) \(\left(PB\right)\) is the unique hypotenuse of the triangle. As such \(|PB|>|PQ^{\prime}|\). However \(P\) and \(B\) are both elements of the convex hull so we have found a line segment with length larger than our assumed maximum, a contradiction.

    Points of comparison when inserting an interval into the heap.