How I Impressed My Wife: Part 3b

Previously in this series, I showed that

Q = \displaystyle \int_0^{2\pi} \frac{dx}{\cos^2 x + 2 a \sin x \cos x + (a^2 + b^2) \sin^2 x} = \displaystyle \frac{2\pi}{|b|}.

My wife had asked me to compute this integral by hand because Mathematica 4 and Mathematica 8 gave different answers. At the time, I eventually obtained the solution by multiplying the top and bottom of the integrand by \sec^2 x and then employing the substitution u = \tan x (after using trig identities to adjust the limits of integration).
But this wasn’t the only method I tried. Indeed, I tried two or three different methods before deciding they were too messy and trying something different. So, for the rest of this series, I’d like to explore different ways that the above integral can be computed.
green line
So far, I have shown that

Q = \displaystyle \int_0^{2\pi} \frac{dx}{\cos^2 x + 2 a \sin x \cos x + (a^2 + b^2) \sin^2 x}

= \displaystyle \int_0^{2\pi} \frac{2 \, dx}{1+\cos 2x + 2 a \sin 2x + (a^2 + b^2)(1-\cos 2x)}

We now employ the substitution \theta = 2x, so that d\theta = 2 \, dx. Also, the limits of integration change from 0 \le x \le 2\pi to 0 \le \theta \le 4\pi, so that

Q = \displaystyle \int_0^{4\pi} \frac{d\theta}{1+\cos \theta + 2 a \sin \theta + (a^2 + b^2)(1-\cos \theta)}

= \displaystyle \int_0^{4\pi} \frac{d\theta}{(1+a^2+b^2) + 2 a \sin \theta + (1 - a^2 - b^2) \cos \theta}

Next, I’ll divide write Q = Q_1 + Q_2 by dividing the interval of integration (not to be confused with the Q_1 and Q_2 used in the previous method), where

Q_1 = \displaystyle \int_0^{2\pi} \frac{d\theta}{(1+a^2+b^2) + 2 a \sin \theta + (1 - a^2 - b^2) \cos \theta}

Q_2 = \displaystyle \int_{2\pi}^{4\pi} \frac{d\theta}{(1+a^2+b^2) + 2 a \sin \theta + (1 - a^2 - b^2) \cos \theta}

For Q_2, I employ the substitution u = \theta - 2\pi, so that \theta = u + 2\pi and du = d\theta. Under this substitution, the interval of integration changes from $2\pi \le \theta \le 4\pi$ to $0 \le u \le 2\pi$, and so

Q_2 = \displaystyle \int_{0}^{2\pi} \frac{du}{(1+a^2+b^2) + 2 a \sin (u+2\pi) + (1 - a^2 - b^2) \cos (u+2\pi)}

Next, I use the periodic property for both sine and cosine — \sin(u + 2\pi) = \sin u and \cos(u+ 2\pi) = \cos u — to rewrite Q_2 as

Q_2 = \displaystyle \int_{0}^{2\pi} \frac{du}{(1+a^2+b^2) + 2 a \sin u + (1 - a^2 - b^2) \cos u}

Except for the dummy variable u, instead of \theta, we see that Q_2 is identical to Q_1. Therefore,

Q = Q_1 + Q_2 = 2 Q_1 = 2 \displaystyle \int_0^{2\pi} \frac{d\theta}{(1+a^2+b^2) + 2 a \sin \theta + (1 - a^2 - b^2) \cos \theta}.

green line

I’ll continue this different method of evaluating this integral in tomorrow’s post.

How I Impressed My Wife: Part 3a

Previously in this series, I showed that

Q = \displaystyle \int_0^{2\pi} \frac{dx}{\cos^2 x + 2 a \sin x \cos x + (a^2 + b^2) \sin^2 x} = \displaystyle \frac{2\pi}{|b|}.

My wife had asked me to compute this integral by hand because Mathematica 4 and Mathematica 8 gave different answers. At the time, I eventually obtained the solution by multiplying the top and bottom of the integrand by \sec^2 x and then employing the substitution u = \tan x (after using trig identities to adjust the limits of integration).
But this wasn’t the only method I tried. Indeed, I tried two or three different methods before deciding they were too messy and trying something different. So, for the rest of this series, I’d like to explore different ways that the above integral can be computed.
green line
For this next technique, I begin by using the trigonometric identities

