Proof Logic - Unit 2: Proof & Logic #3: Types/Parts of Statements Notes & Assig.
Description
Questions & answers, secondary math shop.
- We're hiring
- Help & FAQ
- Privacy policy
- Student privacy
- Terms of service
- Tell us what you think
Have an account?
Logic and Proofs (Unit 2)
9th - 10th grade, mathematics.
22 questions
Introducing new Paper mode
No student devices needed. Know more
- 1. Multiple Choice Edit 1 minute 1 pt Given, "If I have a Siberian Husky, then I have a dog." Identify the hypothesis. If I have a Siberian Husky. I have a Siberian Husky. Then I have a dog. I have a dog.
- 2. Multiple Choice Edit 1 minute 1 pt Given, "If I have a Siberian Husky, then I have a dog." Identify the conclusion. If I have a Siberian Husky. I have a Siberian Husky. Then I have a dog. I have a dog.
- 3. Multiple Choice Edit 1 minute 1 pt Given, "If angles are congruent, then the measures of the angles are equal." Identify the converse. If the measures of the angles are equal, then the angles are congruent. "If angles are not congruent, then the measures of the angles are not equal." If the measures of the angles are not equal, then the angles are not congruent. If the angles are not congruent, then the measure of the angles are equal.
- 4. Multiple Choice Edit 1 minute 1 pt Use the law of syllogism to draw a conclusion from the two given statements: Statement 1: If you exercise regularly, then you have a healthy body Statement 2: If you have a healthy body, then you have more energy You have more energy If you exercise regularly, then you have more energy You have a healthy body If you do not have a healthy body, then you do not exercise regularly
Use the Law of Detachment:
If Bill wears a green shirt, then he will pass the test. Bill wore a green shirt.
What can you conclude?
Bill wore a green shirt.
Bill passed the test.
- 6. Multiple Choice Edit 1 minute 1 pt Use the Law of Detachment to draw a conclusion from the two given statements. If not possible, write not possible. Statement 1: If I study for one hour each day, then I will score well on the exam Statement 2: I will score well on the exam I study for 1 hour each day. I do not study for 1 hour each day If I do well on the exam, I studied for 1 hour each day. not possible
Reasoning based on facts, definitions, accepted properties, and the laws of logic is called ____________ reasoning.
Reasoning based on specific examples and patterns used to form conjectures is called ______________ reasoning.
Using the Law of Syllogism, write a new conditional statement that follows from the pair of true statements.
If you study, then you will pass the test. If you pass the test, then you will pass the class.
If you study, then you will pass the class.
If you pass the test, then you should study.
If you pass the class, then you will pass the test.
If you study, then you will pass the test.
Which of the following is NOT a property of a good proof?
Begins by stating the Given information.
Ends with statement to be Proven.
Includes a diagram.
Includes false statements.
- 14. Multiple Choice Edit 1 minute 1 pt What does the word BISECT mean? To cut something into more than five pieces. It is a plane with two sets of wings. A shape that has three sides. To cut something into two congruent pieces or in half.
Which Postulate/Definition would you use to find HG ?
Segment Addition Postulate
Angle Addition Postulate
Definition of Segment Bisector
Definition of Angle Bisector
Which of the following theorems/postulates would verify that ∠COB & ∠AOD are congruent?
Straight Angle Theorem
Congruent Compliments Theorem
Vertical Angles Theorem
Linear Pair Theorem
If AB =50, which definition would explain why AM =25?
Definition of Congruent
Definition of Midpoint
Definition of Segment
Given that AM=MB , what definition allows us to say that the respective segments are congruent?
If m∠XUZ = 123° and m∠ZUY = 45°, which definition/postulate explains why m∠XUY = 78°?
If the ray HK is bisecting ∠GHJ, then what reason would you use to say ∠GHK is congruent to ∠KHJ?
You know that an isosceles triangle has two congruent sides. You see a triangle with 2 congruent sides. You conclude that the triangle is isosceles.
What type of reasoning did you use?
Inductive reasoning
Deductive reasoning
You go fishing and notice every time you fish in a certain hole you never catch anything. You conclude that there are no fish in that hole.
What kind of reasoning did you use?
inductive reasoning
deductive reasoning
Explore all questions with a free account
Continue with email
Continue with phone
- Kindergarten
- Greater Than Less Than
- Measurement
- Multiplication
- Place Value
- Subtraction
- Punctuation
- 1st Grade Reading
- 2nd Grade Reading
- 3rd Grade Reading
- Cursive Writing
- Alphabet Coloring
- Animals Coloring
- Birthday Coloring
- Boys Coloring
- Buildings Coloring
- Cartoons Coloring
- Christmas Coloring
- Country Flag Coloring
- Country Map Coloring
- Disney Coloring
- Fantasy Coloring
- Food Coloring
- Girls Coloring
- Holidays Coloring
- Music Coloring
- Nature Coloring
- New Year Coloring
- People Coloring
- Religious Coloring
- Sports Coloring
- Toys Coloring
- Transportation Coloring
- US Sports Team Coloring
- Valentine Day Coloring
Unit 2 Logic Proof Homework 3 Conditional Statements
Displaying top 8 worksheets found for - Unit 2 Logic Proof Homework 3 Conditional Statements .
Some of the worksheets for this concept are Logic and conditional statements, Conditional statements work with answers, Geometry beginning proofs packet 1, Geometry chapter 2 reasoning and proof, , , Chapter 2 reasoning and proof augusta county public, Unit 4 logic packet.
Found worksheet you are looking for? To download/print, click on pop-out icon or print icon to worksheet to print or download. Worksheet will open in a new window. You can & download or print using the browser document reader options.
1. Logic and Conditional Statements
2. conditional statements worksheet with answers, 3. geometry beginning proofs packet 1, 4. geometry chapter 2 reasoning and proof, 7. chapter 2 reasoning and proof augusta county public, 8. unit 4 logic packet.
- Kindergarten
- Greater Than Less Than
- Measurement
- Multiplication
- Place Value
- Subtraction
- Punctuation
- 1st Grade Reading
- 2nd Grade Reading
- 3rd Grade Reading
- Cursive Writing
Unit 2 Logic And Proofs Homework 8 Segment Proofs
Unit 2 Logic And Proofs Homework 8 Segment Proofs - Displaying top 8 worksheets found for this concept.
Some of the worksheets for this concept are Geometry chapter 2 reasoning and proof, Chapter 2, Geometry beginning proofs packet 1, Algebraic proofs, Unit 1 tools of geometry reasoning and proof, Geometry proofs work with answers, Geometry proofs work with answers, Name geometry unit 2 note packet triangle proofs.
Found worksheet you are looking for? To download/print, click on pop-out icon or print icon to worksheet to print or download. Worksheet will open in a new window. You can & download or print using the browser document reader options.
1. GEOMETRY CHAPTER 2 Reasoning and Proof
2. chapter 2, 3. geometry beginning proofs packet 1, 4. 2.6 algebraic proofs, 5. unit 1: tools of geometry / reasoning and proof, 6. geometry proofs worksheets with answers, 7. geometry proofs worksheets with answers, 8. name geometry unit 2 note packet triangle proofs.
Provide details on what you need help with along with a budget and time limit. Questions are posted anonymously and can be made 100% private.
Studypool matches you to the best tutor to help you with your question. Our tutors are highly qualified and vetted.
Your matched tutor provides personalized help according to your question details. Payment is made only after you have completed your 1-on-1 session and are satisfied with your session.
- Homework Q&A
- Become a Tutor
All Subjects
Mathematics
Programming
Health & Medical
Engineering
Computer Science
Foreign Languages
Access over 20 million homework & study documents
Unit 2 logic and proof conditional statements worksheet.
Sign up to view the full document!
24/7 Homework Help
Stuck on a homework question? Our verified tutors can answer all questions, from basic math to advanced rocket science !
Similar Documents
working on a homework question?
Studypool is powered by Microtutoring TM
Copyright © 2024. Studypool Inc.
Studypool is not sponsored or endorsed by any college or university.
Ongoing Conversations
Access over 20 million homework documents through the notebank
Get on-demand Q&A homework help from verified tutors
Read 1000s of rich book guides covering popular titles
Sign up with Google
Sign up with Facebook
Already have an account? Login
Login with Google
Login with Facebook
Don't have an account? Sign Up
- school Campus Bookshelves
- menu_book Bookshelves
- perm_media Learning Objects
- login Login
- how_to_reg Request Instructor Account
- hub Instructor Commons
Margin Size
- Download Page (PDF)
- Download Full Book (PDF)
- Periodic Table
- Physics Constants
- Scientific Calculator
- Reference & Cite
- Tools expand_more
- Readability
selected template will load here
This action is not available.
13.3: Arc Length and Curvature
- Last updated
- Save as PDF
- Page ID 153991
- Gilbert Strang & Edwin “Jed” Herman
\( \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{\kernel}{\mathrm{null}\,}\)
\( \newcommand{\range}{\mathrm{range}\,}\)
\( \newcommand{\RealPart}{\mathrm{Re}}\)
\( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)
\( \newcommand{\Argument}{\mathrm{Arg}}\)
\( \newcommand{\norm}[1]{\| #1 \|}\)
\( \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}}}} \)
Learning Objectives
- Determine the length of a particle’s path in space by using the arc-length function.
- Explain the meaning of the curvature of a curve in space and state its formula.
- Describe the meaning of the normal and binormal vectors of a curve in space.
In this section, we study formulas related to curves in both two and three dimensions, and see how they are related to various properties of the same curve. For example, suppose a vector-valued function describes the motion of a particle in space. We would like to determine how far the particle has traveled over a given time interval, which can be described by the arc length of the path it follows. Or, suppose that the vector-valued function describes a road we are building and we want to determine how sharply the road curves at a given point. This is described by the curvature of the function at that point. We explore each of these concepts in this section.
Arc Length for Vector Functions
We have seen how a vector-valued function describes a curve in either two or three dimensions. Recall that the formula for the arc length of a curve defined by the parametric functions \(x=x(t),y=y(t),t_1≤t≤t_2\) is given by
\[s=\int^{t_2}_{t_1} \sqrt{(x′(t))^2+(y′(t))^2}dt. \nonumber \]
In a similar fashion, if we define a smooth curve using a vector-valued function \(\vecs r(t)=f(t) \,\hat{\mathbf{i}}+g(t) \,\hat{\mathbf{j}}\), where \(a≤t≤b\), the arc length is given by the formula
\[s=\int^{b}_{a} \sqrt{(f′(t))^2+(g′(t))^2}dt. \nonumber \]
In three dimensions, if the vector-valued function is described by \(\vecs r(t)=f(t) \,\hat{\mathbf{i}}+g(t) \,\hat{\mathbf{j}}+h(t) \,\hat{\mathbf{k}}\) over the same interval \(a≤t≤b\), the arc length is given by
\[s=\int^{b}_{a} \sqrt{(f′(t))^2+(g′(t))^2+(h′(t))^2}dt. \nonumber \]
Theorem: Arc-Length Formulas for Plane and Space curves
Plane curve : Given a smooth curve \(C\) defined by the function \(\vecs r(t)=f(t) \,\hat{\mathbf{i}}+g(t) \, \hat{\mathbf{j}}\), where \(t\) lies within the interval \([a,b]\), the arc length of \(C\) over the interval is
\[\begin{align} s &=\int^{b}_{a} \sqrt{[f′(t)]^2+[g′(t)]^2}dt \\[4pt] &=\int^{b}_{a} \|\vecs r′(t)\|dt . \label{Arc2D}\end{align} \]
Space curve : Given a smooth curve \(C\) defined by the function \(\vecs r(t)=f(t) \,\hat{\mathbf{i}}+g(t) \,\hat{\mathbf{j}}+h(t) \,\hat{\mathbf{k}}\), where \(t\) lies within the interval \([a,b]\), the arc length of \(C\) over the interval is
\[\begin{align} s &=\int^{b}_{a} \sqrt{[f′(t)]^2+[g′(t)]^2+[h′(t)]^2}dt \\[4pt] &=\int^{b}_{a} \|\vecs r′(t)\|dt . \label{Arc3D} \end{align} \]
The two formulas are very similar; they differ only in the fact that a space curve has three component functions instead of two. Note that the formulas are defined for smooth curves: curves where the vector-valued function \(\vecs r(t)\) is differentiable with a non-zero derivative. The smoothness condition guarantees that the curve has no cusps (or corners) that could make the formula problematic.
Example \(\PageIndex{1}\): Finding the Arc Length
Calculate the arc length for each of the following vector-valued functions:
- \(\vecs r(t)=(3t−2) \,\hat{\mathbf{i}}+(4t+5) \,\hat{\mathbf{j}},\quad 1≤t≤5\)
- \(\vecs r(t)=⟨t\cos t,t\sin t,2t⟩,0≤t≤2 \pi \)
\[\begin{align*} s &=\int^{b}_{a} \|\vecs r′(t)\|dt \\[4pt] &=\int^{5}_{1} \sqrt{3^2 + 4^2} dt \\[4pt] &=\int^{5}_{1} 5 dt = 5t\big|^{5}_{1} = 20. \end{align*}\]
\[\begin{align*} s &=\int^{b}_{a} ∥\vecs r′(t)∥dt \\[4pt] &=\int^{2 \pi}_{0} \sqrt{(\cos t−t \sin t)^2+( \sin t+t \cos t)^2+2^2} dt \\[4pt] &=\int^{2 \pi}_{0} \sqrt{( \cos ^2 t−2t \sin t \cos t+t^2 \sin ^2 t)+( \sin^2 t+2t \sin t \cos t+t^2 \cos ^2 t)+4} dt \\[4pt] &=\int^{2 \pi}_{0} \sqrt{\cos ^2 t+ \sin^2 t+t^2( \cos ^2 t+ \sin ^2 t)+4} dt \\[4pt] &=\int^{2 \pi}_{0} \sqrt{t^2+5} dt\end{align*}\]
Here we can use a table integration formula
\[\int \sqrt{u^2+a^2}du = \dfrac{u}{2}\sqrt{u^2+a^2} + \dfrac{a^2}{2} \ln \,\left|\, u + \sqrt{u^2+a^2} \,\right| + C, \nonumber \]
so we obtain
\[\begin{align*} \int^{2 \pi}_{0} \sqrt{t^2+5} dt \; &= \frac{1}{2} \bigg( t \sqrt{t^2+5}+5 \ln \,\left|t+\sqrt{t^2+5}\right| \bigg) _0^{2π} \\[4pt] &= \frac{1}{2} \bigg( 2π \sqrt{4π^2+5}+5 \ln \bigg( 2π+ \sqrt{4π^2+5} \bigg) \bigg)−\frac{5}{2} \ln \sqrt{5} \\[4pt] &≈25.343 \,\text{units}. \end{align*}\]
Exercise \(\PageIndex{1}\)
Calculate the arc length of the parameterized curve
\[\vecs r(t)=⟨2t^2+1,2t^2−1,t^3⟩,\quad 0≤t≤3. \nonumber \]
Use Equation \ref{Arc3D}.
\(\vecs r′(t)=⟨4t,4t,3t^2⟩,\) so \(s= \frac{1}{27}(113^{3/2}−32^{3/2})≈37.785\) units
We now return to the helix introduced earlier in this chapter. A vector-valued function that describes a helix can be written in the form
\[\vecs r(t)=R \cos \left(\dfrac{2πNt}{h}\right) \,\hat{\mathbf{i}} +R \sin \left(\dfrac{2πNt}{h}\right) \,\hat{\mathbf{j}}+t \,\hat{\mathbf{k}},0≤t≤h, \nonumber \]
where \(R\) represents the radius of the helix, \(h\) represents the height (distance between two consecutive turns), and the helix completes \(N\) turns. Let’s derive a formula for the arc length of this helix using Equation \ref{Arc3D}. First of all,
\[\vecs r′(t)=−\dfrac{2πNR}{h} \sin \left(\dfrac{2πNt}{h}\right) \,\hat{\mathbf{i}}+ \dfrac{2πNR}{h} \cos \left(\dfrac{2πNt}{h} \right) \,\hat{\mathbf{j}}+\,\hat{\mathbf{k}}. \nonumber \]
\[\begin{align*} s & =\int_a^b ‖\vecs r′(t)‖dt \\[4pt] &=\int_0^h\sqrt{ \bigg(−\dfrac{2πNR}{h} \sin \bigg(\dfrac{2πNt}{h} \bigg) \bigg)^2+ \bigg( \dfrac{2πNR}{h} \cos \bigg( \dfrac{2πNt}{h} \bigg) \bigg)^2+1^2}dt \\[4pt] &=\int_0^h\sqrt{ \dfrac{4π^2N^2R^2}{h^2} \bigg( \sin ^2 \bigg(\dfrac{2πNt}{h} \bigg) + \cos ^2 \bigg( \dfrac{2πNt}{h} \bigg) \bigg)+1}dt \\[4pt] &=\int_0^h\sqrt{ \dfrac{4π^2N^2R^2}{h^2} +1}dt \\[4pt] &=\bigg[ t\sqrt{ \dfrac{4π^2N^2R^2}{h^2} +1}\bigg]^h_0 \\[4pt] &=h \sqrt{ \dfrac{4π^2N^2R^2 + h^2}{h^2}} \\[4pt] &=\sqrt{ 4π^2N^2R^2 + h^2}.\end{align*}\]
This gives a formula for the length of a wire needed to form a helix with \(N\) turns that has radius \(R\) and height \(h\).
Arc-Length Parameterization
We now have a formula for the arc length of a curve defined by a vector-valued function. Let’s take this one step further and examine what an arc-length function is.
If a vector-valued function represents the position of a particle in space as a function of time, then the arc-length function measures how far that particle travels as a function of time. The formula for the arc-length function follows directly from the formula for arc length:
\[s=\int^{t}_{a} \sqrt{(f′(u))^2+(g′(u))^2+(h′(u))^2}du. \label{arclength2} \]
If the curve is in two dimensions, then only two terms appear under the square root inside the integral. The reason for using the independent variable u is to distinguish between time and the variable of integration. Since \(s(t)\) measures distance traveled as a function of time, \(s′(t)\) measures the speed of the particle at any given time. Since we have a formula for \(s(t)\) in Equation \ref{arclength2}, we can differentiate both sides of the equation:
\[ \begin{align*} s′(t) &=\dfrac{d}{dt} \bigg[ \int^{t}_{a} \sqrt{(f′(u))^2+(g′(u))^2+(h′(u))^2}du \bigg] \\[4pt] &=\dfrac{d}{dt} \bigg[ \int^{t}_{a} ‖\vecs r′(u)‖du \bigg] \\[4pt] &=\|\vecs r′(t)\|.\end{align*}\]
If we assume that \(\vecs r(t)\) defines a smooth curve, then the arc length is always increasing, so \(s′(t)>0\) for \(t>a\). Last, if \(\vecs r(t)\) is a curve on which \(\|\vecs r′(t)\|=1 \) for all \(t\), then
\[s(t)=\int^{t}_{a} ‖\vecs r′(u)‖\,du=\int^{t}_{a} 1\,du=t−a, \nonumber \]
which means that \(t\) represents the arc length as long as \(a=0\).
Theorem: Arc-Length Function
Let \(\vecs r(t)\) describe a smooth curve for \(t≥a\). Then the arc-length function is given by
\[s(t)=\int^{t}_{a} ‖\vecs r′(u)‖\,du \nonumber \]
Furthermore,
\[\dfrac{ds}{dt}=‖\vecs r′(t)‖>0. \nonumber \]
If \(‖\vecs r′(t)‖=1\) for all \(t≥a\), then the parameter \(t\) represents the arc length from the starting point at \(t=a\).
A useful application of this theorem is to find an alternative parameterization of a given curve, called an arc-length parameterization . Recall that any vector-valued function can be reparameterized via a change of variables. For example, if we have a function \(\vecs r(t)=⟨3 \cos t,3 \sin t⟩,0≤t≤2π\) that parameterizes a circle of radius 3, we can change the parameter from \(t\) to \(4t\), obtaining a new parameterization \(\vecs r(t)=⟨3 \cos 4t,3 \sin 4t⟩\). The new parameterization still defines a circle of radius 3, but now we need only use the values \(0≤t≤π/2\) to traverse the circle once.
Suppose that we find the arc-length function \(s(t)\) and are able to solve this function for \(t\) as a function of \(s\) . We can then reparameterize the original function \(\vecs r(t)\) by substituting the expression for \(t\) back into \(\vecs r(t)\). The vector-valued function is now written in terms of the parameter \(s\) . Since the variable \(s\) represents the arc length, we call this an arc-length parameterization of the original function \(\vecs r(t)\). One advantage of finding the arc-length parameterization is that the distance traveled along the curve starting from \(s=0\) is now equal to the parameter \(s\). The arc-length parameterization also appears in the context of curvature (which we examine later in this section) and line integrals.
Example \(\PageIndex{2}\): Finding an Arc-Length Parameterization
Find the arc-length parameterization for each of the following curves:
- \(\vecs r(t)=4 \cos t \,\hat{\mathbf{i}}+ 4 \sin t \,\hat{\mathbf{j}},\quad t≥0\)
- \(\vecs r(t)=⟨t+3,2t−4,2t⟩,\quad t≥3\)
\[\begin{align*} s(t) &= \int_a^t ‖\vecs r′(u)‖ \,du \\[4pt] &= \int_0^t ‖⟨−4 \sin u,4 \cos u⟩‖ \,du \\[4pt] &= \int_0^t \sqrt{(−4 \sin u)^2+(4 \cos u)^2} \,du \\[4pt] &= \int_0^t \sqrt{16 \sin ^2 u+16 \cos ^2 u} \,du \\[4pt] &= \int_0^t 4\,du = 4t, \end{align*}\]
which gives the relationship between the arc length \(s\) and the parameter \(t\) as \(s=4t;\) so, \(t=s/4\). Next we replace the variable \(t\) in the original function \(\vecs r(t)=4 \cos t \,\hat{\mathbf{i}}+4 \sin t \,\hat{\mathbf{j}}\) with the expression \(s/4\) to obtain
\[\vecs r(s)=4 \cos \left(\frac{s}{4}\right) \,\hat{\mathbf{i}} + 4 \sin \left( \frac{s}{4}\right) \,\hat{\mathbf{j}}. \nonumber \]
\[\begin{align*} s(t) & = \int_a^t ‖\vecs r′(u)‖ \,du \\[4pt] &= \int_3^t ‖⟨1,2,2⟩‖ \,du \\[4pt] &= \int_3^t \sqrt{1^2+2^2+2^2} \,du \\[4pt] &= \int_3^t 3 \,du \\[4pt] &= 3t - 9. \end{align*}\]
\[\vecs r(s)=⟨\left(\frac{s}{3}+3\right)+3,\,2\left(\frac{s}{3}+3\right)−4,\,2\left(\frac{s}{3}+3\right)⟩=⟨\frac{s}{3}+6, \frac{2s}{3}+2,\frac{2s}{3}+6⟩.\nonumber \]
Exercise \(\PageIndex{2}\)
Find the arc-length function for the helix
\[\vecs r(t)=⟨3 \cos t, 3 \sin t,4t⟩,\quad t≥0. \nonumber \]
Then, use the relationship between the arc length and the parameter \(t\) to find an arc-length parameterization of \(\vecs r(t)\).
Start by finding the arc-length function.
\(s=5t\), or \(t=s/5\). Substituting this into \(\vecs r(t)=⟨3 \cos t,3 \sin t,4t⟩\) gives
\[\vecs r(s)=⟨3 \cos \left(\frac{s}{5}\right),3 \sin \left(\frac{s}{5}\right),\frac{4s}{5}⟩,\quad s≥0 \nonumber \]
An important topic related to arc length is curvature. The concept of curvature provides a way to measure how sharply a smooth curve turns. A circle has constant curvature. The smaller the radius of the circle, the greater the curvature.
Think of driving down a road. Suppose the road lies on an arc of a large circle. In this case you would barely have to turn the wheel to stay on the road. Now suppose the radius is smaller. In this case you would need to turn more sharply to stay on the road. In the case of a curve other than a circle, it is often useful first to inscribe a circle to the curve at a given point so that it is tangent to the curve at that point and “hugs” the curve as closely as possible in a neighborhood of the point (Figure \(\PageIndex{1}\)). The curvature of the graph at that point is then defined to be the same as the curvature of the inscribed circle.
Definition: Curvature
Let \(C\) be a smooth curve in the plane or in space given by \(\vecs r(s)\), where \(s\) is the arc-length parameter. The curvature \(κ\) at \(s\) is
\[κ =\bigg{\|}\dfrac{d\vecs{T}}{ds}\bigg{\|}=‖\vecs T′(s)‖. \nonumber \]
Visit this video for more information about the curvature of a space curve.
The formula in the definition of curvature is not very useful in terms of calculation. In particular, recall that \(\vecs T(t)\) represents the unit tangent vector to a given vector-valued function \(\vecs r(t)\), and the formula for \(\vecs T(t)\) is
\[\vecs T(t)=\frac{\vecs r′(t)}{∥\vecs r′(t)∥}. \nonumber \]
To use the formula for curvature, it is first necessary to express \(\vecs r(t)\) in terms of the arc-length parameter \(s\), then find the unit tangent vector \(\vecs T(s)\) for the function \(\vecs r(s)\), then take the derivative of \(\vecs T(s)\) with respect to \(s\). This is a tedious process. Fortunately, there are equivalent formulas for curvature.
Theorem: Alternate Formulas of Curvature
If \(C\) is a smooth curve given by \(\vecs r(t)\), then the curvature \(κ\) of \(C\) at \(t\) is given by
\[κ =\dfrac{‖\vecs T′(t)‖}{‖\vecs r′(t)‖}. \label{EqK2} \]
If \(C\) is a three-dimensional curve, then the curvature can be given by the formula
\[κ =\dfrac{‖\vecs r′(t)×\vecs r′′(t)‖}{‖\vecs r′(t)‖^3}.\label{EqK3} \]
If \(C\) is the graph of a function \(y=f(x)\) and both \(y′\) and \(y''\) exist, then the curvature \(κ\) at point \((x,y)\) is given by
\[κ =\dfrac{|y''|}{[1+(y′)^2]^{3/2}}.\label{EqK4} \]
The first formula follows directly from the chain rule:
\[\dfrac{d\vecs{T}}{dt} = \dfrac{d\vecs{T}}{ds} \dfrac{ds}{dt}, \nonumber \]
where \(s\) is the arc length along the curve \(C\). Dividing both sides by \(ds/dt\), and taking the magnitude of both sides gives
\[\bigg{\|}\dfrac{d\vecs{T}}{ds}\bigg{\|}= \left\lVert\frac{\vecs T′(t)}{\dfrac{ds}{dt}}\right\rVert.\nonumber \]
Since \(ds/dt=‖\vecs r′(t)‖\), this gives the formula for the curvature \(κ\) of a curve \(C\) in terms of any parameterization of \(C\):
\[κ =\dfrac{‖\vecs T′(t)‖}{‖\vecs r′(t)‖}.\nonumber \]
In the case of a three-dimensional curve, we start with the formulas \(\vecs T(t)=(\vecs r′(t))/‖\vecs r′(t)‖\) and \(ds/dt=‖\vecs r′(t)‖\). Therefore, \(\vecs r′(t)=(ds/dt)\vecs T(t)\). We can take the derivative of this function using the scalar product formula:
\[\vecs r″(t)=\dfrac{d^2s}{dt^2}\vecs T(t)+\dfrac{ds}{dt}\vecs T′(t).\nonumber \]
Using these last two equations we get
\[\begin{align*} \vecs r′(t)×\vecs r″(t) &=\dfrac{ds}{dt}\vecs T(t)× \bigg( \dfrac{d^2s}{dt^2}\vecs T(t)+\dfrac{ds}{dt}\vecs T′(t) \bigg) \\[4pt] &=\dfrac{ds}{dt} \dfrac{d^2s}{dt^2}\vecs T(t)×\vecs T(t)+(\dfrac{ds}{dt})^2\vecs T(t)×\vecs T′(t). \end{align*}\]
Since \(\vecs T(t)×\vecs T(t)=0\), this reduces to
\[\vecs r′(t)×\vecs r′′(t)=\left(\dfrac{ds}{dt}\right)^2\vecs T(t)×\vecs T′(t).\nonumber \]
Since \(\vecs T′\) is parallel to \(\vecs N\), and \(\vecs T\) is orthogonal to \(\vecs N\), it follows that \(\vecs T\) and \(\vecs T′\) are orthogonal. This means that \(‖\vecs T×\vecs T′‖=‖\vecs T‖‖\vecs T′‖ \sin (π/2)=‖\vecs T′‖\), so
\[\|\vecs r′(t)×\vecs r″(t)\|=\left(\dfrac{ds}{dt}\right)^2‖\vecs T′(t)‖.\nonumber \]
Now we solve this equation for \(‖\vecs T′(t)‖\) and use the fact that \(ds/dt=‖\vecs r′(t)‖\):
\[‖\vecs T′(t)‖=\dfrac{‖\vecs r′(t)×\vecs r″(t)‖}{‖\vecs r′(t)‖^2}.\nonumber \]
Then, we divide both sides by \(‖\vecs r′(t)‖\). This gives
\[κ =\dfrac{‖\vecs T′(t)‖}{‖\vecs r′(t)‖}=\dfrac{‖\vecs r′(t)×\vecs r″(t)‖}{‖\vecs r′(t)‖^3}.\nonumber \]
This proves \(\ref{EqK3}\). To prove \(\ref{EqK4}\), we start with the assumption that curve \(C\) is defined by the function \(y=f(x)\). Then, we can define \(\vecs r(t)=x \,\hat{\mathbf{i}}+f(x) \,\hat{\mathbf{j}}+0 \,\hat{\mathbf{k}}\). Using the previous formula for curvature:
\[\begin{align*} \vecs r′(t) &=\,\hat{\mathbf{i}}+f′(x)\,\hat{\mathbf{j}} \\[4pt] \vecs r″(t) &=f″(x)\,\hat{\mathbf{j}} \\[4pt] \vecs r′(t)×\vecs r″(t) &= \begin{vmatrix} \hat{\mathbf{i}} & \hat{\mathbf{j}} & \hat{\mathbf{k}} \\ 1 & f′(x) & 0 \\ 0 & f″(x) & 0 \end{vmatrix} =f″(x)\,\hat{\mathbf{k}}. \end{align*}\]
\[κ= \dfrac{‖\vecs r′(t)×\vecs r″(t)‖}{‖\vecs r′(t)‖^3}=\dfrac{|f″(x)|}{(1+[f′(x)]^2)^{3/2}} \nonumber \]
Example \(\PageIndex{3}\): Finding Curvature
Find the curvature for each of the following curves at the given point:
- \(\vecs r(t)=4 \cos t\,\hat{\mathbf{i}}+4 \sin t\,\hat{\mathbf{j}}+3t\,\hat{\mathbf{k}},\quad t=\dfrac{4π}{3}\)
- \(\mathrm{f(x)= \sqrt{4x−x^2},x=2}\)
- This function describes a helix.
The curvature of the helix at \(t=(4π)/3\) can be found by using \(\ref{EqK2}\). First, calculate \(\vecs T(t)\):
\[\begin{align*} \vecs T(t) &=\dfrac{\vecs r′(t)}{‖\vecs r′(t)‖} \\[4pt] &=\dfrac{⟨−4 \sin t,4 \cos t,3⟩}{\sqrt{(−4 \sin t)^2+(4 \cos t)^2+3^2}}\\[4pt] &=⟨−\dfrac{4}{5} \sin t,\dfrac{4}{5} \cos t, \dfrac{3}{5}⟩. \end{align*}\]
Next, calculate \(\vecs T′(t):\)
\[\vecs T′(t)=⟨−\dfrac{4}{5} \cos t,− \dfrac{4}{5} \sin t,0⟩. \nonumber \]
Last, apply \(\ref{EqK2}\) :
\[ \begin{align*} κ &=\dfrac{‖\vecs T′(t)‖}{‖\vecs r′(t)‖} = \dfrac{‖⟨−\dfrac{4}{5} \cos t,−\dfrac{4}{5} \sin t,0⟩‖}{‖⟨−4 \sin t,4 \cos t,3⟩‖} \\[4pt] &=\dfrac{\sqrt{(−\dfrac{4}{5} \cos t)^2+(−\dfrac{4}{5} \sin t)^2+0^2}}{\sqrt{(−4 \sin t)^2+(4 \cos t)^2+ 3^2}} \\[4pt] &=\dfrac{4/5}{5}=\dfrac{4}{25}. \end{align*}\]
The curvature of this helix is constant at all points on the helix.
- This function describes a semicircle.
To find the curvature of this graph, we must use \(\ref{EqK4}\). First, we calculate \(y′\) and \(y″:\)
\[\begin{align*}y &=\sqrt{4x−x^2}=(4x−x^2)^{1/2} \\[4pt] y′ &=\dfrac{1}{2}(4x−x^2)^{−1/2}(4−2x)=(2−x)(4x−x^2)^{−1/2} \\[4pt] y″ &=−(4x−x^2)^{−1/2}+(2−x)(−\dfrac{1}{2})(4x−x^2)^{−3/2}(4−2x) \\[4pt] & =−\dfrac{4x−x^2}{(4x−x^2)^{3/2}}− \dfrac{(2−x)^2}{(4x−x^2)^{3/2}} \\[4pt] &=\dfrac{x^2−4x−(4−4x+x^2)}{(4x−x^2)^{3/2}} \\[4pt] &=−\dfrac{4}{(4x−x^2)^{3/2}}. \end{align*} \nonumber \]
Then, we apply \(\ref{EqK4}\):
\[ \begin{align*} κ &=\dfrac{|y''|}{[1+(y′)^2]^{3/2}} \\[4pt] &= \dfrac{\bigg| −\dfrac{4}{(4x−x^2)^{3/2}}\bigg|}{\bigg[1+((2−x)(4x−x^2)^{−1/2})^2 \bigg]^{3/2}} = \dfrac{\bigg| \dfrac{4}{(4x−x^2)^{3/2}} \bigg|}{\bigg[ 1+\dfrac{(2−x)^2}{4x−x^2} \bigg]^ {3/2}} \\[4pt] &= \dfrac{\bigg| \dfrac{4}{(4x−x^2)^{3/2}} \bigg|}{ \bigg[ \dfrac{4x−x^2+x^2−4x+4}{4x−x^2} \bigg]^{3/2}}=\bigg| \dfrac{4}{(4x−x^2)^{3/2}} \bigg| ⋅\dfrac{(4x−x^2)^{3/2}}{8} \\[4pt] &=\dfrac{1}{2}. \end{align*}\]
The curvature of this circle is equal to the reciprocal of its radius. There is a minor issue with the absolute value in \(\ref{EqK4}\) ; however, a closer look at the calculation reveals that the denominator is positive for any value of \(x\) .
Exercise \(\PageIndex{3}\)
Find the curvature of the curve defined by the function
\[y=3x^2−2x+4 \nonumber \]
at the point \(x=2\).
Use \(\ref{EqK4}\).
\(κ \; =\frac{6}{101^{3/2}}≈0.0059\)
The Normal and Binormal Vectors
We have seen that the derivative \(\vecs r′(t)\) of a vector-valued function is a tangent vector to the curve defined by \(\vecs r(t)\), and the unit tangent vector \(\vecs T(t)\) can be calculated by dividing \(\vecs r′(t)\) by its magnitude. When studying motion in three dimensions, two other vectors are useful in describing the motion of a particle along a path in space: the principal unit normal vector and the binormal vector .
Definition: Binormal Vectors
Let \(C\) be a three-dimensional smooth curve represented by \(\vecs r\) over an open interval \(I\) . If \(\vecs T′(t)≠\vecs 0\), then the principal unit normal vector at \(t\) is defined to be
\[\vecs N(t)=\dfrac{\vecs T′(t)}{‖\vecs T′(t)‖}. \label{EqNormal} \]
The binormal vector at \(t\) is defined as
\[\vecs B(t)=\vecs T(t)×\vecs N(t),\label{EqBinormal} \]
where \(\vecs T(t)\) is the unit tangent vector.
Note that, by definition, the binormal vector is orthogonal to both the unit tangent vector and the normal vector. Furthermore, \(\vecs B(t)\) is always a unit vector. This can be shown using the formula for the magnitude of a cross product.
\[‖\vecs B(t)‖=‖\vecs T(t)×\vecs N(t)‖=‖\vecs T(t)‖‖\vecs N(t)‖ \sin \theta, \nonumber \]
where \(\theta\) is the angle between \(\vecs T(t)\) and \(\vecs N(t)\). Since \(\vecs N(t)\) is the derivative of a unit vector, property (vii) of the derivative of a vector-valued function tells us that \(\vecs T(t)\) and \(\vecs N(t)\) are orthogonal to each other, so \(\theta=π/2\). Furthermore, they are both unit vectors, so their magnitude is 1. Therefore, \(‖\vecs T(t)‖‖\vecs N(t)‖ \sin \theta=(1)(1) \sin (π/2)=1\) and \(\vecs B(t)\) is a unit vector.
The principal unit normal vector can be challenging to calculate because the unit tangent vector involves a quotient, and this quotient often has a square root in the denominator. In the three-dimensional case, finding the cross product of the unit tangent vector and the unit normal vector can be even more cumbersome. Fortunately, we have alternative formulas for finding these two vectors, and they are presented in Motion in Space.
Example \(\PageIndex{4}\): Finding the Principal Unit Normal Vector and Binormal Vector
For each of the following vector-valued functions, find the principal unit normal vector. Then, if possible, find the binormal vector.
- \(\vecs r(t)=4 \cos t\,\hat{\mathbf{i}}− 4 \sin t\,\hat{\mathbf{j}}\)
- \(\vecs r(t)=(6t+2)\,\hat{\mathbf{i}}+5t^2\,\hat{\mathbf{j}}−8t\,\hat{\mathbf{k}}\)
- This function describes a circle.
To find the principal unit normal vector, we first must find the unit tangent vector \(\vecs T(t):\)
\[\begin{align*} \vecs T(t) &=\dfrac{\vecs r′(t)}{‖\vecs r′(t)‖} \\[4pt] &=\dfrac{−4 \sin t\,\hat{\mathbf{i}}−4 \cos t\,\hat{\mathbf{j}}}{\sqrt{(−4 \sin t)^2+(−4 \cos t)^2}} \\[4pt] &=\dfrac{−4 \sin t\,\hat{\mathbf{i}}−4 \cos t\,\hat{\mathbf{j}} }{\sqrt{16 \sin ^2 t+16 \cos ^2 t}} \\[4pt] &=\dfrac{−4 \sin t\,\hat{\mathbf{i}}−4 \cos t\,\hat{\mathbf{j}} }{\sqrt{16(\sin ^2 t+ \cos ^2 t)}} \\[4pt] &=\dfrac{−4 \sin t\,\hat{\mathbf{i}}−4 \cos t\,\hat{\mathbf{j}}}{4} \\[4pt] &=− \sin t\,\hat{\mathbf{i}}− \cos t\,\hat{\mathbf{j}}.\end{align*}\]
Next, we use \(\ref{EqNormal}\) :
\[\begin{align*} \vecs N(t) &=\dfrac{\vecs T′(t)}{‖\vecs T′(t)‖} \\[4pt] &=\dfrac{− \cos t\,\hat{\mathbf{i}}+\sin t\,\hat{\mathbf{j}}}{\sqrt{(− \cos t)^2+(\sin t)^2}} \\[4pt] &=\dfrac{− \cos t\,\hat{\mathbf{i}}+ \sin t\,\hat{\mathbf{j}}}{\sqrt{ \cos ^2 t+ \sin ^2 t}} \\[4pt] &=− \cos t\,\hat{\mathbf{i}}+ \sin t\,\hat{\mathbf{j}}. \end{align*}\]
Notice that the unit tangent vector and the principal unit normal vector are orthogonal to each other for all values of \(t\):
\[\begin{align*} \vecs T(t)·\vecs N(t) &=⟨− \sin t,− \cos t⟩·⟨− \cos t, \sin t⟩ \\[4pt] &= \sin t \cos t−\cos t \sin t \\[4pt] &=0. \end{align*}\]
Furthermore, the principal unit normal vector points toward the center of the circle from every point on the circle. Since \(\vecs r(t)\) defines a curve in two dimensions, we cannot calculate the binormal vector.
- This function looks like this:
To find the principal unit normal vector, we first find the unit tangent vector \(\vecs T(t):\)
\[\begin{align*} \vecs T(t) &=\dfrac{\vecs r′(t)}{‖\vecs r′(t)‖} \\[4pt] &=\dfrac{6\,\hat{\mathbf{i}}+10t\,\hat{\mathbf{j}}−8\,\hat{\mathbf{k}}}{ \sqrt{6^2+(10t)^2+(−8)^2}} \\[4pt] &=\dfrac{6\,\hat{\mathbf{i}}+10t\,\hat{\mathbf{j}}−8\,\hat{\mathbf{k}}}{ \sqrt{36+100t^2+64}} \\[4pt] &= \dfrac{6\,\hat{\mathbf{i}}+10t\,\hat{\mathbf{j}}−8\,\hat{\mathbf{k}}}{\sqrt{100(t^2+1)}} \\[4pt] &=\dfrac{3\,\hat{\mathbf{i}}−5t\,\hat{\mathbf{j}}−4\,\hat{\mathbf{k}}}{5\sqrt{t^2+1}} \\[4pt] &=\dfrac{3}{5}(t^2+1)^{−1/2}\,\hat{\mathbf{i}}−t(t^2+1)^{−1/2}\,\hat{\mathbf{j}}−\dfrac{4}{5}(t^2+1)^{−1/2}\,\hat{\mathbf{k}}. \end{align*}\]
Next, we calculate \(\vecs T′(t)\) and \(‖\vecs T′(t)‖\):
\[\begin{align*} \vecs T′(t) &=\dfrac{3}{5}(−\dfrac{1}{2})(t^2+1)^{−3/2}(2t)\,\hat{\mathbf{i}}−((t^2+1)^{−1/2}−t(\dfrac{1}{2})(t^2+1)^{−3/2}(2t))\,\hat{\mathbf{j}}−\dfrac{4}{5}(−\dfrac{1}{2})(t^2+1)^{−3/2}(2t)\,\hat{\mathbf{k}} \\[4pt] &=−\dfrac{3t}{5(t^2+1)^{3/2}}\,\hat{\mathbf{i}}−\dfrac{1}{(t^2+1)^{3/2}}\,\hat{\mathbf{j}}+\dfrac{4t}{5(t^2+1)^{3/2}}\,\hat{\mathbf{k}} \\[4pt] ‖\vecs T′(t)‖ &=\sqrt{\bigg(−\dfrac{3t}{5(t^2+1)^{3/2} }\bigg) ^2+ \bigg( −\dfrac{1}{(t^2+1)^{3/2}} \bigg) ^2+ \bigg( \dfrac{4t}{5(t^2+1)^{3/2}} \bigg)^2} \\[4pt] &=\sqrt{\dfrac{9t^2}{25(t^2+1)^3} +\dfrac{1}{(t^2+1)^3}+\dfrac{16t^2}{25(t^2+1)^3}} \\[4pt] &=\sqrt{\dfrac{25t^2+25}{25(t^2+1)^3}} \\[4pt] &=\sqrt{\dfrac{1}{(t^2+1)^2}} \\[4pt] &=\dfrac{1}{t^2+1}. \end{align*}\]
Therefore, according to \(\ref{EqNormal}\) :
\[\begin{align*} \vecs N(t) &=\dfrac{\vecs T′(t)}{‖\vecs T′(t)‖} \\[4pt] &= \bigg( −\dfrac{3t}{5(t^2+1)^{3/2}}\,\hat{\mathbf{i}}−\dfrac{1}{(t^2+1)^{3/2}}\,\hat{\mathbf{j}} +\dfrac{4t}{5(t^2+1)^{3/2}}\,\hat{\mathbf{k}} \bigg)(t^2+1) \\[4pt] &=−\dfrac{3t}{5(t^2+1)^{1/2}}\,\hat{\mathbf{i}}−\dfrac{5}{5(t^2+1)^{1/2}}\,\hat{\mathbf{j}}+\dfrac{4t}{5(t^2+1)^{1/2}}\,\hat{\mathbf{k}} \\[4pt] &=−\dfrac{3t\,\hat{\mathbf{i}}+5\,\hat{\mathbf{j}}−4t\,\hat{\mathbf{k}}}{5\sqrt{t^2+1}}. \end{align*}\]
Once again, the unit tangent vector and the principal unit normal vector are orthogonal to each other for all values of \(t\):
\[\begin{align*} \vecs T(t)·\vecs N(t) &= \bigg( \dfrac{3\,\hat{\mathbf{i}}−5t\,\hat{\mathbf{j}}−4\,\hat{\mathbf{k}}}{5\sqrt{t^2+1} }\bigg) · \bigg( −\dfrac{3t\,\hat{\mathbf{i}}+5\,\hat{\mathbf{j}}−4t\,\hat{\mathbf{k}}}{5\sqrt{t^2+1}} \bigg) \\[4pt] &=\dfrac{3(−3t)−5t(−5)−4(4t)}{25(t^2+1)} \\[4pt] &=\dfrac{−9t+25t−16t}{25(t^2+1)} \\[4pt] &=0. \end{align*} \nonumber \]
Last, since \(\vecs r(t)\) represents a three-dimensional curve, we can calculate the binormal vector using \(\ref{EqBinormal}\) :
\[\begin{align*} \vecs B(t) &= \; \vecs T(t)×\vecs N(t) \\[4pt] &= \begin{vmatrix} \hat{\mathbf{i}} & \hat{\mathbf{j}} & \hat{\mathbf{k}} \\ \dfrac{3}{5 \sqrt{t^2+1}} & − \dfrac {5t}{5\sqrt{t^2+1}} & −\dfrac {4}{5 \sqrt{t^2+1}} \\ −\dfrac {3t}{5\sqrt {t^2+1}} & − \dfrac {5}{5 \sqrt {t^2+1}} & \dfrac {4t}{5\sqrt{t^2+1}} \end{vmatrix} \\[4pt] &= \bigg( \bigg( − \dfrac{5t}{5\sqrt{t^2+1}} \bigg) \bigg( \dfrac{4t}{5\sqrt{t^2+1}} \bigg) − \bigg( − \dfrac{4}{5 \sqrt{t^2+1}} \bigg) \bigg( −\dfrac{5}{5\sqrt{t^2+1}} \bigg) \bigg)\,\hat{\mathbf{i}} \\ & - \bigg( \bigg( \dfrac{3}{5\sqrt{t^2+1}} \bigg) \bigg( \dfrac{4t}{5\sqrt{t^2+1}} \bigg) − \bigg( − \dfrac{4}{5 \sqrt{t^2+1}} \bigg) \bigg( −\dfrac{3t}{5\sqrt{t^2+1}} \bigg) \bigg)\,\hat{\mathbf{j}} \\ & + \bigg( \bigg( \dfrac{3}{5\sqrt{t^2+1}} \bigg) \bigg( - \dfrac{5}{5\sqrt{t^2+1}} \bigg) − \bigg( − \dfrac{5t}{5 \sqrt{t^2+1}} \bigg) \bigg( −\dfrac{3t}{5\sqrt{t^2+1}} \bigg) \bigg)\,\hat{\mathbf{k}} \\[4pt] &= \bigg( \dfrac{−20t^2−20}{25(t^2+1)} \bigg)\,\hat{\mathbf{i}} + \bigg( \dfrac{−15−15t^2}{25(t^2+1)} \bigg)\,\hat{\mathbf{k}} \\[4pt] &= −20 \bigg( \dfrac{t^2+1}{25(t^2+1)} \bigg)\,\hat{\mathbf{i}} −15 \bigg( \dfrac{t^2+1}{25(t^2+1)} \bigg)\,\hat{\mathbf{k}} \\[4pt] &= −\dfrac{4}{5}\,\hat{\mathbf{i}}−\dfrac{3}{5}\,\hat{\mathbf{k}}. \end{align*} \nonumber \]
Exercise \(\PageIndex{4}\)
Find the unit normal vector for the vector-valued function \(\vecs r(t)=(t^2−3t)\,\hat{\mathbf{i}}+(4t+1)\,\hat{\mathbf{j}}\) and evaluate it at \(t=2\).
First, find \(\vecs T(t)\), then use \(\ref{EqNormal}\).
\(\vecs N(2)=\dfrac{\sqrt{2}}{2}(\,\hat{\mathbf{i}}−\,\hat{\mathbf{j}})\)
For any smooth curve in three dimensions that is defined by a vector-valued function, we now have formulas for the unit tangent vector \(\vecs T\), the unit normal vector \(\vecs N\), and the binormal vector \(\vecs B\). The unit normal vector and the binormal vector form a plane that is perpendicular to the curve at any point on the curve, called the normal plane. In addition, these three vectors form a frame of reference in three-dimensional space called the Frenet frame of reference (also called the TNB frame) (Figure \(\PageIndex{2}\)). Last, the plane determined by the vectors \(\vecs T\) and \(\vecs N\) forms the osculating plane of \(C\) at any point \(P\) on the curve.
Suppose we form a circle in the osculating plane of \(C\) at point \(P\) on the curve. Assume that the circle has the same curvature as the curve does at point \(P\) and let the circle have radius \(r\). Then, the curvature of the circle is given by \(\frac{1}{r}\). We call \(r\) the radius of curvature of the curve, and it is equal to the reciprocal of the curvature. If this circle lies on the concave side of the curve and is tangent to the curve at point \(P\), then this circle is called the osculating circle of \(C\) at \(P\), as shown in Figure \(\PageIndex{3}\).
For more information on osculating circles, see this demonstration on curvature and torsion, this article on osculating circles, and this discussion of Serret formulas.
To find the equation of an osculating circle in two dimensions, we need find only the center and radius of the circle.
Example \(\PageIndex{5}\): Finding the Equation of an Osculating Circle
Find the equation of the osculating circle of the curve defined by the function \(y=x^3−3x+1\) at \(x=1\).
Figure \(\PageIndex{4}\) shows the graph of \(y=x^3−3x+1\).
First, let’s calculate the curvature at \(x=1\):
\[κ =\dfrac{|f″(x)|}{\bigg( 1+[f′(x)]^2 \bigg) ^{3/2}} = \dfrac{|6x|}{(1+[3x^2−3]^2)^{3/2}}. \nonumber \]
This gives \(κ=6\). Therefore, the radius of the osculating circle is given by \(R=\frac{1}{κ}=\dfrac{1}{6}\). Next, we then calculate the coordinates of the center of the circle. When \(x=1\), the slope of the tangent line is zero. Therefore, the center of the osculating circle is directly above the point on the graph with coordinates \((1,−1)\). The center is located at \((1,−\frac{5}{6})\). The formula for a circle with radius \(r\) and center \((h,k)\) is given by \((x−h)^2+(y−k)^2=r^2\). Therefore, the equation of the osculating circle is \((x−1)^2+(y+\frac{5}{6})^2=\frac{1}{36}\). The graph and its osculating circle appears in the following graph.
Exercise \(\PageIndex{5}\)
Find the equation of the osculating circle of the curve defined by the vector-valued function \(y=2x^2−4x+5\) at \(x=1\).
Use \(\ref{EqK4}\) to find the curvature of the graph, then draw a graph of the function around \(x=1\) to help visualize the circle in relation to the graph.
\(κ =\frac{4}{[1+(4x−4)^2]^{3/2}}\)
At the point \(x=1\), the curvature is equal to \(4\). Therefore, the radius of the osculating circle is \(\frac{1}{4}\).
A graph of this function appears next:
The vertex of this parabola is located at the point \((1,3)\). Furthermore, the center of the osculating circle is directly above the vertex. Therefore, the coordinates of the center are \((1,\frac{13}{4})\). The equation of the osculating circle is
\((x−1)^2+(y−\frac{13}{4})^2=\frac{1}{16}\).
Key Concepts
- The arc-length function for a vector-valued function is calculated using the integral formula \(\displaystyle s(t)=\int_a^b ‖\vecs r′(t)‖\,dt \). This formula is valid in both two and three dimensions.
- The curvature of a curve at a point in either two or three dimensions is defined to be the curvature of the inscribed circle at that point. The arc-length parameterization is used in the definition of curvature.
- There are several different formulas for curvature. The curvature of a circle is equal to the reciprocal of its radius.
\[\vecs N(t)=\dfrac{\vecs T′(t)}{‖\vecs T′(t)‖}. \nonumber \]
- The binormal vector at \(t\) is defined as \(\vecs B(t)=\vecs T(t)×\vecs N(t)\), where \(\vecs T(t)\) is the unit tangent vector.
- The Frenet frame of reference is formed by the unit tangent vector, the principal unit normal vector, and the binormal vector.
- The osculating circle is tangent to a curve at a point and has the same curvature as the tangent curve at that point.
Key Equations
- Arc length of space curve \(s= {\displaystyle \int _a^b} \sqrt{[f′(t)]^2+[g′(t)]^2+[h′(t)]^2} \,dt= {\displaystyle \int _a^b} ‖\vecs r′(t)‖\,dt\)
- Arc-length function \(s(t)={\displaystyle \int _a^t} \sqrt{f′(u))^2+(g′(u))^2+(h′(u))^2} \,du \; or \; s(t)={\displaystyle \int _a^t}‖\vecs r′(u)‖\,du\)
- \(κ=\frac{‖\vecs T′(t)‖}{‖\vecs r′(t)‖} \; or \; κ=\frac{‖\vecs r′(t)×\vecs r″(t)‖}{‖\vecs r′(t)‖^3} \; or \; κ=\frac{|y″|}{[1+(y′)^2]^{3/2}}\)
- Principal unit normal vector \(\vecs N(t)=\frac{\vecs T′(t)}{‖\vecs T′(t)‖}\)
- Binormal vector \(\vecs B(t)=\vecs T(t)×\vecs N(t)\)
IMAGES
VIDEO
COMMENTS
Unit 2: Logic & Proof, Homework 3: Conditional Statements. If a product of two numbers is 0, one of the numbers must be 0. Click the card to flip 👆. Hypothesis: the product of 2 numbers is 0. Conclusion: at least 1 of the numbers must be 0. Click the card to flip 👆.
a statement that can be written in if-then form, meaning "p implies q" or "if p, then q". conditional (symbolic notation) p --> q. hypothesis. the phrase immediately following the word "if" in a conditional statement. conclusion. the phrase immediately following the word "then" in a conditional statement. Geometry Unit 2 - Logic and Proof.
Geometry questions and answers. Name: Date: Unit 2: Logic & Proof Homework 7: Segment Proofs Bell: ** This is a 2-page document! ** Use the segment addition postulate to write three equations using the diagram below. 1. 2. P R S T 3. Complete the proofs below by filling in the missing statements and reasons 4. Given: X is the midpoint of WY, WX ...
Unit 2 Study guide.pdf. Made with Doceri. Page 22 of 22. Unit 2 Test Study Guide (Logic & Proof) with Docerié Topic Conjccttzcs & Counterexamples 1. The product of any Ovo prime numbers is always odd. False with Docerié. Topic Conjccttzcs & Counterexamples 3. The square of a number is always larger than the number.
2 - Logic & Proof : Sample Unit Outline TOPIC HOMEWORK DAY 1 Inductive Reasoning, Conjectures, Counterexamples HW #1 DAY 2 ... Unit 2 Test Logic and Proof ... "Supplementary angles are never congruent." Use the statements below to answer questions 4 and 5. p: Memorial Day is in July. . Which represents the symbo ic notation of
Vertical angles are congruent, and all integers are not natural numbers. True. True when Both conditional (p to q) and converse (q to p) are true. Study with Quizlet and memorize flashcards containing terms like The product of any two prime numbers is always odd., If two angles are complementary, then both angles must be acute., The square of a ...
Description. This Logic and Proof Unit Bundle contains guided notes, homework assignments, four quizzes, a study guide and a unit test that cover the following topics: • Inductive Reasoning and Conjectures. • Compound Statements and Truth Tables. • Conditional Statements.
Name: Date: Bell: Unit 2: Logic & Proof Homework 8: Angle Proofs ** This is a 2-page document! ** Given each definition or theorem, complete each statement. 1. Definition of Congruence: If zE, then 2. Definition of Complementary Angles: If + = 900 then 3. Definition of Supplementary Angles: If ZP and ZQ are supplementary angles, then 4.
Here, the angle D is congruent to the angle E . Name: Unit 2: Logic & Proof Homework 8: Angle Proofs Date: Bell: ** This is a 2-page document! ** Given each definition or theorem, complete each statement. 1. Definition of Congruence: If 2D ZE then 2. Definition of Complementary Angles: If 21+ 22 = 90°, then 3.
Proof - Logic - Unit Two: Proof and Logic #3: Types and Parts of Statements Notes and Assignment This is the second set of notes for the Proof and Logic Unit of a High School Geometry Class. It includes three parts: 1. Annotated Teachers Notes and Homework Answer Key These include the notes with some sections annotated with teaching suggestions ...
Logic and Proofs (Unit 2) quiz for 9th grade students. Find other quizzes for Mathematics and more on Quizizz for free!
FREE Tinder™, DoorDash & more 2. Get four FREE subscriptions included with Chegg Study or Chegg Study Pack, and keep your school days running smoothly. 1. ^ Chegg survey fielded between Sept. 24-Oct 12, 2023 among a random sample of U.S. customers who used Chegg Study or Chegg Study Pack in Q2 2023 and Q3 2023.
Unit 2 - Logic and Proof. Get a hint. inductive reasoning. Click the card to flip 👆. making a conclusion based on patterns and observations. Click the card to flip 👆. 1 / 61.
Worksheets are Logic and conditional statements, Conditional statements work with answers, Geometry beginning proofs packet 1, Geometry chapter 2 reasoning and proof, , , Chapter 2 reasoning and proof augusta county public, Unit 4 logic packet. *Click on Open button to open and print to worksheet. 1. Logic and Conditional Statements. Download. 2.
Displaying top 8 worksheets found for - Unit 2 Logic Proof Homework 3 Conditional Statements. Some of the worksheets for this concept are Logic and conditional statements, Conditional statements work with answers, Geometry beginning proofs packet 1, Geometry chapter 2 reasoning and proof, , , Chapter 2 reasoning and proof augusta county public, Unit 4 logic packet.
JI. 1. If a = 2b, then a - c = 2b - c G f t A JI. Jt. 2. x = x 3. 3 (p - 7) = 3p - 21 If m + 11 = 15 and " = 2, then m + 2 = 15 D 6. If J 7, If w2 = 2x and 1x = y , then w = y f 8. If c - 9 = -1, then c = 8 H JY. Division Property of Equality f. Substitution Property p. Reflexive Pro ... User generated content is uploaded by users for the ...
Algebra questions and answers; Name: Date: Bell: Unit 2: Logic & Proof Homework 4: Venn Diagrams ** This is a 2-page document! ** Directions: Draw a Venn diagram to represent each statement. Trapezoids are never parallelograms. Every apple is a fruit. 3. All linear pairs are supplementary angles. 4.
Subtraction Property. Definition of Congruence. Segment Addition Postulate. Distributive property. Reflexive Property. Symmetric Property. Invalid. Invalid. Study with Quizlet and memorize flashcards containing terms like p v q, p ∧ q, p → q and more.
Since the sum of all angles in a triangle is 180 degrees, angle C can be found by subtracting the sum of angles A and B from 180 degrees. So, angle C = 180 - (60 + 50) = 70 degrees. Since angle C is 70 degrees, which is not equal to 90 degrees, we can conclude that triangle ABC is not a right triangle. Therefore, the statement that angle C is a ...
Unit 2 Logic And Proofs Homework 8 Segment Proofs - Displaying top 8 worksheets found for this concept.. Some of the worksheets for this concept are Geometry chapter 2 reasoning and proof, Chapter 2, Geometry beginning proofs packet 1, Algebraic proofs, Unit 1 tools of geometry reasoning and proof, Geometry proofs work with answers, Geometry proofs work with answers, Name geometry unit 2 note ...
Proof Bell: _ /_ 1 . . 11111 1s • Homewori< 3: Conditional Statements D 2-page c1ocumem1 .. Dlredlolas: Identify the hypothesis and conclusion cl the following condttJonal statements. 1, If the product of two numbers Is 0, then at least one of the numbers must be 0. Hypothesis: Pr"dv cJ Conduslon: At le a sJ aa '= 0 f & Qt fwQ 9s rl\; «i ...
Regardless of the delivery method, we will all strive to provide a high-quality learning experience Note: If I need to be out for an extended period of time, Dr. Jo-Ann Cohen will take over in my absence.C Tentative Course Topics Schedule: Chapter 0 Preliminaries: 1-2 days Chapter 1 Language, Logic, Sets, and Methods of Proofs: 3-5 weeks ...
Unit 2: Logic and Proof. Inductive Reasoning. Click the card to flip 👆. Reaching a conclusion based on observations and patterns; inference. Click the card to flip 👆. 1 / 41.
This image illustrates Unit 2 logic and proof answer key homework 1. 2. View CompTIA+Security++601+Study+Guide.pdf from CIS MISC at Paradise Valley Community College. Socrates argued that civil disobedience was an obligation for intellectuals and philosophers. What is the difference between a converse, inverse, and. WebThis is the fourth set of ...
Arc Length for Vector Functions. We have seen how a vector-valued function describes a curve in either two or three dimensions. Recall that the formula for the arc length of a curve defined by the parametric functions \(x=x(t),y=y(t),t_1≤t≤t_2\) is given by