1 1 1 1 1 4 1 4 1

FMLuser Canada. Jun 19 2016 10:05. Posts 45   
I was able to solve the first 2 problems with some ease, However I am getting no where on the third and was hopping some fresh eyes from LP might be able to help
(a) Let a be a positive integer. What is gcd(a, 0)? Prove your answer is correct
using the definition of gcd.
(b) Evaluate gcd(0, 0). Is there only one possible value or many or none? Justify
your answer.
(c) Prove for integers a, b > 1, that 0 < (1/a)+(1/b)(1/lcm(a,b)) < 1




Joe Czech Republic. Jun 19 2016 11:10. Posts 5986   
You mean c) ? Maybe I got this wrong, but intuitively it seems quite obvious...
Highest possible value is when a = b = 2:
1/2 + 1/2  1/2 = 1/2 < 1
For any other integers a,b > 1 the value will be smaller, so also < 1.
As far as lowest possible value goes:
We know that lcm(a,b) >= max(a,b) for any a,b > 1.
Thus:
1/a + 1/b  1/lcm(a,b) >= 1/a + 1/b  1/max(a,b) = 1/min(a,b) > 0 (since a,b > 1)


there is a light at the end of the tunnel... (but sometimes the tunnel is long and deep as hell)  



Stroggoz New Zealand. Jun 19 2016 12:04. Posts 3937   
is this homework for an introduction to proofs class?
i agree with second half of joes proof but dont understand the first half. if a=3, b=4 then we get 1/2 when adding 1/3+1/41/12 =1/2, so not sure why you said a=b=2 is the highest. possible and all others are less than? You need to give a reason why a=b=2 is the highest <1, (even if its obvious) for an average math professor to give full marks i think.
The way i proved that it's <1 is just to say this:
since a, b >1, then 1/a +1/b is clearly <1.
since a,b>1, then lcm(a,b) is positive and therefore 1/lcm(a,b) is a positive number divided by a positive number, so is therefore positive.
therefore 1/a+ 1/b 1/lcm(a,b) <1
Then you can use 2nd half of Joes proof to show its >0.
QED


I was GTO in 2007 wobbly_au  Last edit: 19/06/2016 12:22 



Joe Czech Republic. Jun 19 2016 13:14. Posts 5986   
Yea ok, the 1st part is not correct.
So 1st part again:
1/a + 1/b <= 1 for any integers a,b > 1 (should be obvious enough to not have to prove this)
And since we subtract 1/lcm(a,b), which is always > 0 (from definition of lcm), we will always get a number smaller than 1. 

there is a light at the end of the tunnel... (but sometimes the tunnel is long and deep as hell)  



FMLuser Canada. Jun 19 2016 18:25. Posts 45   
Yeah this was the challenge question on a homework assignment, I broke the question into 2 cases where a,b is prime and where a,b is coprime and a,b > or = 4 and solved it in a similar way. Since in the prime case lcm(ab) X gcd(ab)=ab and gcd(a,b) of two primes is going to be 1 then lcm(ab)=ab 



Daut United States. Jun 19 2016 18:26. Posts 8830   
Prove for integers a, b > 1, that 0 < (1/a)+(1/b)(1/lcm(a,b)) < 1
For any integers a,b > 1: b <= lcm(a,b) <= ab (this is obvious, if a,b are prime then lcm(a,b) = ab, otherwise it's at least as big as each of the numbers)
thus, 1/ab <= 1/lcm(a,b) <= 1/b
So,
1/a + 1/b  1/b <= 1/a + 1/b  1/lcm(a,b) <= 1/a + 1/b  1/ab
1/a <= 1/a + 1/b  1/lcm(a,b) <= (a+b1)/ab
since a>1:
b1 < a(b1)
b1 < aba
a+b1 < ab
(a+b1)/ab < 1
and since a>1:
1/a >0
thus,
0 < 1/a <= 1/a+1/b1/lcm(a,b) <= (a+b1)/ab < 1
0 < 1/a+1/b1/lcm(a,b) < 1


NewbSaibot: 18 TIMES THE SPEED OF LIGHT. Because FUCK YOU, Daut  Last edit: 19/06/2016 18:43 



failsafe United States. Jun 21 2016 09:45. Posts 1013   
really disagree daut because natural numbers N² N³ are enumerable... R not so.
then N² ^ N³ ^ (N^n) takes us out of base ten.
a,b argument is essentially bounded at log(log(26))
same with Arabic numerals (which are indian). Arabic is bounded at fingers not toes, too. So that's log(log(10)
Thus the argument collapses logarithmically.
you're arguing that the natural numbers you're using aren't generated by a process bounded by infinity, which is what I'm arguing
but then if infinity isn't the upper bound of the process (and obviously it isn't because)
? < ?+1 < ?+2 < ...
same for any nonstochastic generated natural number (positive integer) process
? < 2? < 3? < ...
and so
? < ?² < ?³ < ...
There's no real objection to hyperreal integers and the only obstacle to the argument is what to do about hyperreal fractions.
Then even if we avoid speaking in "infinities" which is probably pretty useless as a mode of commerce (cuz infinity without some base is like a logarithm with no base)
Finally we end up with the reality that there is no least common denominator to any integer process because at best the least common denominator is "an infinity".
This doesn't specify which infinity and is basically useless in the same way the whole consideration is basically useless.
....
You wouldn't ask me is this the least possible sequence or series in any meaningful numerical context the answer is always going to be some geometric divergence problem more like language than mathematics which is why teaching these kind of analytic questions as higher math is really idiotic. Why the hell teach something that converges to a stochastic process or some kind of error elimination approximation like numerical analysis. Pretty glad I dropped math at the logic level