\sin^2 x = \displaystyle \frac{1-\cos 2x}{2},

\cos^2x = \displaystyle \frac{1+\cos 2x}{2},

2 \sin x \cos x = \sin 2x.

Using these identities, we obtain

Q = \displaystyle \int_0^{2\pi} \frac{dx}{\displaystyle \frac{1+\cos 2x}{2} + a \sin 2x + (a^2 + b^2) \displaystyle \frac{1-\cos 2x}{2}}

= \displaystyle \int_0^{2\pi} \frac{2 \, dx}{1+\cos 2x + 2 a \sin 2x + (a^2 + b^2)(1-\cos 2x)}

In this way, the exponents have been removed from the denominator, thus making the integrand somewhat less complicated.

green line

I’ll continue this different method of evaluating this integral in tomorrow’s post.

How I Impressed My Wife: Part 2c

Some husbands try to impress their wives by lifting extremely heavy objects or other extraordinary feats of physical prowess.

That will never happen in the Quintanilla household in a million years.

But she was impressed that I broke an impasse in her research and resolved a discrepancy between Mathematica 4 and Mathematica 8 by finding the following integral by hand in less than an hour:

Q = \displaystyle \int_0^{2\pi} \frac{dx}{\cos^2 x + 2 a \sin x \cos x + (a^2 + b^2) \sin^2 x}

In this series, I’ll explore different ways of evaluating this integral.green lineSo far in this series, I’ve shown that

Q = 2 \displaystyle \int_{-\pi/2}^{\pi/2} \frac{dx}{\cos^2 x + 2 a \sin x \cos x + (a^2 + b^2) \sin^2 x}

= 2 \displaystyle \int_{-\pi/2}^{\pi/2} \frac{\sec^2 x dx}{1 + 2 a \tan x + (a^2 + b^2) \tan^2 x}

I now employ the substitution u = \tan x, so that du = \sec^2 x dx. Also, the endpoints change from -\pi/2 < x < \pi/2 to -\infty < u < \infty, so that

Q = 2 \displaystyle \int_{-\infty}^{\infty} \frac{du}{1 + 2 a u + (a^2+b^2) u^2}

green line

I’ll continue with the evaluation of this integral in tomorrow’s post.

How I Impressed My Wife: Part 2b

Some husbands try to impress their wives by lifting extremely heavy objects or other extraordinary feats of physical prowess.

That will never happen in the Quintanilla household in a million years.

But she was impressed that I broke an impasse in her research and resolved a discrepancy between Mathematica 4 and Mathematica 8 by finding the following integral by hand in less than an hour:

Q = \displaystyle \int_0^{2\pi} \frac{dx}{\cos^2 x + 2 a \sin x \cos x + (a^2 + b^2) \sin^2 x}

In this series, I’ll explore different ways of evaluating this integral.green lineIn yesterday’s post, I showed that

Q = 2 \displaystyle \int_{-\pi/2}^{\pi/2} \frac{dx}{\cos^2 x + 2 a \sin x \cos x + (a^2 + b^2) \sin^2 x}

We now multiply the top and bottom of the integrand by \sec^2 x. This is permissible because \sec^2 x is defined on the interior of the interval (-\pi/2, \pi/2) — which is why I needed to adjust the limits of integration in the first place. I obtain

Q = 2 \displaystyle \int_{-\pi/2}^{\pi/2} \frac{\sec^2 x dx}{\cos^2 x \sec^2 x + 2 a \sin x \cos x \sec^2 x + (a^2 + b^2) \sin^2 x \sec^2 x}
Next, I use some trigonometric identities to simplify the denominator:
  • \cos^2 x \sec^2 x = \cos^2 x \displaystyle \frac{1}{\cos^2 x} = 1
  • \sin x \cos x \sec^2 x = \sin x \cos x \frac{1}{\cos^2 x} = \displaystyle \frac{\sin x}{\cos x} = \tan x
  • \sin^2 x \sec^2 x = \sin^2 x \displaystyle \frac{1}{\cos^2 x} = \displaystyle \left( \frac{\sin x}{\cos x} \right)^2 = \tan^2 x

Therefore, the integral becomes

Q = 2 \displaystyle \int_{-\pi/2}^{\pi/2} \frac{\sec^2 x dx}{1 + 2 a \tan x + (a^2 + b^2) \tan^2 x}

