• Welcome to the new Internet Infidels Discussion Board, formerly Talk Freethought.

Math Quiz Thread

I had looked at the polygon question afew months back. I needed the dimensions of a hex nut. They are readily available in tables. I wondered what the relationship between faces and diameter was.

Given the diameter of the circle withan inscribed hexagon what is the length of each face?






My solution was a regular polygon inscribed in a circle makes 2PI/N angles and N equal chords. The half angle of the angle made by each chord forms a right triangle with ahypotenuse of diameter/2 or radius. The base of the triangle is chord/2.








A practical real world problem.


An electronic component is made of a rectangular molded plastic case with three circular pins protruding on one side. The component must be able to fit in three holes in a circuit board without bending any of the pins.


For a representative picture.


http://www.digikey.com/product-detail/en/66WR5KLF/987-1494-ND/3587252


Sketch a rectangle on paper with dimensions 0.4 x 0.2 inches. This is the outline of the component and assume they have no variation for the problem. The rectangle is afixed area on the board the part must fit in.


With [0,0] at the lower left corner of the rectangle draw points at


[0.1,0.2]
[0.2,0.2]
[0.3,0.2]


The points represent the theoreticalperfect center point of each pin relative to [0.0].


The pin center points above can vary due to manufacturing variation in x and y by as much as 0.01 inches.


The minimum and maximum diameters of the three pins are .018 and .022 inches.


What is he minimum diameter of holes ateach point such that the part can be inserted in the board withoutbent pins?

3 pin problem solution





Easy to derive from a simple sketch and trig. If you spin your wheels without drawing a sketch trying to figure out an analytical solution you make it complicated, my point in posting the problem.

Search on 'geometrical dimensioning and tolerancing true position' and you might find it.


The variation in x and y of the centerpoint of a pin traces out a rectangle around the center point assketched in the problem, One of the three dots.


At each corner of the tolerance square draw a circle at the max diameter of the pins.


Draw a line through a diagonal of the square extended out to the circles. The minimum hole size is thediagonal of the square extended out to the the circles.


Sqrt(x^2 + y^2) + (maximum pindiameter).



 
Another real world practical problem.


There are three boxes with three lengths of rods. The lengths of the rods have normal distributions as follows.


Rod1 mean length 1 foot with a standard deviation of 0.08 feet.
Rod2 mean length 2 feet with a standard deviation of 0.16 feet.
Rod3 mean length 3 feet with a standard deviation of 0.32 feet.


You randomly pick rods from each box and connect them in line using sleeves.



  1. What is the mean length of the assembled rods?
  2. What is the standard deviation of the assembled rods?
  3. What percentage of assembled rods will be less than 6.37 feet?


 
A practical real world problem.


An electronic component is made of a rectangular molded plastic case with three circular pins protruding on one side. The component must be able to fit in three holes in a circuit board without bending any of the pins.


For a representative picture.


http://www.digikey.com/product-detail/en/66WR5KLF/987-1494-ND/3587252


Sketch a rectangle on paper with dimensions 0.4 x 0.2 inches. This is the outline of the component and assume they have no variation for the problem. The rectangle is afixed area on the board the part must fit in.


With [0,0] at the lower left corner of the rectangle draw points at


[0.1,0.2]
[0.2,0.2]
[0.3,0.2]


The points represent the theoreticalperfect center point of each pin relative to [0.0].


The pin center points above can vary due to manufacturing variation in x and y by as much as 0.01 inches.


The minimum and maximum diameters of the three pins are .018 and .022 inches.


What is he minimum diameter of holes ateach point such that the part can be inserted in the board withoutbent pins?

3 pin problem solution





Easy to derive from a simple sketch and trig. If you spin your wheels without drawing a sketch trying to figure out an analytical solution you make it complicated, my point in posting the problem.

Search on 'geometrical dimensioning and tolerancing true position' and you might find it.


The variation in x and y of the centerpoint of a pin traces out a rectangle around the center point assketched in the problem, One of the three dots.


At each corner of the tolerance square draw a circle at the max diameter of the pins.


Draw a line through a diagonal of the square extended out to the circles. The minimum hole size is thediagonal of the square extended out to the the circles.


