Jump to content

Wikipedia:Reference desk/Mathematics

From Wikipedia, the free encyclopedia

This is an old revision of this page, as edited by 70.90.174.101 (talk) at 06:38, 23 September 2009. The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

Welcome to the mathematics section
of the Wikipedia reference desk.
Select a section:
Want a faster answer?

Main page: Help searching Wikipedia

   

How can I get my question answered?

  • Select the section of the desk that best fits the general topic of your question (see the navigation column to the right).
  • Post your question to only one section, providing a short header that gives the topic of your question.
  • Type '~~~~' (that is, four tilde characters) at the end – this signs and dates your contribution so we know who wrote what and when.
  • Don't post personal contact information – it will be removed. Any answers will be provided here.
  • Please be as specific as possible, and include all relevant context – the usefulness of answers may depend on the context.
  • Note:
    • We don't answer (and may remove) questions that require medical diagnosis or legal advice.
    • We don't answer requests for opinions, predictions or debate.
    • We don't do your homework for you, though we'll help you past the stuck point.
    • We don't conduct original research or provide a free source of ideas, but we'll help you find information you need.



How do I answer a question?

Main page: Wikipedia:Reference desk/Guidelines

  • The best answers address the question directly, and back up facts with wikilinks and links to sources. Do not edit others' comments and do not give any medical or legal advice.
See also:



September 17

Formula for placing things equidistant along a circle circumference

As the subject implies, i need to find a formula to place items an equal distance apart on the circumference of a circle. Specifically i need 24 equidistant locations. I dont know quite yet how i will define the circle, probably with parametrics? But ive looked on google for an answer to this and there doesnt seem to be any. Please help?

Thanks! 137.81.115.58 (talk) 01:26, 17 September 2009 (UTC)[reply]

You can define a circle with radius R in terms of the angle θ around the origin with the parametric equations x = Rcosθ, y = Rsinθ. Evenly spaced points along the circle are at evenly spaced angles, so we divide the full 2π angle of the circle up into 24ths. The points with coordinates (Rcos(2πn/24), Rsin(2πn/24)) with n ranging from 1 to 24 satisfy the conditions you're looking for. Rckrone (talk) 02:44, 17 September 2009 (UTC)[reply]

See Root of unity. Bo Jacoby (talk) 08:58, 17 September 2009 (UTC).[reply]

Note that 24 = 6x2x2 - you can easily divide the circle into 6 arcs, and then half those arcs twice. When you can define how you want to describe the circle it will be easy to give a method for the process.87.102.94.154 (talk) 11:12, 17 September 2009 (UTC)[reply]

help me ...it will safe my future..??

sir/mam....which extra book i adopt ?? i am the student of commerce stream..i choose maths because i want to become good C.A.

you are good to go rambharose..best of luck

You are going to need to be more specific. --Tango (talk) 17:56, 17 September 2009 (UTC)[reply]
Quite so :o) ~~ Dr Dec (Talk) ~~ 18:30, 17 September 2009 (UTC)[reply]
You seem like a nice person, though I'm not sure who 'rambharose' is. I'm going to guess that you need an introductory maths book for a commerse coarse, possibly including accountancy and economic maths? (and maybe statistics?) Maybe someone else would be good enough to give a suggestion?83.100.251.196 (talk) 19:12, 17 September 2009 (UTC)[reply]
Rambharose means in trust of Rama(God) in Hindi:)--Shahab (talk) 18:42, 19 September 2009 (UTC)[reply]

Writing Roman Numerals

Hello

Hope someone can answer this as I can't find it in the system. I understand how roman numerals work but get stuck at large numbers, ie one million is M with a bar, but how do you write 2 million or 10 million etc ?

--Bruceglasgow (talk) 18:42, 17 September 2009 (UTC)[reply]

Two million derives from one million just as two derives from one. If one million is M, two million is easy to generate: MM. Alternately, parentheses may be used to represent "times 1000", such that two million is (MM). Ten million requires some extrapolation from our Roman numerals article, but might be fairly represented as (X), or a longer form. — Lomn 19:21, 17 September 2009 (UTC)[reply]

Equation of oscillator - flat section

A question arises from another persons question about oscillations of things travelling through a spherical body exerting and inverse square force law Wikipedia:Reference_desk/Science#Gravity_at_the_center_of_a_body.

My question begins: If a spherical centre part is removed then within this part the field force is zero. (as per Shell theorem), assuming a body is dropped into the whole hollow sphere (assumming a negligable cylindrical hole for it to travel in or whatever) - then it seems to me that the body will accelerate towards the centre, then when it reaches the empty part no field is experienced and the body will move at constant velocity, until it exits the spherical hole at which point the deacceleration occurs, and so on. Thus it oscillates.. but with a part at which the acceleration is zero...