green line

I’ll continue with the evaluation of this integral in tomorrow’s post.

How I Impressed My Wife: Part 2a

Some husbands try to impress their wives by lifting extremely heavy objects or other extraordinary feats of physical prowess.

That will never happen in the Quintanilla household in a million years.

But she was impressed that I broke an impasse in her research and resolved a discrepancy between Mathematica 4 and Mathematica 8 by finding the following integral by hand in less than an hour:

Q = \displaystyle \int_0^{2\pi} \frac{dx}{\cos^2 x + 2 a \sin x \cos x + (a^2 + b^2) \sin^2 x}

In this series, I’ll explore different ways of evaluating this integral.green lineI begin by adjusting the range of integration:

Q = Q_1 + Q_2 + Q_3,

where

Q_1 = \displaystyle \int_0^{\pi/2} \frac{dx}{\cos^2 x + 2 a \sin x \cos x + (a^2 + b^2) \sin^2 x},

Q_2 = \displaystyle \int_{\pi/2}^{3\pi/2} \frac{dx}{\cos^2 x + 2 a \sin x \cos x + (a^2 + b^2) \sin^2 x},

Q_3 = \displaystyle \int_{3\pi/2}^{2\pi} \frac{dx}{\cos^2 x + 2 a \sin x \cos x + (a^2 + b^2) \sin^2 x}.

I’ll begin with Q_3 and apply the substitution u = x - 2\pi, or x = u + 2\pi. Then du = dx, and the endpoints change from 3\pi/2 \le x 2\pi to -\pi/2 \le u \le 0. Therefore,

Q_3 = \displaystyle \int_{-\pi/2}^{0} \frac{du}{\cos^2 (u+2\pi) + 2 a \sin (u+2\pi) \cos (u+2\pi) + (a^2 + b^2) \sin^2 (u+2\pi)}.

Next, we use the periodic property for both sine and cosine — \sin(x + 2\pi) = \sin x and \cos(x + 2\pi) = \cos x — to rewrite Q_3 as

Q_3 = \displaystyle \int_{-\pi/2}^{0} \frac{du}{\cos^2 u + 2 a \sin u \cos u + (a^2 + b^2) \sin^2 u}.

Changing the dummy variable from u back to x, we have

Q_3 = \displaystyle \int_{-\pi/2}^{0} \frac{dx}{\cos^2 x + 2 a \sin x \cos x + (a^2 + b^2) \sin^2 x}.

Therefore, we can combined Q_3 + Q_1 into a single integral:

Q_3 + Q_1 = \displaystyle \int_{-\pi/2}^{0} \frac{dx}{\cos^2 x + 2 a \sin x \cos x + (a^2 + b^2) \sin^2 x}

+ \displaystyle \int_0^{\pi/2} \frac{dx}{\cos^2 x + 2 a \sin x \cos x + (a^2 + b^2) \sin^2 x}

Q_3 + Q_1 = \displaystyle \int_{-\pi/2}^{\pi/2} \frac{dx}{\cos^2 x + 2 a \sin x \cos x + (a^2 + b^2) \sin^2 x}

Next, we work on the middle integral Q_2. We use the substitution u = x - \pi, or x = u + \pi, so that du = dx. Then the interval of integration changes from \pi/2 \le x \le 3\pi/2 to -\pi/2 \le u \le \pi/2, so that

Q_2 = \displaystyle \int_{\pi/2}^{3\pi/2} \frac{dx}{\cos^2 x + 2 a \sin x \cos x + (a^2 + b^2) \sin^2 x}

= \displaystyle \int_{-\pi/2}^{\pi/2} \frac{du}{\cos^2 (u+\pi) + 2 a \sin (u+\pi) \cos (u+\pi) + (a^2 + b^2) \sin^2 (u+\pi)}.

Next, we use the trigonometric identities

\sin(u + \pi) = \sin u \cos \pi + \cos u \sin \pi = \sin u \cdot (-1) + \cos u \cdot 0 = - \sin u,

\cos(u + \pi) = \cos u \cos \pi - \sin u \sin \pi = \cos u \cdot (-1) - \sin u \cdot 0 = - \cos u,

so that the last integral becomes