Sqrt(x^2 + y^2) + (maximum pindiameter).




For arbitrary pin shapes and tolerances, the minimal hole shape is given by the  Minkowski sum of the two shapes i.e. the set of all points whose radius vectors (from a specified origin) are the sums of radius vectors of some pair of points from the two given shapes. This is the same mathematics behind finding the cut shape in computerized machining - the Minkowski sum of the tool head along with the tool trajectory gives the material removed. You can also detect collision in computer design or modeling, or even robot motion (if you're in configuration space) - if the Minkowski difference contains the origin, the two shapes collide...
 
3 pin problem solution





Easy to derive from a simple sketch and trig. If you spin your wheels without drawing a sketch trying to figure out an analytical solution you make it complicated, my point in posting the problem.

Search on 'geometrical dimensioning and tolerancing true position' and you might find it.


The variation in x and y of the centerpoint of a pin traces out a rectangle around the center point assketched in the problem, One of the three dots.


At each corner of the tolerance square draw a circle at the max diameter of the pins.


Draw a line through a diagonal of the square extended out to the circles. The minimum hole size is thediagonal of the square extended out to the the circles.


Sqrt(x^2 + y^2) + (maximum pindiameter).




For arbitrary pin shapes and tolerances, the minimal hole shape is given by the  Minkowski sum of the two shapes i.e. the set of all points whose radius vectors (from a specified origin) are the sums of radius vectors of some pair of points from the two given shapes. This is the same mathematics behind finding the cut shape in computerized machining - the Minkowski sum of the tool head along with the tool trajectory gives the material removed. You can also detect collision in computer design or modeling, or even robot motion (if you're in configuration space) - if the Minkowski difference contains the origin, the two shapes collide...

My guess is you found that after anumber of searches. Same response as to Lauren. Reduce tit o anactual numerical solution.
 
For arbitrary pin shapes and tolerances, the minimal hole shape is given by the  Minkowski sum of the two shapes i.e. the set of all points whose radius vectors (from a specified origin) are the sums of radius vectors of some pair of points from the two given shapes. This is the same mathematics behind finding the cut shape in computerized machining - the Minkowski sum of the tool head along with the tool trajectory gives the material removed. You can also detect collision in computer design or modeling, or even robot motion (if you're in configuration space) - if the Minkowski difference contains the origin, the two shapes collide...

My guess is you found that after anumber of searches. Same response as to Lauren. Reduce tit o anactual numerical solution.

Actually, no. To be honest, I've been able to solve all of your problems immediately and just prefer to give others a chance on such simple questions.

Minkowski sums are a well-known, hundred-year-old piece of very useful mathematics that would be immediately familiar to any working mathematician, especially a geometer like myself. As for numerical solutions, there are multiple implementations in various software packages to efficiently compute sums and differences of arbitrary geometric shapes in any dimension.
 
There are three boxes with three lengths of rods. The lengths of the rods have normal distributions as follows.


Rod1 mean length 1 foot with a standard deviation of 0.08 feet.
Rod2 mean length 2 feet with a standard deviation of 0.16 feet.
Rod3 mean length 3 feet with a standard deviation of 0.32 feet.


You randomly pick rods from each box and connect them in line using sleeves.
Presumably one from each box. The sleeves make them touch each other.
  1. What is the mean length of the assembled rods?
  2. What is the standard deviation of the assembled rods?
  3. What percentage of assembled rods will be less than 6.37 feet?
My solution:


#1: Total mean = sum of means
Mean length of assembled rods = 6 feet

#2: Total variance = sum of variances. Variance = (standard deviation)2
Standard deviation of length of assembled rods = 0.37 feet

#3: This is mean + 1 standard deviation. Probability of being less than 1 stdev in either direction is 0.68. Probability of it being less than 1 stdev in one direction and any value in the other direction = 0.68/2 + 0.5 = 0.84
Thus, 84% of the assembled rods will be less than 6.37 feet long

 
Presumably one from each box. The sleeves make them touch each other.
  1. What is the mean length of the assembled rods?
  2. What is the standard deviation of the assembled rods?
  3. What percentage of assembled rods will be less than 6.37 feet?
My solution:


#1: Total mean = sum of means
Mean length of assembled rods = 6 feet

#2: Total variance = sum of variances. Variance = (standard deviation)2
Standard deviation of length of assembled rods = 0.37 feet

#3: This is mean + 1 standard deviation. Probability of being less than 1 stdev in either direction is 0.68. Probability of it being less than 1 stdev in one direction and any value in the other direction = 0.68/2 + 0.5 = 0.84
Thus, 84% of the assembled rods will be less than 6.37 feet long



Nicely done.

Alternately you could have observed that 50% would be less than the mean and 50% + 1 sd would be the answer.

The thing you would have to know is that standard deviations are RMS values which add as Root Sum Square.



Total standard deviations = sqrt(0.08^2 + 0.16^2 + 0.32^2) = 0.37 inches rounded.

1 standard deviation from the mean is approximately 34%.

The min and max lengths will be themean 6 +- 3 standard deviations.

6.37 feet is plus one standarddeviation from the mean. 50% are less than the mean. Approximately 84% of the combinations will be less than 6.37.


 
My guess is you found that after anumber of searches. Same response as to Lauren. Reduce tit o anactual numerical solution.

Actually, no. To be honest, I've been able to solve all of your problems immediately and just prefer to give others a chance on such simple questions.

Minkowski sums are a well-known, hundred-year-old piece of very useful mathematics that would be immediately familiar to any working mathematician, especially a geometer like myself. As for numerical solutions, there are multiple implementations in various software packages to efficiently compute sums and differences of arbitrary geometric shapes in any dimension.

You did not solve the problem, you linked to an a relatively obscure piece of math that may have applied. Years back knowing the solution was readily available I worked through the solution. I found doing so in general where practical and time permitting improves understanding and problem solving skills, which is the point of the thread. Knowing aboutsomething is not the same as knowing something and being able to use it.


What do you do when you have no solution available?


I gave you a chance to recover. Thesolution I gave is widely used. I have never seen the topic youlinked to. However if you actually understood what you posted the solution I gave is actually such a sum which you apparently did not see. The theoretical position of each pin is the center of acoordinate system with the tolerance box diagonal and radii of the circles at each corner vectors.

NC machines do not calculate tolerances, tolerances are predetermined. My 3D CAD tool Alibre Design will check for interference between parts in an assembly, but does not tell what tolerances should be.

Back in the 80s I did some work on an NC diamond turning machine. The company made aluminum reflective optics. You will be hard pressed to convince me you really know about this stuff.

Any experienced engineer would see ageneral solution for arbitrary shapes as sums of vectors, but that is not what I asked. If you just want to post links you can start a thread for that

On your Zeno's Paradox based problemyou were unable or unwilling to show how you derived what you claimedto be an exact number of steps.


On your problem involving points o ahalf sine curve you claimed the series of points was actually a Riemann Sum. The Riemann Sum, or integral, of a half sine. is 2 and that makes your solution bogus. You were unable or unwilling to justify your leap. And ignored my question. I just dropped it, no matter to me.

You used a calculator to try to prove 3 * .333... = 1 proving infinities could be used in arithmetic calculations. I showed you how what you were seeing was due to finite arithmetic and rounding, no response. You also claimed that for some reason RPN provided the results you wanted.


My point of the above being my conclusion is you do not know much math at all. You can respond to my posts as you please, I will not be responding unless you begin to demonstrate substance.
 
Last edited:
Actually, no. To be honest, I've been able to solve all of your problems immediately and just prefer to give others a chance on such simple questions.

Minkowski sums are a well-known, hundred-year-old piece of very useful mathematics that would be immediately familiar to any working mathematician, especially a geometer like myself. As for numerical solutions, there are multiple implementations in various software packages to efficiently compute sums and differences of arbitrary geometric shapes in any dimension.

You did not solve the problem, you linked to an a relatively obscure piece of math that may have applied. Years back knowing the solution was readily available I worked through the solution. I found doing so in general where practical and time permitting improves understanding and problem solving skills, which is the point of the thread. Knowing aboutsomething is not the same as knowing something and being able to use it.


What do you do when you have no solution available?


I gave you a chance to recover. Thesolution I gave is widely used. I have never seen the topic youlinked to. However if you actually understood what you posted the solution I gave is actually such a sum which you apparently did not see. The theoretical position of each pin is the center of acoordinate system with the tolerance box diagonal and radii of the circles at each corner vectors.

NC machines do not calculate tolerances, tolerances are predetermined. My 3D CAD tool Alibre Design will check for interference between parts in an assembly, but does not tell what tolerances should be.

Back in the 80s I did some work on an NC diamond turning machine. The company made aluminum reflective optics. You will be hard pressed to convince me you really know about this stuff.

Any experienced engineer would see ageneral solution for arbitrary shapes as sums of vectors, but that is not what I asked. If you just want to post links you can start a thread for that

On your Zeno's Paradox based problemyou were unable or unwilling to show how you derived what you claimedto be an exact number of steps.


On your problem involving points o ahalf sine curve you claimed the series of points was actually a Riemann Sum. The Riemann Sum, or integral, of a half sine. is 2 and that makes your solution bogus. You were unable or unwilling to justify your leap. And ignored my question. I just dropped it, no matter to me.

You used a calculator to try to prove 3 * .333... = 1 proving infinities could be used in arithmetic calculations. I showed you how what you were seeing was due to finite arithmetic and rounding, no response. You also claimed that for some reason RPN provided the results you wanted.


My point of the above being my conclusion is you do not know much math at all. You can respond to my posts as you please, I will not be responding unless you begin to demonstrate substance.

I'm devastated. :rolleyes:

While I'm sure if you dredge through enough of my posts you'll find errors that I've made, I am confident that none of your examples are instances of that. In fact, I don't think the last one was even me. In any case, some solutions are really that obvious to me, and I avoid writing out every last detail in many posts, but if someone asks me to expand on a statement, I usually will. It is not my fault if you cannot follow, nor do I care if that makes you conclude that I don't know much math. In particular, I do not need your certification of my knowledge - my PhD and math professorship do that just fine.

My posting history will show that if someone is genuinely interested in learning something, I am the first one to take the time to try and help them. In fact, that was what I was trying to do with the above post. Instead of an ad hoc solution based on an instance with the simplest possible input shapes, I posted a general method of solution for arbitrary shapes in any dimension. I hoped that some people would follow the wiki link and learn something interesting. I did not write out the specific solution to your trivial problem because there was no need to, the specific solution is painfully apparent.

I usually try not to waste my time with trivialities, nor with arguing with obstinate people on the internet. I have found that your posts often fit both categories, so as a general rule I have tried to avoid engaging with you. I will continue to do so.
 
Presumably one from each box. The sleeves make them touch each other.

My solution:


#1: Total mean = sum of means
Mean length of assembled rods = 6 feet

#2: Total variance = sum of variances. Variance = (standard deviation)2
Standard deviation of length of assembled rods = 0.37 feet

#3: This is mean + 1 standard deviation. Probability of being less than 1 stdev in either direction is 0.68. Probability of it being less than 1 stdev in one direction and any value in the other direction = 0.68/2 + 0.5 = 0.84
Thus, 84% of the assembled rods will be less than 6.37 feet long



Nicely done.

Alternately you could have observed that 50% would be less than the mean and 50% + 1 sd would be the answer.

The thing you would have to know is that standard deviations are RMS values which add as Root Sum Square.



Total standard deviations = sqrt(0.08^2 + 0.16^2 + 0.32^2) = 0.37 inches rounded.

1 standard deviation from the mean is approximately 34%.

The min and max lengths will be themean 6 +- 3 standard deviations.

6.37 feet is plus one standarddeviation from the mean. 50% are less than the mean. Approximately 84% of the combinations will be less than 6.37.




This might interest you.

You can verify numerically. Scilab script, you can convert to your math tool.


It is not an idle problem. In high volume manufacturing it can be cheaper to have looser tolerances andthrow away parts that do not fit.


It leads into Monte Carlo Simulation.When the system gets large and the variables can have different distributions it is easier to create randomized vectors for each variable and then sequentially combine each vector entry per the process. The system could be electrical, mechanical, or a human process like queuing.


clear;
n = 1000;


rod1_mean = 1;
rod2_mean = 2;
rod3_mean = 3;


rod1_sd = .08;
rod2_sd = .16;
rod3_sd = .32;


sd_rss = sqrt(rod1_sd^2 + rod2_sd^2 +rod3_sd^2);


// create randomized vectors of normal distributions.


rod1 =grand(1,n,"nor",rod1_mean,rod1_sd);
rod2 =grand(1,n,"nor",rod2_mean,rod2_sd);
rod3 =grand(1,n,"nor",rod3_mean,rod3_sd);


// sequentially add each vector creating a combined distribution
for i = 1:n
rod_sum(i) = rod1(i) + rod2(i) +rod3(i);
end


m = mean(rod_sum); // mean of total lengths
sd_sum = stdev(rod_sum); // standard deviation of combined lengths


figure(1);
histplot(50,rod1);


figure(2);
histplot(50,rod2); //histogram


figure(3);
histplot(50,rod3);


figure(4);
histplot(50,rod_sum);




m
sd_sum


-->m
m =

6.0076993
-->sd_sum
sd_sum =

0.3678730
 
y(t) = [1 + .4 * cos(2*pi*1000*t) ] *100 * sin(2**pi * 500000*t)

where 1000 and 500000 are frequenciesin Hertz.

What are the resultant frequencies and their magnitudes?

The number of frequencies is > 2 and there are two approaches.
 
Solution to steve_bnk #131:


y(t) = (a0 + a1*cos(w1*t)) * sin(w0*t) = a0*sin(w0*t) + a1*sin(w0*t)*cos(w1*t)

The next step is a trigonometric identity: sin(x)*cos(y) = (1/2)*(sin(x+y) + sin(x-y))

That gives us
y(t) = a0*sin(w0*t) + (a1/2)*sin((w0+w1)*t) + (a1/2)*sin((w0-w1)*t)

Plugging in SB's numbers, a0 = 100, a1 = 40, w0 = 2pi * 500000, w1 = 2pi * 1000
That gives us a1 = 20, (w0+w1) = 2pi * 501000, (w0-w1) = 2pi*499000

Or
y(t) = 100*sin(2pi * 500000*t) + 20*sin(2pi * 499000*t) + 20*sin(2pi * 501000*t)


 
y(t) = [1 + .4 * cos(2*pi*1000*t) ] *100 * sin(2**pi * 500000*t)

where 1000 and 500000 are frequenciesin Hertz.

What are the resultant frequencies and their magnitudes?

The number of frequencies is > 2 and there are two approaches.



y(t) = [1 + M * cos(2pi*fm) ] * A * sin(2pi * fc)

y(t) = A * sin(2pi * fc)[1 + A*M * cos(2pi*fm) * sin(2pi* fc)

y(t) = A * sin(2pi * fc)[1 + (A*M)/2 * sin(2pi*(fc +fm)) + (A*M)/2 * sin(2pi*(fc - fm))

500000 Hertz, amplitude = 100
500000 – 1000 = 499,000 Hertz, amplitude (.4* 100)/2 = 20
500000 + 1000 = 501,000 Hertz, amplitude (.4* 100)/2 = 20

It is the radio double sideband midulatio equation.

Figure 4 in the link
http://en.wikipedia.org/wiki/Amplitude_modulation


M/A is the modulation index
A is the carier amptude in volts.
fc is the carrier frequncy
fm is the modulating audio frequncy
501,000 Hz and 499,000 Hz are called the difference frequencies or the upper and lower sidebands.



The other way would be to take the Fourier Transform ofthe equation.


 

Either of you (or both) mind writing out the Fourier transform for me? Would be appreciated.

 

Either of you (or both) mind writing out the Fourier transform for me? Would be appreciated.


Google it. I do not keep the continuous time FT on the top of my head. Beyond simple text bookproblems it is not very useful.


The FT is commonly applied numerically using the Discrete Fourier Transform and the Fast Fourier Transform.You can find plenty of discussion online.


My favorite.


Brigham, E. Oran,
The Fast Fourier Transform , Prentice-
Hall, 19


One of most important mathematicaldevelopments in the rise of modern technology

Cooley, J.W. and Tukey, J.W.,
“An Algorithm for the Machine
Calculation of Complex Fourier
Series”, Mathematics of Computation,
Vo. 19, No. 90, p. 297,
April 1965.


For shits and giggles Fourier analysisof the modulation equation. You can find code examples of the FFTonline and substitute for fft() if you want to experiment/


// Amplitude Modulation

clear;
clf;
M = .5;
A = 2;
fc =50000; //carrier frequency
fm = 2000; // modulation frequency


fs = 500000; // sample rate in Hertz
ts = 1/fs; // sample time interval inseconds
record_length = 2^16; // 64k transform


time_index = 0;
for i = 1:record_length;
t(i) = time_index;
time_index = time_index + ts;
end;


for i = 1:record_length;
s(i) = [1 + M * cos(2*%pi*fm*t(i)) ]* A * sin(2*%pi * fc*t(i));
end;

y = fft(s);
f =fs*(record_length/2))/record_length; //associated frequencyvector
n = size(f,'*')
clf()
figure(1);
plot(f,abs(y(1:n)))
figure(2);
plot(s(1:1000));
 

Either of you (or both) mind writing out the Fourier transform for me? Would be appreciated.



The Fourier transform of \(f(t)\) is \(\hat{f}(w) = \int_{-\infty}^\infty f(t) e^{-iwt} dt\). You can find tables of transform pairs online or, if you're feeling bold, derive them yourself.

If you really wanted to transform the function as given, you'd use linearity and the duality between convolutions and products to break apart y(t) into a convolution of simpler transforms in the frequency domain. On the other hand, the nice way to think of transforms of trigonometric functions is to think about them as \(\sin(x) = \frac{e^{ix}-e^{-ix}}{2i}\) and \(\cos(x) = \frac{e^{ix}+e^{-ix}}{2}\).

Then, the function y(t) is simply:

\(-50i(1 + .2(e^{2\pi 1000t i} + e^{-2\pi 1000 t i})(e^{2\pi 500000t i} - e^{-2\pi 500000t i}) \\= -50ie^{2\pi 500000 t i} + 50ie^{-2\pi 500000t i} - 10ie^{2\pi 501000t i} + 10ie^{-2\pi 499000t i} - 10ie^{2\pi 499000t i} + 10ie^{-2\pi 501000t i}\).

At this point, you could take the transform, use linearity and the fact that complex exponentials transform to shifted delta functions, and you'd get the correct mixture of delta functions in the frequency domain. However, there's no real need to do so for the question as asked - the frequencies are already right there.

This approach is essentially lpetrich's trig substitution, hidden under the gloss of Euler's formula... Converting back gives \(y(t) = 100 \sin(2\pi 500000 t) + 20 \sin(2\pi 501000t) + 20\sin(2\pi 499000 t)\).

 

Either of you (or both) mind writing out the Fourier transform for me? Would be appreciated.



The Fourier transform of \(f(t)\) is \(\hat{f}(w) = \int_{-\infty}^\infty f(t) e^{-iwt} dt\). You can find tables of transform pairs online or, if you're feeling bold, derive them yourself.

If you really wanted to transform the function as given, you'd use linearity and the duality between convolutions and products to break apart y(t) into a convolution of simpler transforms in the frequency domain. On the other hand, the nice way to think of transforms of trigonometric functions is to think about them as \(\sin(x) = \frac{e^{ix}-e^{-ix}}{2i}\) and \(\cos(x) = \frac{e^{ix}+e^{-ix}}{2}\).

Then, the function y(t) is simply:

\(-50i(1 + .2(e^{2\pi 1000t i} + e^{-2\pi 1000 t i})(e^{2\pi 500000t i} - e^{-2\pi 500000t i}) \\= -50ie^{2\pi 500000 t i} + 50ie^{-2\pi 500000t i} - 10ie^{2\pi 501000t i} + 10ie^{-2\pi 499000t i} - 10ie^{2\pi 499000t i} + 10ie^{-2\pi 501000t i}\).

At this point, you could take the transform, use linearity and the fact that complex exponentials transform to shifted delta functions, and you'd get the correct mixture of delta functions in the frequency domain. However, there's no real need to do so for the question as asked - the frequencies are already right there.

This approach is essentially lpetrich's trig substitution, hidden under the gloss of Euler's formula... Converting back gives \(y(t) = 100 \sin(2\pi 500000 t) + 20 \sin(2\pi 501000t) + 20\sin(2\pi 499000 t)\).


The Fourier Transform via evaluating the integral yields a trigonometric Fourier Series not a time domain function. The inverse transform, or La Place transform gets you back to the timedomain.


What you seem to have done is convert to phasors, rearrange and go back to trigonometric form. I do not see where you actually performed the transform to frequency domain. When you take the transform the variable is jw, there is no t or time domain element.


Given a rectangular wave f(t) what are the frequency components and phases via the integral?


t 0 → 1 seconds f(t) = 0
t 1 → 2 seconds f(t) = 1
t 2 → 3 seconds f(t) = 0
t 4 → 5 seconds f(t) = 1 …...
 
I've decided to revisit the SAS Postulate again, something I'd mentioned in an earlier post. The problem is to construct a triangle in an arbitrary space or manifold and then find out how much it departs from a flat triangle. I've tried doing that generally, but it's a big headache. So I've considered how to construct a 2D subspace that contains a triangle. I now have a solution.

Take triangle ABC. Construct a geodesic through B and C, with s2 as the parameter that controls point locations on it. Construct a geodesic through A and some point D on BC, with s1 as the parameter that controls point locations on it. A point X on geodesic AD thus has its position controlled by two parameters, s1 and s2. All points X thus form a subspace of the original space. Since each pair of vertices is connected by a geodesic, that means that the tangent directions at each vertex is also in the subspace, along with the geodesics.

Thus, one can solve this general-space problem by solving a related 2D-space problem. From the Gauss-Bonnet theorem,
(sum of polygon's angles) = 180d*((number of polygon sides) - 2) + (curvature integrated over the polygon's area)

That integral becomes, in general,
\( \int R_{ijkl}e^{ij}e^{kl}dA \)
where the e is the surface's "tangent bivector", composed from two tangent vectors:
\( e^{ij} = e_1^i e_2^j - e_2^i e_1^j ,\ (e_1.e_1) = (e_2.e_2) = 1, \ (e_1.e_2) = 0 \)
and R is the Riemann curvature tensor.

As I'd posted earlier, the SAS postulate means that Rijkleikekl is constant, independent of location and the orientation of e. That gives us covariantly-constant curvature: Rijkl = K*(gikgjl-gilgjk) where K is a constant.
 
I've decided to revisit the SAS Postulate again, something I'd mentioned in an earlier post. The problem is to construct a triangle in an arbitrary space or manifold and then find out how much it departs from a flat triangle. I've tried doing that generally, but it's a big headache. So I've considered how to construct a 2D subspace that contains a triangle. I now have a solution.

Take triangle ABC. Construct a geodesic through B and C, with s2 as the parameter that controls point locations on it. Construct a geodesic through A and some point D on BC, with s1 as the parameter that controls point locations on it. A point X on geodesic AD thus has its position controlled by two parameters, s1 and s2. All points X thus form a subspace of the original space. Since each pair of vertices is connected by a geodesic, that means that the tangent directions at each vertex is also in the subspace, along with the geodesics.

Thus, one can solve this general-space problem by solving a related 2D-space problem. From the Gauss-Bonnet theorem,
(sum of polygon's angles) = 180d*((number of polygon sides) - 2) + (curvature integrated over the polygon's area)

That integral becomes, in general,
\( \int R_{ijkl}e^{ij}e^{kl}dA \)
where the e is the surface's "tangent bivector", composed from two tangent vectors:
\( e^{ij} = e_1^i e_2^j - e_2^i e_1^j ,\ (e_1.e_1) = (e_2.e_2) = 1, \ (e_1.e_2) = 0 \)
and R is the Riemann curvature tensor.

As I'd posted earlier, the SAS postulate means that Rijkleikekl is constant, independent of location and the orientation of e. That gives us covariantly-constant curvature: Rijkl = K*(gikgjl-gilgjk) where K is a constant.

You mean a planar Euclidian triangle or any triangle and by geodesic you mean a the shortest distance between two points?
 
Back
Top Bottom