Skip to main content
Mathematics LibreTexts

1.3: Problem Set 1

  • Page ID
    105367

    \( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

    \( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)

    \( \newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\)

    ( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\)

    \( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)

    \( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\)

    \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)

    \( \newcommand{\Span}{\mathrm{span}}\)

    \( \newcommand{\id}{\mathrm{id}}\)

    \( \newcommand{\Span}{\mathrm{span}}\)

    \( \newcommand{\kernel}{\mathrm{null}\,}\)

    \( \newcommand{\range}{\mathrm{range}\,}\)

    \( \newcommand{\RealPart}{\mathrm{Re}}\)

    \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)

    \( \newcommand{\Argument}{\mathrm{Arg}}\)

    \( \newcommand{\norm}[1]{\| #1 \|}\)

    \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)

    \( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\AA}{\unicode[.8,0]{x212B}}\)

    \( \newcommand{\vectorA}[1]{\vec{#1}}      % arrow\)

    \( \newcommand{\vectorAt}[1]{\vec{\text{#1}}}      % arrow\)

    \( \newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

    \( \newcommand{\vectorC}[1]{\textbf{#1}} \)

    \( \newcommand{\vectorD}[1]{\overrightarrow{#1}} \)

    \( \newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}} \)

    \( \newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}} \)

    \( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

    \( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)

    \(\newcommand{\avec}{\mathbf a}\) \(\newcommand{\bvec}{\mathbf b}\) \(\newcommand{\cvec}{\mathbf c}\) \(\newcommand{\dvec}{\mathbf d}\) \(\newcommand{\dtil}{\widetilde{\mathbf d}}\) \(\newcommand{\evec}{\mathbf e}\) \(\newcommand{\fvec}{\mathbf f}\) \(\newcommand{\nvec}{\mathbf n}\) \(\newcommand{\pvec}{\mathbf p}\) \(\newcommand{\qvec}{\mathbf q}\) \(\newcommand{\svec}{\mathbf s}\) \(\newcommand{\tvec}{\mathbf t}\) \(\newcommand{\uvec}{\mathbf u}\) \(\newcommand{\vvec}{\mathbf v}\) \(\newcommand{\wvec}{\mathbf w}\) \(\newcommand{\xvec}{\mathbf x}\) \(\newcommand{\yvec}{\mathbf y}\) \(\newcommand{\zvec}{\mathbf z}\) \(\newcommand{\rvec}{\mathbf r}\) \(\newcommand{\mvec}{\mathbf m}\) \(\newcommand{\zerovec}{\mathbf 0}\) \(\newcommand{\onevec}{\mathbf 1}\) \(\newcommand{\real}{\mathbb R}\) \(\newcommand{\twovec}[2]{\left[\begin{array}{r}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\ctwovec}[2]{\left[\begin{array}{c}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\threevec}[3]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\cthreevec}[3]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\fourvec}[4]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\cfourvec}[4]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\fivevec}[5]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\cfivevec}[5]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\mattwo}[4]{\left[\begin{array}{rr}#1 \amp #2 \\ #3 \amp #4 \\ \end{array}\right]}\) \(\newcommand{\laspan}[1]{\text{Span}\{#1\}}\) \(\newcommand{\bcal}{\cal B}\) \(\newcommand{\ccal}{\cal C}\) \(\newcommand{\scal}{\cal S}\) \(\newcommand{\wcal}{\cal W}\) \(\newcommand{\ecal}{\cal E}\) \(\newcommand{\coords}[2]{\left\{#1\right\}_{#2}}\) \(\newcommand{\gray}[1]{\color{gray}{#1}}\) \(\newcommand{\lgray}[1]{\color{lightgray}{#1}}\) \(\newcommand{\rank}{\operatorname{rank}}\) \(\newcommand{\row}{\text{Row}}\) \(\newcommand{\col}{\text{Col}}\) \(\renewcommand{\row}{\text{Row}}\) \(\newcommand{\nul}{\text{Nul}}\) \(\newcommand{\var}{\text{Var}}\) \(\newcommand{\corr}{\text{corr}}\) \(\newcommand{\len}[1]{\left|#1\right|}\) \(\newcommand{\bbar}{\overline{\bvec}}\) \(\newcommand{\bhat}{\widehat{\bvec}}\) \(\newcommand{\bperp}{\bvec^\perp}\) \(\newcommand{\xhat}{\widehat{\xvec}}\) \(\newcommand{\vhat}{\widehat{\vvec}}\) \(\newcommand{\uhat}{\widehat{\uvec}}\) \(\newcommand{\what}{\widehat{\wvec}}\) \(\newcommand{\Sighat}{\widehat{\Sigma}}\) \(\newcommand{\lt}{<}\) \(\newcommand{\gt}{>}\) \(\newcommand{\amp}{&}\) \(\definecolor{fillinmathshade}{gray}{0.9}\)

    Exs 1-6 relate to the pictured isosceles triangle with base angles at B and C. In each, indicate in a corresponding sketch all given information in the standard manner and, equally important, nothing but the given information. Then prove the base angles are congruent freely using, as appropriate, any of the standard congruence statements SAS, SSS, ASA, AAS, and Hypotenuse-Leg.

    Screen Shot 2022-06-23 at 12.09.35 PM.png

    1. Assume that point \(\mathrm{D}\) is the point determined by ray \(\mathrm{AE}\), the bisector of \(\angle \mathrm{A}\).
    2. Assume that point \(\mathrm{D}\) is the midpoint of line segment BC.
    3. Assume that point \(\mathrm{D}\) is determined by the perpendicular from (on) point A to line BC.
    4. Explain why the picture is misleading if you were to assume that line \(\mathrm{DE}\) is the perpendicular bisector of segment BC so that your ensuing proof would probably be flawed (i.e., not a proof at all).
    5. Using only isosceles \(\triangle \mathrm{ABC}\) (that is, with no auxiliary points or lines) and SAS.
    6. Using only isosceles \(\triangle \mathrm{ABC}\) (that is, with no auxiliary points or lines) and SSS.
    7. Proposition 9 in Euclid’s Elements, Book 1, and is translated as, "To bisect a given rectilinear angle." Construct the bisector of an angle and prove that it is valid.
    8. Construct a perpendicular line to a line from (or "on") a point which is not on the line and prove your construction is valid.
    9. Construct a perpendicular line to a line on a point which is on the line and prove your construction. [Note: In both Exs 8 and 9, the indefinite article "a" is deliberate but, and as remarked in the text for different reasons, both lines are unique so "the".]
    10. Definitions are crucial to mathematics even though I generally will not ask you to quote any of the standard ones of elementary Euclidean geometry. For each, state the essence of its definition; i.e., only the information known about the geometric figure or situation by definition. Include a sketch of a representative of each situation and indicate in it only the information given from its definition.

    i. isosceles triangle xii. complementary angles xxiii. rhombus

    ii. right angle xiii. supplementary angles xxiv. bisector

    iii. rectangle \(\quad\) xiv. tangent line \(\quad x x v\). regular polygon

    iv. scalene triangle \(\quad \mathrm{xv}\). concentric circles \(\quad\) xxvi. median

    v. obtuse triangle xvi. trapezoid \(\quad\) xxvii. altitude

    vi. right triangle \(\quad\) xvii. isosceles trapezoid \(\quad\) xxviii. concurrent lines

    vii. square xviii. radius \(\quad\) xxix. skew lines

    viii. parallel lines \(\quad\) xix. diameter \(\quad\) xxx. parallelogram

    ix. vertical angles \(\quad\) xx. tangent circles \(\quad\) xxxi. Add your own!

    x. perpendicular lines \(\quad\) xxi. incircle of a polygon (need not exist)

    xi. polygon xxii. circumcircle of polygon (need not exist)

    11. State (in modern, coherent, mathematical English) and prove Euclid’s Elements’ Proposition 6, the converse of the base angles of an isosceles triangle theorem.

    12. State (in modern, coherent, mathematical English) and prove Euclid’s Elements’ Prop. 18, "In any triangle the greater side subtends the greater angle." Complete the indicated second proof.

    1. State (in modern, coherent mathematical English) and prove Euclid’s Elements’ Prop. 19, the converse of the result in Ex \(12 .\)
    2. Consider the statement: All squares are rectangles.

    a. By the inclusive definition (the usual in mathematics), the statement is true. State it as an implication; that is, change the statement to "If p, then \(q\) " form.

    b. State its converse as a formal implication and restate the implication in casual (common use) form.

    c. Is it true? Prove your assertion.

    15. Prove that the shortest distance from a point to a line is along the perpendicular.

    1. A line is defined to be tangent to a circle if they intersect in exactly 1 point. Prove that a line that intersects a circle is tangent to the circle if and only if it is perpendicular to the radius that it determines.
    2. Once again, Ex 9 says " \(a\) perpendicular from a point to a line", not "the perpendicular from a point to a line. Prove that the definite article is correct and argue that on a sphere such a line need not be unique. [Hint: The North Pole and the Equator can be helpful here.] It is "the" under the axioms of neutral geometry but this is somewhat subtle, a consequence of the Exterior Angle Theorem, Prop.16.]
    3. Construct the copying of a triangle and prove that the construction is valid. [Note: This is not "duplicating that triangle"; that is archaic usage that means to double its area.]
    4. A kite is a quadrilateral with two pairs of congruent adjacent sides (the shape of a traditional kite).

    i. Prove that the diagonals of a kite are perpendicular.

    ii. State a reasonable (i.e., smooth, non-artificial sounding) form of the converse of \(19 i\).

    iii. Prove or disprove \(19 i i\).

    1. Theorem: A point is on the perpendicular bisector of a line segment if and only if it is equidistant from each of its endpoints. Note: An alternate form for this theorem, especially in older books is, "The locus of all points equidistant from two points is the perpendicular bisector of the line segment that joins them.”
    2. Given three points on a circle, construct the center of the circle.

    Note 1: This language means more than it says; it means to explain a construction procedure and prove that your procedure is valid.

    Note 2: Do not construct perpendicular bisectors of all 3 of the determined chords. Why not?

    1. Part of Proposition 26 (both ASA and AAS) is better thought of as "If SAS, then ASA." State its converse and prove it. [Hint: See the comments on SSS at the end of the Introduction.]
    2. A quadrilateral with the property that its four angles make two pairs of successive congruent angles (they share a side) is an isosceles trapezoid. Corollary: The opposite sides of a rectangle are congruent. [Hint: Consider the perpendicular bisector of either base and include diagonals to make congruent triangles.]

    This page titled 1.3: Problem Set 1 is shared under a CC BY-NC 4.0 license and was authored, remixed, and/or curated by .


    This page titled 1.3: Problem Set 1 is shared under a CC BY-NC 4.0 license and was authored, remixed, and/or curated by Wayne Bishop.

    • Was this article helpful?