Q_2 = \displaystyle \int_{-\pi/2}^{\pi/2} \frac{dx}{(-\cos u)^2 + 2 a (-\sin u)(- \cos u) + (a^2 + b^2) (-\sin u)^2}

= \displaystyle \int_{-\pi/2}^{\pi/2} \frac{du}{\cos^2 u + 2 a \sin u \cos u + (a^2 + b^2) \sin^2 u}

= \displaystyle \int_{-\pi/2}^{\pi/2} \frac{dx}{\cos^2 x + 2 a \sin x \cos x + (a^2 + b^2) \sin^2 x}

On the line above, I again replaced the dummy variable of integration from u to x. We see that Q_2 = Q_1 + Q_3, and so

Q = Q_1 + Q_2 + Q_3

Q = 2 Q_2

Q = 2 \displaystyle \int_{-\pi/2}^{\pi/2} \frac{dx}{\cos^2 x + 2 a \sin x \cos x + (a^2 + b^2) \sin^2 x}

green line

I’ll continue with the evaluation of this integral in tomorrow’s post.

Proving theorems and special cases (Part 12): The sum and difference formulas for sine

In a recent class with my future secondary math teachers, we had a fascinating discussion concerning how a teacher should respond to the following question from a student:

Is it ever possible to prove a statement or theorem by proving a special case of the statement or theorem?

Usually, the answer is no. In this series of posts, we’ve seen that a conjecture could be true for the first 40 cases or even the first 10^{316} cases yet not always be true. We’ve also explored the computational evidence for various unsolved problems in mathematics, noting that even this very strong computational evidence, by itself, does not provide a proof for all possible cases.

However, there are plenty of examples in mathematics where it is possible to prove a theorem by first proving a special case of the theorem. For the remainder of this series, I’d like to list, in no particular order, some common theorems used in secondary mathematics which are typically proved by first proving a special case.

3. Theorem 1. \sin(\alpha + \beta) = \sin \alpha \cos \beta + \cos \alpha + \sin \beta

Theorem 2. \sin(\alpha - \beta) = \sin \alpha \cos \beta - \cos \alpha \sin \beta

For angles that are not acute, these theorems can be proven using a unit circle and the following four lemmas:

Lemma 1. \cos(x - y) = \cos x \cos y + \sin x \sin y

Lemma 2. \cos(x + y) = \cos x \cos y - \sin x \sin y

Lemma 3. \sin(\pi/2 - x) = \cos x

Lemma 4. \cos(\pi/2 - x) = \sin x

Specifically, assuming Lemmas 1-4, then:

\sin(\alpha + \beta) = \cos(\pi/2 - [\alpha + \beta]) by Lemma 4

= \cos([\pi/2 - \alpha] - \beta)

= \cos(\pi/2 - \alpha) \cos \beta + \sin(\pi/2 - \alpha) \sin \beta by Lemma 1

= \sin \alpha \cos \beta + \cos \alpha \sin \beta by Lemmas 3 and 4.

Also,

\sin(\alpha - \beta) = \cos(\pi/2 - [\alpha - \beta]) by Lemma 4

= \cos([\pi/2 - \alpha] + \beta)

= \cos(\pi/2 - \alpha) \cos \beta - \sin(\pi/2 - \alpha) \sin \beta by Lemma 2

= \sin \alpha \cos \beta - \cos \alpha \sin \beta by Lemmas 3 and 4.

However, we see that what I’ve called Lemma 3, often called a cofunction identity, can be considered a special case of Theorem 2. However, this is not circular logic since the cofunction identities can be proven without appealing to Theorems 1 and 2.

 

Proving theorems and special cases (Part 11): The Law of Cosines

In a recent class with my future secondary math teachers, we had a fascinating discussion concerning how a teacher should respond to the following question from a student:

Is it ever possible to prove a statement or theorem by proving a special case of the statement or theorem?

Usually, the answer is no. In this series of posts, we’ve seen that a conjecture could be true for the first 40 cases or even the first 10^{316} cases yet not always be true. We’ve also explored the computational evidence for various unsolved problems in mathematics, noting that even this very strong computational evidence, by itself, does not provide a proof for all possible cases.

However, there are plenty of examples in mathematics where it is possible to prove a theorem by first proving a special case of the theorem. For the remainder of this series, I’d like to list, in no particular order, some common theorems used in secondary mathematics which are typically proved by first proving a special case.