Daut United States. Jun 21 2016 17:23. Posts 8830   
 On June 21 2016 08:45 failsafe wrote:
really disagree daut because natural numbers N² N³ are enumerable... R not so.
then N² ^ N³ ^ (N^n) takes us out of base ten.
a,b argument is essentially bounded at log(log(26))
same with Arabic numerals (which are indian). Arabic is bounded at fingers not toes, too. So that's log(log(10)
Thus the argument collapses logarithmically.
you're arguing that the natural numbers you're using aren't generated by a process bounded by infinity, which is what I'm arguing
but then if infinity isn't the upper bound of the process (and obviously it isn't because)
? < ?+1 < ?+2 < ...
same for any nonstochastic generated natural number (positive integer) process
? < 2? < 3? < ...
and so
? < ?² < ?³ < ...
There's no real objection to hyperreal integers and the only obstacle to the argument is what to do about hyperreal fractions.
Then even if we avoid speaking in "infinities" which is probably pretty useless as a mode of commerce (cuz infinity without some base is like a logarithm with no base)
Finally we end up with the reality that there is no least common denominator to any integer process because at best the least common denominator is "an infinity".
This doesn't specify which infinity and is basically useless in the same way the whole consideration is basically useless.
....
You wouldn't ask me is this the least possible sequence or series in any meaningful numerical context the answer is always going to be some geometric divergence problem more like language than mathematics which is why teaching these kind of analytic questions as higher math is really idiotic. Why the hell teach something that converges to a stochastic process or some kind of error elimination approximation like numerical analysis. Pretty glad I dropped math at the logic level

there is no need to work with infinity, N is countably infinite. "prove for integers a,b". so to prove this, we pick random integers a,b which we assume to have values and we can proceed with proof. 

NewbSaibot: 18 TIMES THE SPEED OF LIGHT. Because FUCK YOU, Daut  



failsafe United States. Jul 03 2016 10:51. Posts 1013   
 On June 21 2016 16:23 Daut wrote:
Show nested quote +
On June 21 2016 08:45 failsafe wrote:
really disagree daut because natural numbers N² N³ are enumerable... R not so.
then N² ^ N³ ^ (N^n) takes us out of base ten.
a,b argument is essentially bounded at log(log(26))
same with Arabic numerals (which are indian). Arabic is bounded at fingers not toes, too. So that's log(log(10)
Thus the argument collapses logarithmically.
you're arguing that the natural numbers you're using aren't generated by a process bounded by infinity, which is what I'm arguing
but then if infinity isn't the upper bound of the process (and obviously it isn't because)
? < ?+1 < ?+2 < ...
same for any nonstochastic generated natural number (positive integer) process
? < 2? < 3? < ...
and so
? < ?² < ?³ < ...
There's no real objection to hyperreal integers and the only obstacle to the argument is what to do about hyperreal fractions.
Then even if we avoid speaking in "infinities" which is probably pretty useless as a mode of commerce (cuz infinity without some base is like a logarithm with no base)
Finally we end up with the reality that there is no least common denominator to any integer process because at best the least common denominator is "an infinity".
This doesn't specify which infinity and is basically useless in the same way the whole consideration is basically useless.
....
You wouldn't ask me is this the least possible sequence or series in any meaningful numerical context the answer is always going to be some geometric divergence problem more like language than mathematics which is why teaching these kind of analytic questions as higher math is really idiotic. Why the hell teach something that converges to a stochastic process or some kind of error elimination approximation like numerical analysis. Pretty glad I dropped math at the logic level

there is no need to work with infinity, N is countably infinite. "prove for integers a,b". so to prove this, we pick random integers a,b which we assume to have values and we can proceed with proof.

yea dude that's totally obvious about infinity, i guess. if you feel like pursuing to the integers level a,b then we'll just leave it that.
but on the other hand what about the massenergy equivalence? that's a pretty big deal and you can't just "whatever" about infinity here because it's the basis for all practical import about spacetime. now we're inclined to say, "yea of course infinity and it's just countable but on the other hand when you take the time to really think about this..."
what infinity were a complex number or a hyperspatial, hyperstitial, or iterated imaginative so that we can't arrive at anything at all like a concrete integer correspondent to the target value? then we're left in space with no real system to define the area around us, the volumetric of the desired sphere, or a reasonable computation of energymass along the surface we occupy. 


 