So the equation of motion (eg acceleration vs time) I would expect to be expressable as a fourier series (ie a series of powers of sines or similar).. Since the function is periodic. But at the times at which the particle is inside the spherical void the acceleration is 0, as are the derivatives of the accelerations.. This seems to contradict the taylor-maclaurin type theorems (ie that a function at any point can be constructed from the function at a given time and all it's derivatives.

My questions are:

Taylor-Maclaurin-type results apply to analytic functions. This function is not analytic. The Fourier series of position as a function of time would converge to that function. This is one of the difference between Fourier series and power series. Michael Hardy (talk) 19:57, 17 September 2009 (UTC)[reply]
The page analytic function seems to define itself as "A function is analytic if and only if it is equal to its Taylor series in some neighborhood of every point." (which is somewhat circular in respect to your statement, but I'm not arguing this).
The actual function of this oscillation can be expressed as a fourier series, and so also as a power series (is there an exception here?). I imagine that the square wave is a simple(r) example to discuss.
Is there another way of showing that a given power series (or fourier series) will not be analytic (other than trying the taylor maclaurin series).
Does the fact that eventually a differential of the function includes a discontinuity mean that it will be non-analytic ? - it seems to me that this will be the case, but can't imagine a proof.83.100.251.196 (talk)
You can't have a power series that's not analytic, since a power series is analytic by definition. You're right that a function has to be smooth in order to be analytic. To prove it, any power series is smooth (assuming it converges), so if a function isn't smooth, it's not equal to any power series. The Taylor series article mentions that the converse isn't true: there are smooth functions that aren't analytic.
As for the Fourier series, sine functions are analytic, and so any finite sum of sine functions is analytic, but that doesn't necessarily extend to an infinite sum. So the partial sums of the Fourier series are analytic, but they may converge to something that's not analytic, which is the case with the function being discussed. Rckrone (talk) 21:41, 17 September 2009 (UTC)[reply]
A power series is analytic by definition: not quite so; to be precise, you need to prove that at any point within the convergence disk of your power series, the function represented by the series is also representable by a power series centered at that point: not difficult, but still a computation. --84.221.68.30 (talk) 22:34, 17 September 2009 (UTC)[reply]
ok thanks so far, For the square wave the 'x1' term would be of the form 1+1/3+1/5+1/7... etc that relates to pi , (I haven't checked the other terms x^3 etc) , but it looks like it can be expressed as a infinite power series (is this right?).
I'm not very familiar with the radius of convergence - though at first sight it looks like the square wave will converge for all values of x .. ah not for the differentials.
I'm fairly familiar with smooth functions though.
It would be great if a few points could be clarified - specifically about the square wave (I'm confused because I think it is non-analytic, yet expressible as a power series):
  • Can the square wave be expressed in the form a0 + a1x1 + a2x2 + a3x3 + etc all the way to infinity. (as I suspect) - but this form does not converge - but oscillates and diverges does this relate to it being non-analytic?
    • Is this form a power series, or is this the definition of a power series more complex.
  • The radius of convergence of the square wave - infinite ? but only for the fourier series not for the differentials, starting to partially understand.
  • Apart from lacking smoothness (ignoring smooth non-analytic functions for now) is there another test for lack of analyticalisity in a function? (apart from the obvious taylor maclaurin method)? The test doesn't have to be absolute - just able to reject a set of equations.. Thanks/83.100.251.196 (talk) 23:39, 17 September 2009 (UTC)[reply]
I think you might be confusing approximating the square wave with a sequence of analytic functions (such as with partial Fourier series), and a single power series that converges to the square wave. There's no power series that converges to the square wave, which is to say that it's not analytic. We know this because it's not smooth, and all analytic functions are smooth. We can however approximate the square wave with analytic functions, for example with the Fourier series. The partial sums of the Fourier series give us a sequence of different analytic functions that approach the square wave (at most points).
Besides smoothness I don't know what other criteria there are to decide if a function is analytic besides just comparing it to its Taylor series. Maybe someone else who knows more about this has something. Rckrone (talk) 01:23, 18 September 2009 (UTC)[reply]
Yes exactly that, I know see why attempting to make the corresponding power series for the fourier series fails - because the terms for x are all infinite (or non converging) beyond x1.
I get the principle now thanks.
Resolved
83.100.251.196 (talk) 11:25, 18 September 2009 (UTC)[reply]

The taylor series for g(z) defines the fourier series for f(x) = g(eix) . Bo Jacoby (talk) 10:04, 18 September 2009 (UTC).[reply]

I'll have a look at that too, thanks.83.100.251.196 (talk) 11:25, 18 September 2009 (UTC)[reply]
This corresponds to the rather unusual case when the nth (exponential) Fourier coefficient of f is zero for every negative n. In general, the Laurent series for g defines the Fourier series for f. However, in practice the Laurent series corresponding to the Fourier series of a typical periodic function will have both radii of convergence equal to 1, meaning that it's degenerate (its annulus of convergence is empty). — Emil J. 16:34, 18 September 2009 (UTC)[reply]


September 18

Substitution in the integral

Suppose we have the integral of the form and then we do a substitution of the form . what will happen for the integral limits, 0 and  ? —Preceding unsigned comment added by Re444 (talkcontribs) 15:32, 18 September 2009 (UTC)[reply]

I think of it by imagining a little "t=" next to each limit. You want those to turn into "u=", so figure out what u is when t=0, and similarly when t=h(x). Does that do it? -GTBacchus(talk) 15:36, 18 September 2009 (UTC)[reply]
Oh thanks, I really need that! It solved all my problems. Re444 (talk) 18:53, 18 September 2009 (UTC)[reply]

A really brainy sum !!!!!

My friend sent me this question via mail and i tried various options for getting this sum.Even after 3 hrs of futile trying I failed pls help.The question as follows

A farmer was dividing his property among his children. This was what the farmer told to his first son “Take as many number of cattle as you can care for and your wife may take one-ninth of the remaining number.” To his second son he said “Take one more than what the first son took and your wife will have one ninth of the cattle remaining after you have taken.” This applied to the remaining sons too i.e. each son would take one more than the next oldest brother and their wives would have one ninth of the remaining after their husbands have got their share.

After the cattle were divided, the farmer proceeded to divide the gold bars he had among the children. Each gold bar was valued at 3.5 times each cow's value. The gold bars were divided such that each couple had equally valued inheritance. What are the number of cows, gold bars and the number of sons the farmer had?

My deductions :

  1. Obviously the wife of last son will not get any cows as there should be no cow left.
  2. The number of cows of each couple consists of three terms.All terms except the constant term follow a particular pattern except the integer.
  3. The difference between the number of cows(assuming the cost of a cow is 1 unit ) of each couple should be equal to a multiple of 7.

so pls help...3 to 4 hrs of working on this didnt help much :-(164.100.170.4 (talk) 16:14, 18 September 2009 (UTC)[reply]

Does the wife round down or up?83.100.251.196 (talk) 16:56, 18 September 2009 (UTC)[reply]
The wives don't round. That's part of the problem, is that there's always a multiple of nine left when the wife chooses.

Nice problem. This'll take a minute... -GTBacchus(talk) 19:37, 18 September 2009 (UTC)[reply]

what does that mean???

Simplest non-trivial solution: 2 sons, 135 cows, 2 bars of gold. The first son takes 63 cows, leaving 72. His wife takes 8. The second son gets the remaining 64 cows, and the second wife, none. That's 71 cows for the first couple, and only 64 for the second. The 2 bars of gold make it even.

Of course, if there's only 1 son, it's trivial, and (2 sons, 16 cows, no gold) works, but isn't very interesting. There are other solutions, with 2 sons. Not sure about 3 or more. -GTBacchus(talk) 20:13, 18 September 2009 (UTC)[reply]

(after ec) The problem has several possible solutions. For example:

  • Number of sons = 1; Number of cows = arbitrary; number of gold bars = arbitrary. The first son takes all the cows, and his wife gets none.
  • Number of sons = 2; Number of cows = 16; Number of goldbars = any even number, say 2p. First son takes 7 cows, his wife gets (16-7)/9 = 1; second son gets 7+1=8, and his wife gets none. Both couples have 8 cows each, so the gold bars are divided equally.

I am confident that there are other solutions with more sons, but I haven't worked them out yet. Note though, that the number of gold bars will always be non-unique, because for any solution with n sons, one can always add np to the number of gold bars while meeting all the conditions of the problem. Abecedare (talk) 20:15, 18 September 2009 (UTC)[reply]

Ah, good point about the gold. You can always throw more gold around, as long as the extra is divisible by the number of couples. For more unique solutions, one would add the condition that the couple with the most cows gets no gold. -GTBacchus(talk) 20:18, 18 September 2009 (UTC)[reply]

There are no solutions with 3 sons. The number of cows the first son takes would have to be congruent to both 6 and 0, modulo 64, which is impossible. -GTBacchus(talk) 20:24, 18 September 2009 (UTC)[reply]

I can post the general solution for 2 sons, but I don't want to ruin any more of the fun for others... feel free to post to my talk page for it. -GTBacchus(talk) 20:28, 18 September 2009 (UTC)[reply]

Hmmm, I found a few solutions with three sons!

  • Number of cows = 24; Goldbars = 3p; First son takes 6 cows, and his wife takes (24-6)/9=2; Second son takes 7 cows and his wife takes (24-6-7-2)/9=1; Third son takes the remaining 8 cows. Each couple has 8 cows, and can divide the gold evenly.
  • Number of cows = 1543; Gold bars = 3p+52. First son takes 454 cows, and his wife gets (1543-454)/9 =121 cows. Second son takes 455 cows and his wife gets (1543-454-455-121)/9 =57 cows. Third son takes the remaining 456 cows. So first couple has 575 cows, second couple 512 cows and third couple has 456 cows. So first couple gets p goldbars, second couple p+18 goldbars, and third couple p+34 goldbars, to even the inheritence.

I am guessing there are solutions with even more number of progeny, but I'm donw with this family :-) Abecedare (talk) 20:40, 18 September 2009 (UTC)[reply]

Huh, what did I do wrong? Runs off to double-check congruences... -GTBacchus(talk) 20:42, 18 September 2009 (UTC)[reply]
Aaargh. How silly of me. Thanks for the down-a-peg; those are good for the soul. -GTBacchus(talk) 20:44, 18 September 2009 (UTC)[reply]
(ec) It's easier to run it in reverse. Start with no cows on the pile. First wife adds no cows, first son (last really) adds some number of cows that has to be a multiple of 8, call it 8k, so that the second wife can add 1/8 of the existing pile. The second son adds 8k-1, and the new pile (with 17k-1) now has to be a multiple of eight for the third wife, etc. The only exception is that the last son (first really) doesn't need to make the pile a multiple of 8. For each additional son that there is in the family, there are stricter constraints, but always an infinite number of solutions. For example with 2 son there are no constraints on k. With 3 sons, k = 1(mod 8). With 4 sons k = 1(mod 64). With n sons, k = 1(mod 8n-2) I think (it's definitely a sufficient condition, but it might be looser than that). Then there's the gold bar thing which adds some more constraints. 1 son puts no constraints on k. With 2 sons, k = 1(mod 7). I'm less sure about how this one grows with the number of sons, although I think requiring k = 1(mod 7n-1) is always safe. So combining these, for n sons, requiring k = 1(mod 7*56n-2) should always get you solutions I think, but I'm not totally sure.
Although there are infinite solutions for any given number of sons, an easy solution that pops out is k=1. Each couple gets 8 cows, and no gold is required. That would work for any number of sons, except that the cows each son takes has to be non-negative, so it fails for more than 9 sons. Rckrone (talk) 21:19, 18 September 2009 (UTC)[reply]
That is easier. I made my variable the number of cows that the first son takes, which took a bit more calculating. -GTBacchus(talk) 21:26, 18 September 2009 (UTC)[reply]
With no rounding I came to the conclusion that there could be any number of sons - though clearly as 'sons' increase the number of cattle increases vaguely 'factorially' (to satisfy the modular relationships). The gold bars don't seem to affect it at all (at any number of sons I can multiply all cattle by 7 to get a integral relationship with number of gold bars..) Did anyone find a reason not to suggest any number of sons?
the issue I have is that there doesn't seem to be a proper answer 83.100.251.196 (talk) 22:00, 18 September 2009 (UTC)[reply]
"at any number of sons I can multiply all cattle by 7" : That's not true since the condition that each son recieves one more cow than his elder brother would then not be satisfied.
The analysis by Rcrone above is right on the point: we need to simultaneously satisfy congruency relations with respect to some power of 8 and some of power of 7, and since this is achievable for any power n, (infinitely many) solutions exist for any given number of sons. Abecedare (talk) 22:10, 18 September 2009 (UTC)[reply]
Yes, I just came back to correct that.83.100.251.196 (talk) 22:34, 18 September 2009 (UTC)[reply]
I think with last wife taking no cows the method fails after 2 sons, (though probably made a mistake) I did. Doing sons wrong way round.83.100.251.196 (talk) 22:50, 18 September 2009 (UTC)[reply]
cows=16 sons=2
first son = 7 , wife = 1
second son 8 , wife =0
cow difference = 0, thus no gold
No solution for 3 sons I can see.(reason:algebraic (5k-1)/8 must equal integer for integer k - impossible)
Solutions also exist for cows = 16+34n , fs=16n+7,fw=2n+1,ss=16n+8,sw=0, cow difference=2n = 7n gold.
Ignore 1 son solution since it seems irrelevent to the question. Is that ok?83.100.251.196 (talk) 23:30, 18 September 2009 (UTC)[reply]
Doh, me dumbo see correct solution below.83.100.251.196 (talk) 00:09, 19 September 2009 (UTC)[reply]
(5k-1)/8 is an integer if k=5+8n for any integer n. In that last solution, remember, ss=fs+1.
General solution for 2 sons: let k be any non-negative integer.
Cows: 16+119k.
Gold: 2k.
Son 1 takes: 7+56k cows.
General solution for 3 sons: let k be any non-negative integer.
Cows: 24+1519k.
Gold: 52k.
Son 1 takes: 6+448k cows.
General solution for 4 sons: let k be any non-negative integer.
Cows: 32+17225k.
Gold: 902k.
Son 1 takes: 5+3584k cows.
-GTBacchus(talk) 23:51, 18 September 2009 (UTC)[reply]
Can anyone write it down for n sons? I'm working on 5... -GTBacchus(talk) 23:56, 18 September 2009 (UTC)[reply]
Empirically observed pattern: first son's take when there are n sons = (9-n) + (8^(n-1))*7k. One can trace back the total number of cows from this, but I'm too lazy to do that at the moment. My conjecture is that this pattern will hold for n<9, and possibly for n=9. Abecedare (talk) 03:36, 19 September 2009 (UTC)[reply]


September 19

Field extensions

Hi. I'm working through a p-adic analysis book, and there's a quick review of fields at the beginning of chapter 3. I read the following there:

A field extension K of F is an F-vector space; if it is finite-dimensional, it must be an algebraic extension, and its dimension is called the degree [K:F]. If has the property that every element of K can be written as a rational expression in , we write and say that K is the extension obtained by adjoining to F.

Two paragraphs later:

If F is a perfect field, then any finite extension K of F is of the form for some . is called a primitive element. Knowing a primitive element of a field extension K makes it easier to study K, since it means that everything in K is a polynomial in of degree <n.

Super. So... the first paragraph there says that everything in K is a rational expression in . The second says that everything in K is a polynomial in . Those aren't equivalent, are they? What polynomial in is the same as , for example? What am I missing? Is the polynomial thing something extra that we get when F is perfect? -GTBacchus(talk) 00:10, 19 September 2009 (UTC)[reply]

They're equivalent as long as α is algebraic over K. Then any rational expression in α over K can be rewritten as a polynomial, using the extended Euclidean algorithm. For example, if α is a root of the polynomial x2-x+1, then 1/(1-α)=α. Algebraist 00:59, 19 September 2009 (UTC)[reply]
The algorithm at that link seems to apply in a finite field. What if we're talking about an extension of , for example? That's a perfect field, because is has characteristic 0, right? -GTBacchus(talk) 01:02, 19 September 2009 (UTC)[reply]
The algorithm works whenever α is algebraic over the ground field (perfection is not relevant, and neither is finiteness). Algebraist 01:09, 19 September 2009 (UTC)[reply]
Ok, I'll study that. Thank you. -GTBacchus(talk) 01:29, 19 September 2009 (UTC)[reply]

calculations over three years

I learned one porcelain bowl from the estate of Barbara Hutton was auctioned and sold by Christie's Hong Kong for $22,240,000 in 2006. When I tried to use the inflation calculator provided by the United States Department of Labor to figure out what that sum of money would be today, I ran into a problem. The original sum has to be at least $10,000,000 or less. So if anyone could improvise and help me figure out what $22,240,000 in 2006 would be in today's money, that would be great. Thank you.69.203.157.50 (talk) 05:43, 19 September 2009 (UTC)[reply]

Try the inflation calculator on $22,240 and multiply the result by 1,000. Bo Jacoby (talk) 06:14, 19 September 2009 (UTC).[reply]

Method to generate symmetries of a point lattice

I am interested in algorithmically generating the symmetries of a 2D or 3D point lattice, given reduced lattice basis vectors. I know that there are a finite number of crystallographic point groups in these dimensions, but I am wondering how those tables of symmetries were generated. Is there an automatic way of discovering lattice symmetries? Victor Liu (talk) 19:39, 19 September 2009 (UTC)[reply]

One way you could go about it is to begin at the origin and generate all the lattice points near the origin, expanding your search outward until you have in your collection 3 points that are linearly independent (for a 3D lattice). Then divide all the points in your collection into sets of points that are equidistant from the origin. Any symmetry has to map the points in each set into one another, and any isometry that successfully maps all the points in your collection to other points in the collection is a symmetry of the lattice. That should narrow down the search for what isometries work to something finite. There might be something more clever though. Are you looking to implement this on a computer? Rckrone (talk) 06:56, 20 September 2009 (UTC)[reply]
Yes, I plan to implement this on a computer. I thought it would be interesting to be able to generate the standard tables of crystallographic point groups in 2D and 3D, and then see if I can go to higher dimensions. That's the mathematically curious reason. The practical reason is to implement [1] very generally, among other possible applications. Your proposal sounds good. I'm think to use the set of equidistant nearest neighbors from the origin, and trying rotations and flips on them. I still need to convince myself this works. 76.102.161.22 (talk) 08:36, 20 September 2009 (UTC)[reply]
made link visible - no reference section on this page83.100.251.196 (talk) 09:47, 20 September 2009 (UTC)[reply]
Just the nearest neighbors won't be enough in general, since that set might not span the lattice. Consider for example the 3D lattice Z×2Z×3Z. You may need to look at the sets of points at several different distances so that the union of the sets spans. For the nD case, you could need up to n different sets. Rckrone (talk) 23:18, 20 September 2009 (UTC)[reply]

September 20

The numbers 931981, 941981, 961981, 971981, 991981 and 1001981 are all prime. I have verified that no other number of one to four digits can be put in place of 1981 for this to remain true, and crude estimates of how many five- and six-digit numbers there are for which the six implied numbers will all be primes are 'around two' and 'around eight-and-a-half'. (The formula used for the first approximation is 12000*[3.75/log(9700000)]^6, where 12000=90000/7.5 comes from congruence modulo 30 considerations and the square brackets encloses a value derived from the prime number theorem and consideration of the first three primes.) If anybody can spare the time to generate by program all of the five- and six-digit values one can substitute for 1981, I would appreciate it. I imagine there is a database listing of primes that one can simply search.Julzes (talk) 03:52, 20 September 2009 (UTC)[reply]

N.B. You don't need 1001981. For a four digit number, say wxyz we can show that 93wxyz, 94wxyz, 96wxyz, 97wxyz and 99wxyz are all prime if and only if wxyz = 1981. In the case of a five digit number then we do need all six cases. For a five digit number, say vwxyz, we find that 93vwxyz, 94vwxyz, 96vwxyz, 97vwxyz, 99vwxyz and 100vwxyz are all prime if and only if vwxyz = 46501. ~~ Dr Dec (Talk) ~~ 11:07, 20 September 2009 (UTC)[reply]
Did the sequence "93, 94, 96, 97, 99, 100" come from anywhere in particular? It's not surprising that no other 4-digit numbers can be prefixed by elements of that sequence to make primes, more interesting would be some kind of how many such numbers work for various sequences. Is there any sequence of 6 consecutive prefixes that has a 4-digit number that gives all primes, for example? --Tango (talk) 04:02, 20 September 2009 (UTC)[reply]
It doesn't look like it. I couldn't even find a single triple of prime numbers of the form 10,000m + n, 10,000(m + 1) + n and 10,000(m + 2) + n where 1 ≤ m ≤ 97 and 0 ≤ n ≤ 9,999. As for pair of the form 10,000m + n and 10,000(m + 1) + n where 1 ≤ m ≤ 98 and 0 ≤ n ≤ 9,999, well, there were 10,477 of such prime pairs. ~~ Dr Dec (Talk) ~~ 12:22, 20 September 2009 (UTC)[reply]

I would say I just took a kind of numerological curiosity in all of the values beginning with 11981 and worked upward. You could say I just stumbled upon it. Obviously the answer to your other question is no by consideration modulo 3. I'm in the midst of formulating another nice question beginning at 100 and working backward, but one could come up with all sorts of related questions. You can sort of figure out what the question I am trying to formulate is if I say that 9 is the first value in sequence, and 1981 is the sixth. Julzes (talk) 04:21, 20 September 2009 (UTC)[reply]

Sorry, but I don't understand. I'm probably being quite dense now, but how does reduction modulo 3 tell us anything? For example 10,000m + n = m + n (mod 3). And m + n = 0, 1, or 2 (mod 3). I can't see why any result comes from this. ~~ Dr Dec (Talk) ~~ 12:51, 20 September 2009 (UTC)[reply]
A number is divisible by three when the sum of the digits is divisible by 3. (A key part of the standard mathematical toolbox for any base-10 numerologist.) So if you make a sequence of three numbers by increasing the same digit by 1 each time, then one of them must be divisible by three. Staecker (talk) 14:02, 20 September 2009 (UTC)[reply]
Ah! I see... That explains why I couldn't find a triple of prime numbers of the form 10,000m + n, 10,000(m + 1) + n and 10,000(m + 2) + n where 1 ≤ m ≤ 97 and 0 ≤ n ≤ 9,999; one of them would always be divisable by 3. ~~ Dr Dec (Talk) ~~ 14:27, 20 September 2009 (UTC)[reply]

The first six members in the sequence would be 9, 67, 67, 787, 1981 and 1981 (1009 is prime; 10067, 9967 and 9767 are prime; 100787, 99787, 97787 and 96787 are prime; and then the above is the first that allows 94 as a prefix and it also allows 93. The sequence of prefixes continues 91, 90, 87, 85, 84, 82, 79, 78, 76, 72, 69, etc., with modulo 7, 11 and 13 considerations first necessarily coming in at 95 (taking 88 and 74 off), 92 (81 and 70) and 88 (75), respectively. How would we expect the sequence to grow, rather than asking what its precise values are (the next few terms would be nice, but I expect the growth to be pretty fast)? What does the sequence starting with prefixes of 0 (no prefix), 1, 3, 4, 6, 7, 9, 10, 13, 15, 16, etc., look like? This is probably a more natural question. Is there a good base-independent related question is also something I wonder about.Julzes (talk) 06:17, 20 September 2009 (UTC)[reply]

For 5 digits, the only answer is starting 93,94, etc. is
9346501,9446501,9646501,9746501,9946501,10046501.
For 6 digits, there are 4 solutions:
93132667,94132667,96132667,97132667,99132667,100132667
93338149,94338149,96338149,97338149,99338149,100338149
93484393,94484393,96484393,97484393,99484393,100484393
93740131,94740131,96740131,97740131,99740131,100740131

70.90.174.101 (talk) 09:01, 20 September 2009 (UTC)[reply]

Hmmm. Then 132667 is the only number of six or fewer digits that also gives a prime when 91 is prefixed, and to get 90 also prefixed to get a prime seven digits are needed at the very least. My 0, 1, 3, etc., alternative question yields analogously a sequence starting 2, 3, 7, 7, 7, 229, and then what?Julzes (talk) 09:31, 20 September 2009 (UTC)[reply]

You get to 91 with 2824117 and no other 7 digit sequences. For 8 digits you get 91 with 02374819, 07184533, 08614087, 67173973, and 84167761. In neither case do you ever get to 90. Dragons flight (talk) 14:25, 20 September 2009 (UTC)[reply]
The 14th term in your original sequence is probably 9955031915073901. It gives a prime when one of 78, 79, 82, 84, 85, 87, 90, 91, 93, 94, 96, 97, 99, 100 is prefixed. PrimeHunter (talk) 01:33, 21 September 2009 (UTC)[reply]

Thanks, all. PrimeHunter, how on Earth did you find that and what are the eighth through thirteenth terms? I'm surprised to find that the number of digits grows as slowly as indicated, too. Is there a good way to estimate the size of terms? Also, just looking at the 1981 case, I'm wondering if there is any sequence of four or fewer digits other than it that produces primes for five of the six prefixes (we've ruled out consecutive ones for numbers without leading zeros). I'm going to look into that the way I have been (almost by hand, with a primality testing module).Julzes (talk) 03:10, 21 September 2009 (UTC)[reply]

Correction: Dr. Dec only considered four-digit numbers (937, 947, 967, 977 and 997 are prime). I'll have to limit my search to four-digit sequences if I'm hoping to find 1981 unique in the way I've suggested.Julzes (talk) 03:49, 21 September 2009 (UTC)[reply]

0889 turns out to be the first value that's prime for five of the six prefixes (composite for 97).Julzes (talk) 04:23, 21 September 2009 (UTC)[reply]

Ok. 3367 gives primes for prefixes 94, 96, 97, 99 and 100, so what I said earlier was not correct. Here is a problem then (which unfortunately won't have my set of six primes as a solution, but might be interesting/challenging): What is the first string of eight consecutive numbers such that there is a unique four-digit value (or string, for a slightly different problem) that can be appended to five of them to make primes, and which can actually be appended to the maximum of six to make primes?Julzes (talk) 05:59, 21 September 2009 (UTC)[reply]

There is a reason for my username. The search took 10 cpu minutes after adapting my old prime pattern finder. But it was not designed for this and setting it up to make exhaustive searches for a lot of sequence terms would require more manual time than I'm willing to use. It would require separate source modifications and recompilation for each combination of sequence term and number of digits it searches for this problem. Finding 14 primes with a 16-digit end was lucky. 18 digits would have seemed more likely. An expected chance of solutions below a given size can for example be computed with help from a formula at [2] but it's a little complicated and I didn't do it. The 14th term of your new sequence is probably 1989530586646177 which gives a prime with prefix 0, 1, 3, 4, 6, 7, 9, 10, 13, 15, 16, 18, 21, 22. That was also lucky. PrimeHunter (talk) 15:21, 21 September 2009 (UTC)[reply]

Normal approximation to the binomial with continuity correction

So, I am asked to use the normal approximation to the binomial and use the continuity correction with it to make it more accurate. The way my textbook describes how to use the continuity correction is:

The best way to determine whether to add or subtract is to draw a picture like Figure 4.26.

That is, draw the graph of the normal approximation along with a histogram of the binomial distribution. In other words, calculate the binomial distribution EXACTLY so you will know which correction, adding or subtracting 0.5, is closer to the actual value. Is there some way that is not stupid to know how to do the continuity correction? StatisticsMan (talk) 19:46, 20 September 2009 (UTC)[reply]

The graph doesn't need to be exact. You just need to work out roughly where the point you are interested in is. You can work out the mean and standard deviation of the binomial distribution and that is enough for a rough sketch. In fact... it's been about 5 years since I've done this so I'm not sure, but don't you just need move further away from the mean? If it is less than the mean, subtract 0.5, if it is more, add 0.5. I'm going to have to go and look this up now... --Tango (talk) 20:00, 20 September 2009 (UTC)[reply]
According to our article, continuity correction, you always add... Is it that you always expand the area of interest? Add for a less than, subtract for a more than? Now I'm getting myself thoroughly confused, so I'll let someone else take over! --Tango (talk) 20:06, 20 September 2009 (UTC)[reply]
It doesn't say you should always add; quite the contrary. It considers only the case in which you add, but the case in which you subtract should be clear if you just apply common sense. Say you want P(X ≥ 8). That's the same as P(X > 7). So use 7.5. Michael Hardy (talk) 20:09, 22 September 2009 (UTC)[reply]

Has some information been deleted from this post? I can't understand the original post as it is, and I can't see how Tango understands enough to make a reply. Have you two discussed this previously, on a talk page for example? ~~ Dr Dec (Talk) ~~ 20:33, 20 September 2009 (UTC)[reply]

First, imagine I am talking about a very good approximation here. When the normal probability density function is increasing, then the rectangle (representing binomial dist probability of some certain value) will be above the graph on the left side and the graph will be above the rectangle on the right side. So, to approximate the probability of some number happening, you want to go up an extra .5 to grab the full area of the rectangle you are trying to approximate. On the other hand, if it is decreasing, I think it would go the opposite and you'd subtract .5. Now, this seems to answer my question, but it's not always going to be so simple and such a good approximation as this. What if the normal graph completely contains some rectangle? It could increasing or decreasing at this point.
No, we have not talked about this elsewhere and no nothing was deleted. StatisticsMan (talk) 21:49, 20 September 2009 (UTC)[reply]
I see... I think I understand what you were getting at now. Thanks! ~~ Dr Dec (Talk) ~~ 22:00, 20 September 2009 (UTC)[reply]
If I recall correctly from many years ago, whether you add or subtract depends on the exact wording of the question being asked. This is why a little sketch (just of the two rectangles in the binomial histogram each side of the chosen point on the normal curve) will aid understanding of whether to add or subtract the correction. Neither the normal nor the binomial distribution has any turning points other than the mean, so both curve and histogram are increasing to the left of the mean and decreasing to the right. There is no need to do any calculations for the sketch. It is just an aid to careful thought about the wording of the question. Dbfirs 07:16, 21 September 2009 (UTC)[reply]

September 21

Set-builder notation and primes

Would

be legitimate notation for the set of primes? I'm wondering what the boundaries for set-builder notation are, especially with regard to the pre-colon component. Thanks. —Anonymous DissidentTalk 13:27, 21 September 2009 (UTC)[reply]

The pre-colon part is fine, but the post-colon part has trouble. You could write,
but it would be more clear if you just rewrote the whole thing, for example,
.
— Carl (CBM · talk) 15:18, 21 September 2009 (UTC)[reply]

You only need to check for divisibility by numbers up to , so why not try something along the lines of

~~ Dr Dec (Talk) ~~ 15:37, 21 September 2009 (UTC)[reply]
The two commas make that hard to read; it would be easier if the second one was an arrow (→) of if you use the words if/then. — Carl (CBM · talk) 15:40, 21 September 2009 (UTC)[reply]
How should I read an arrow in set notation? ~~ Dr Dec (Talk) ~~ 15:49, 21 September 2009 (UTC)[reply]
As "implies", as in
— Carl (CBM · talk) 15:52, 21 September 2009 (UTC)[reply]
Your first definition includes 1, and your second definition includes both 0 and 1. This does not agree with the generally accepted definition of primes. — Emil J. 16:43, 21 September 2009 (UTC)[reply]
So try ~~ Dr Dec (Talk) ~~ 16:52, 21 September 2009 (UTC)[reply]
You're right; my first one did include 1, and both of our second ones included 0 and 1. That's a pretty common error when trying to write a formula that defines the primes. But at least the idea is clear. — Carl (CBM · talk) 17:47, 21 September 2009 (UTC)[reply]
Personally, I would go with: . Why go with a complicated solution when there is a simple one? --Tango (talk) 17:01, 21 September 2009 (UTC)[reply]
but yours contains an English word ;) --84.221.69.1 (talk) 17:08, 21 September 2009 (UTC)[reply]
English words are fine in set-builder notation, as we are discussing it here. In the context of formal set theory, we might restrict things to formulas in a particular formal language, but that's a different setting. — Carl (CBM · talk) 17:47, 21 September 2009 (UTC)[reply]
It is a common mistake among novice mathematicians to try and avoid using English. If the easiest way to express something is to write a paragraph of prose, then write a paragraph of prose. Using a single English word isn't a problem at all. --Tango (talk) 17:52, 21 September 2009 (UTC)[reply]
btw, it was an ironic comment --84.220.118.29 (talk) 07:51, 22 September 2009 (UTC) [reply]
I think the original spirit of Anonymous Dissident's post was more to do with whether the set is actually the same as the set of (positive) prime numbers. In other words, are the assumptions and conditions a reformulation of the definition of a prime number? ~~ Dr Dec (Talk) ~~ 18:06, 21 September 2009 (UTC)[reply]
The OP talks about the boundaries of set builder notation, so I think primes are just an example. I think the real answer is that any notation is acceptable as long as it is clear what it means (and it means what you want it to mean, of course). --Tango (talk) 18:23, 21 September 2009 (UTC)[reply]

Actually, thinking about it, isn't the usual set notation of the form

In that case, the condition 1 < p should go after the colon. ~~ Dr Dec (Talk) ~~ 19:03, 21 September 2009 (UTC)[reply]

Given all of the above comments, how does
work? To Tango: those below you are correct – I realise that it would be much simpler just to use your form, but I wanted to know if my denotation was feasible. Thanks to all of you for your feedback. —Anonymous DissidentTalk 05:59, 22 September 2009 (UTC)[reply]
Almost there. I have two concerns. One, the notation is sometimes used to mean the floor function -- especially right after dividing two integers (if you're a computer scientist, anyhow) -- so its use is liable for confusion. The simple solution is to just drop the brackets, like Carl did. The second concern is a bit more nebulous: some mathematicians use "natural numbers" to mean "nonnegative integers" rather than "positive integers", and taking the former interpretation causes confusion when you consider the case q = 0; if q = 0 then is an integer or not? Ideally, whatever definition you write will work equally well for either definition of "natural numbers". The direct solution is to explicitly specify that q is positive before doing the division. Eric. 71.139.177.245 (talk) 06:45, 22 September 2009 (UTC)[reply]
Point one: I suppose we could use parentheses instead. It's not a big issue how ever you turn it. Point two: I believe the definition of is most used by computer scientists, whereas number theorists use . Either definition is acceptable, but I think the latter would be assumed in set theory. Do correct me if I'm mistaken. —Anonymous DissidentTalk 10:57, 22 September 2009 (UTC)[reply]
The problem with Tango's solution is not that it contains an English word, it is that it is circular. Taemyr (talk) 06:48, 22 September 2009 (UTC)[reply]
Not necessarily. It defines the set of primes from the definition of an individual prime. So it's more like kicking the can down the road. Rckrone (talk) 07:31, 22 September 2009 (UTC)[reply]
If you want an actual formalized expression, you have to precisely specify the syntax you're looking for. Otherwise you may as well be a bit less formal. It's also a bit weird that you're using integer division. Normally I'd describe a prime as a natural number p so that there are no naturals a,b so that a*b=p and a>1 and b>1. 70.90.174.101 (talk) 07:17, 22 September 2009 (UTC)[reply]
But that's equivalent to AD's division condition. ~~ Dr Dec (Talk) ~~ 11:29, 22 September 2009 (UTC)[reply]
I didn't mention this earlier, because it seemed off topic. The issue with division is that it is not in the signature of the set of natural numbers (in, say, Peano arithmetic). So, to the extent that we want the thing inside the set builder notation to resemble a formula from formal logic, we want to avoid using the division symbol. Put another way: there is a type difference between natural numbers and the image of the natural numbers inside the reals. — Carl (CBM · talk) 12:28, 22 September 2009 (UTC)[reply]
Do you mean to say that defining the set in terms of division is strictly less valid than in terms of multiplication because one may divide some two numbers in N to produce a result not in N, but may not multiply any two numbers in N to produce a result not in N? —Anonymous DissidentTalk 12:37, 22 September 2009 (UTC)[reply]
Yes, I think that is what CBM means. To put it more succinctly, when working in N p/q is only defined if p is a multiple of q. A definition of the set of primes that avoids using division might be:
Gandalf61 (talk) 12:56, 22 September 2009 (UTC)[reply]
Basically, yes. I am saying that there is no division symbol "/" in the language of rings, and so if we want to define the prime numbers with a formula (with quantifiers) in the language of rings, we will need to avoid the division symbol. One can obviously use the division symbol in general, it just results in a definition that is not in the language of rings. One reason you might care to show primality is definable in the language of rings is to know that primality is preserved under ring isomorphisms. — Carl (CBM · talk) 13:56, 22 September 2009 (UTC)[reply]
You could just replace division with divisibility. Then it's pretty much equivalent since q|p implies there's r with qr = p. Rckrone (talk) 17:35, 22 September 2009 (UTC)[reply]
Yes, you're right. This is exactly the reason why "divisible" is defined in terms of multiplication, rather than division. — Carl (CBM · talk) 19:11, 22 September 2009 (UTC)[reply]

An unexpectedly elaborate full formalisation of the primes

(ec) It really depends on how much of arithmetic you want to assume. You basically work your way down from the top concepts until you are satisfied or you have reached the fundamental logical notions and the things defined in your axioms, defining each new predicate or notation as you go. So it works like this, assuming that 0 is the smallest natural (and not 1):

  • The "set of primes" P is the set of p in N such that p is prime :
  • p is prime iff it is greater than one and every number n that divides p (notated here as n | p) is either p or 1 :
  • a is greater than b iff there exists a nonzero number c that can be added to b to produce a :
  • One is the successor of zero :
  • a divides b iff there exists some number c that can be multiplied by b to produce a :
  • a times b is defined recursively: a times zero is zero, and a times the successor of b is a plus (a times b) :
  • a plus b is also defined recursively: a plus zero is a, and a plus the successor of b is the successor of (a plus b) :

Putting it all together (but allowing the multiplication and addition to be defined separately, since unlike a predicate, functions are quite tricky to replace in formulas), we produce a complete, self-contained definition of the set of primes:

which we can parse, somewhat awkwardly, as follows: P is the set of numbers satisfying both these conditions:

  • There exists some number a such that a does not equal zero and p equals a plus the successor of zero, and
  • For any number a, if some number b exists such that p equals a times b, then either a equals the successor of zero or a equals p

This is a fairly 'general' approach, that we could actually tighten up a little with some clever ideas (e.g. instead of defining > for the sake of p > 1, just say ), but it demonstrates how to formalise things into Peano arithmetic and formal logic. Note that our final definition (apart from multiplication and addition, which we can define as above) uses no concepts that are not explicitly defined in the axioms. Note that, in theory, we actually build these ideas from the ground up (rather than, as we did, starting from the result and working backwards), but prime numbers were discovered well before arithmetic was formalised so we already know the interesting destinations we want our formalised mathematics system to work towards. In theory, there is no difference between "in practice" and "in theory", but in practice there is :) Maelin (Talk | Contribs) 13:31, 22 September 2009 (UTC)[reply]

Yes but in theory, there should be no difference between practice and theory even in practice; on the other hand in practice no theory is currently able to justify a complete equivalence of practice and theory. --84.220.118.29 (talk) 22:09, 22 September 2009 (UTC) [reply]

September 22

Bouncing balls

Hi. Imagine a ball propelled upwards from the origin with unit speed, with gravity of magnitude 2 units acting on it. The origin is a hard surface, and a coefficient of restitution between it and the ball of e. On any bounce, the time taken to reach the ground again satisfies:

And after n bounces, the initial speed has been multiplied by e n times:

Hence:

Now, let us consider the total time it spends bouncing. A coefficient of restitution is some number, . Assuming it is less than 1, then our series of times are a geometric progression, whose sum tends to a limit:

In other words, the total time that the ball spends bouncing is finite, even though there are an infinite number of bounces. But how can it ever stop bouncing? The ball's velocity never reaches zero. After each bounce, it is only multiplied by some number, and so merely tends towards zero. 79.78.99.44 (talk) 16:05, 22 September 2009 (UTC)[reply]

See Zeno's paradoxes. — Emil J. 16:10, 22 September 2009 (UTC)[reply]
Moreover, see geometric sequence. ~~ Dr Dec (Talk) ~~ 18:45, 22 September 2009 (UTC)[reply]
will you please pinpoint what in geometric sequence is of use for the above question, because the article is quite long. Thx! --84.220.118.29 (talk) 19:27, 22 September 2009 (UTC)[reply]
Not sure I see what the problem is. The ball only covers a finite distance in its infinite number of bounces. The theory is consistent, although at some point this idealised model obviously ceases to be an accurate representation of reality. Gandalf61 (talk) 16:16, 22 September 2009 (UTC)[reply]
You seem to miss several idelizations here. First, the 'bounce' is not an event but rather a process: it involves interaction between a flexible ball's surface and a hard surface below it. It consists of two phases, namely compressing the ball material (say, rubber) and relaxing it. So it takes some time and space (vertical movement from the moment the ball touches the table until they separate). So an answer to your question could be: 'bouncing stops (or becomes not observable) when the jump height becomes less than the rubber grain size'. --CiaPan (talk) 19:53, 22 September 2009 (UTC)[reply]
It takes an infinite number of bounces for the speed to reach 0, but as you showed those infinite bounces take only a finite amount of time to elapse in total. So considering the speed over time, it reaches 0 in a finite amount of time. As Emil J pointed out, it's Zeno's paradox. Rckrone (talk) 21:58, 22 September 2009 (UTC)[reply]

September 23

Advanced geometry homewrok

Yes I know you dont do homework, but just point me in the right direction. I have been given a pig of a problem i dont have any idea how to start: Prove that in any planar triangle, the centroid, orthocenter, circumcenter and center of the 9 point circle all lie on a straight line??? Any pointers welcome.

Euler line may be a good start.
Consider where the 9 point center must lie between the altitude and perpendicular bisector from each side. See if you can show that it must be exactly halfway between the circumcenter and orthocenter. Use the fact that the centroid falls 1/3 of the way along each median to make a similar argument about where the centroid falls between the circumcenter and orthocenter. Rckrone (talk) 04:43, 23 September 2009 (UTC)[reply]

Recruiting math exam questions...

Someone confirm that either I'm crazy and have forgotten basic math, or the answer key for this recruiting exam has errors:

1. In a 100m race, A can beat B by 25m and B can beat C by 4m. In the same race, A can beat C by:
Me: 29m || Key: 28m

2. A man bought fruit at the rate of 16 for $24 and sold them at the rate of 8 for $18. What is the percent profit?
Me: 50% || Key: 40%

3. Jack has two children, and at least one of them is a girl. What is the probability that both children are girls?
Me: 1/2 || Key: 1/3

4. How many times are the hands of a clock at right angles in a day?
Me: 48 || Key: 44

Help please? 218.25.32.210 (talk) 06:07, 23 September 2009 (UTC)[reply]

I think I understand number 3 now -- based on the Punnet square, Jack could have BB | BG | BG | GG, but because at least one is a girl, you discard the BB result and are left with a 1/3rd chance that he has 2 girls.
I'm still clueless about the rest of them though. 218.25.32.210 (talk) 06:32, 23 September 2009 (UTC)[reply]


(ec) 1. Key is right. B runs at 0.75x A's speed and C runs at 0.96x B's speed => C runs at 0.72x A's speed so A beats C by 28m.
2. Depends on how you compute percent profit. Man buys fruit for $24 and sells for $36, i.e. $12 profit or 40% of 36.
3 Key is right. Possibilities are boy-boy, boy-girl, girl-boy, or girl-girl. Boy-boy is eliminated leaving three equal other possibilities. girl-girl is one of these 3.
4. Not sure, would have to think about it, but these are all sort of trick questions so I suspect key is right again. 70.90.174.101 (talk) 06:38, 23 September 2009 (UTC)[reply]