2. Theorem. In \triangle ABC where a = BC, b = AC, and c = AB, we have c^2 = a^2 + b^2 - 2 a b \cos (m \angle C).

This is typically proven using the Pythagorean theorem:

Lemma. In right triangle \triangle ABC, where \angle C is a right angle, we have c^2 = a^2 + b^2.

Though it usually isn’t thought of this way, the Pythagorean theorem is a special case of the Law of Cosines since \cos 90^\circ = 0.

There are well over 100 different proofs of the Pythagorean theorem that do not presuppose the Law of Cosines. The standard proof of the Law of Cosines then uses the Pythagorean theorem. In other words, a special case of the Law of Cosines is used to prove the Law of Cosines.

A 100-Year old computer for computing Fourier transforms

From http://www.engineerguy.com/fourier/:

Many famous machines have been built to do math — like Babbage’s Difference Engine for solving polynomials or Leibniz’s Stepped Reckoner for multiplying and dividing — yet none worked as well as Albert Michelson’s harmonic analyzer. This 19th century mechanical marvel does Fourier analysis: it can find the frequency components of a signal using only gears, springs and levers. We discovered this long-forgotten machine locked in a glass case at the University of Illinois. For your enjoyment, we brought it back to life in this book and in a companion video series — all written and created by Bill Hammack, Steve Kranz and Bruce Carpenter.

A free PDF of their book is available at the above link; the book is also available for purchase. Here are the companion videos for the book.

Engaging students: Verifying trigonometric identities

In my capstone class for future secondary math teachers, I ask my students to come up with ideas for engaging their students with different topics in the secondary mathematics curriculum. In other words, the point of the assignment was not to devise a full-blown lesson plan on this topic. Instead, I asked my students to think about three different ways of getting their students interested in the topic in the first place.

I plan to share some of the best of these ideas on this blog (after asking my students’ permission, of course).

This student submission comes from my former student Tracy Leeper. Her topic, from Precalculus: verifying trigonometric identities.

green line

Many students when first learning about trigonometric identities want to move terms across the equal sign, since that is what they have been taught to do since algebra, however, in proving a trigonometric identity only one side of the equality is worked at a time. Therefore my idea for an activity to help students is to have them look at the identities as a puzzle that needs to be solved. I would provide them with a basic mat divided into two columns with an equal sign printed between the columns, and give them trig identities written out in a variety of forms, such as \sin^2 \theta + \cos^2 \theta on one strip, and 1 written on another strip. Other examples would also include having \tan^2 \theta on one, and \sin^2 \theta/\cos^2 \theta on another. The students will have to work within one column, and step by step, change one side to eventually reflect the term on the other side, and each strip has to be one possible representation of the same value. By providing the students with the equivalent strips, they will be able to construct the proof of the identity. I feel that giving them the strips will allow them to see different possibilities for how to manipulate the expression, without leaving them feeling lost in the process, and by dividing the mat into columns, they can focus on one side, and see that the equivalency is maintained throughout the proof. The students would need to arrange the strips into the correct order to prove the left hand side is equivalent to the right hand side, while reinforcing the process of not moving anything across the equal sign.

 

 

green line

Trigonometry identities are used in most of the math courses after pre-calculus, as well as the idea of proving an equivalency. If the students learn the concept of proving an equivalency that will help them construct proofs for any future math courses, as well as learning to look at something given, and be able to see it as parts of a whole, or just be able to write it a different way to assist with the calculations. If students learn to see that

1 = \sin^2 x + \cos^2 x = \sec^2 x - \tan^2 x = \csc^2 x - \cot^2 x,

their ability to manipulate expressions will dramatically improve, and their confidence in their ability will increase, as well as their understanding of the complexities and relations throughout all of mathematics. The trigonometric identities are the fundamental part of the relationships between the trig functions. These are used in science as well, anytime a concept is taught about a wave pattern. Sound waves, light waves, every kind of wave discussed in science are sinusoidal wave. Anytime motion is calculated, trigonometry is brought into the calculations. All students who wish to progress in the study of science or math need to learn basic trigonometric identities and learn how to prove equivalency for the identities. Since proving trigonometric identities is also a practice in logical reasoning, it will also help students learn to think critically, and learn to defend their conjectures, which is a valuable skill no matter what discipline the student pursues.

 

 

green line

For learning how to verify trigonometric identities, I like the Professor Rob Bob (Mr. Tarroy’s) videos found on youtube. He’s very energetic, and very thorough in explaining what needs to be done for each identity. He also gives examples for all of the different types of identities that are used. He is very specific about using the proper terms, and he makes sure to point out multiple times that this is an identity, not an equation, so terms cannot be transferred across the equal sign. He also presents options to use for a variety of cases, and that sometimes things don’t work out, but it’s okay, because you can just erase it and start again. I also like that he uses different colored chalk to show the changes that are being made. He is very articulate, and explains things very well, and makes sure to point out that he is providing examples, but it’s important to remember that there are many different ways to prove the identity presented. I enjoyed watching him teach, and I think the students would enjoy his energy as well.

 

Engaging students: Computing trigonometric functions using a unit circle

In my capstone class for future secondary math teachers, I ask my students to come up with ideas for engaging their students with different topics in the secondary mathematics curriculum. In other words, the point of the assignment was not to devise a full-blown lesson plan on this topic. Instead, I asked my students to think about three different ways of getting their students interested in the topic in the first place.

I plan to share some of the best of these ideas on this blog (after asking my students’ permission, of course).

This student submission comes from my former student Delaina Bazaldua. Her topic, from Precalculus: computing trigonometric functions using a unit circle.

green line

How could you as a teacher create an activity or project that involves your topic?

When I first picked my topic, I was searching through topics that I could choose while playing the game Headbandz with my coworkers. That is when my idea hit me: Trigonometry Headbandz. Instead of asking the traditional questions like: “Am I an animal?” “Do I move?” “Am I famous?” or whatnot, the person guessing would have either a degree value, radian value, or the x-y coordinate on their headband and would ask questions like: “Is my measure in radians?” “Is my measure in quadrant I?” “Does my measure have a radical in it?” For the first few minutes, students would be allowed to use a premade unit circle to help them in guessing. However, after that they would need to guess solely based on memorization of the circle. I think this is a good engage because it is a familiar game that students will enjoy and it’s also educational in that they are subconsciously memorizing the unit circle that will carry them through the remaining months of high school, college, and perhaps, everyday life.

 

green line

How does this topic extend what your students should have learned in previous courses?

When I was in EDSE 3500 with Dr. Pratt, I truly learned how the unit circle worked for the first time in my life. In high school, it was more taught as: “learn this so you can use it for a really long, hard word that is supposedly math (trigonometry.)” In Dr. Pratt’s class, she gave every student the two special right triangles (30-60-90 and (45-45-90) and an empty circle that had the x-y coordinate plane on it. She asked us to recall what we learned in geometry in high school so that we can figure out the side lengths of the triangle. After that, we formed the unit circle using the two right triangles that she gave us by using the degree measure and the side lengths. It was so neat and so surprising that I have never learned how the unit circle is formed—especially as a math major. I definitely want to implement this in my teaching because it forces students to recall what they used in geometry and it also teaches where the unit circle comes from. In addition, it will also be easier for them to construct it in the future if they were to ever forget it.

 

green line

How could you as a teacher create an activity or project that involves your topic?

I just love this topic and activities that go hand-in-hand with it, so I decided to do it again. I was in the mood to procrastinate, so naturally I log onto Pinterest. I came across a board game dealing with the unit circle: http://cheesemonkeysf.blogspot.com/2014/07/life-on-unit-circle-board-game-for-trig.html?spref=pi. It is based on the game Life on a Number Line. It caught my attention because it tests the students’ knowledge of the unit circle in a fun way. The game involves game pieces, 3 die (a standard one and two positive-negative dice), a semi-blank unit circle, and flash cards of the trigonometric functions. When a student lands on the radian, they are to name the sine and cosine measurement in order to get credit. This game can also be played on a much larger scale with the entire class competing for extra credit. The whole point of the game is to, as the blog says, “used to living on the unit circle” in a fun and educational way. Like the first activity, Trigonometry Headbandz, it inevitably forces students to learn the unit circle. This way, it’s much more engaging and fun than staring at a piece of paper in hopes of memorizing it.

References:

http://cheesemonkeysf.blogspot.com/2014/07/life-on-unit-circle-board-game-for-trig.html?spref=pi

Dr. Pratt EDSE 3500 class