A Fibonacci Series Problem
12:42
14 күн бұрын
A Limit With A Cube Root
7:12
Ай бұрын
A Factorial Product Problem
10:10
A Functional Equation Problem
7:19
A Fun Exponential Equation
9:42
A Factor Tree Puzzle
6:09
2 ай бұрын
A Tricky Roots of Cubics Problem
13:07
A Satisfying Divisibility Proof
6:47
Finding the Area of a Region
14:41
More Minimising Without Calculus
15:59
Finding the Range of a Function
9:35
A Short Number Theory Proof
6:00
4 ай бұрын
A Floor & Ceiling Equation
11:09
4 ай бұрын
Minimising Without Calculus
5:23
4 ай бұрын
Two Neat Properties of Cardioids
11:33
A Fun Twist on a Familiar Problem
9:01
My Favourite Golden Ratio Fact
6:29
A Short Number Theory Problem
5:50
Proving A Crazy GCD Identity
14:59
A Satisfying Number Theory Proof
7:35
Пікірлер
@WielkiKaleson
@WielkiKaleson 3 сағат бұрын
Neat!
@poisonedward7104
@poisonedward7104 7 сағат бұрын
This is probably not the point of the video, but if you have a function f : [0,1] U {2} -> R, then take f(x) = 0 if x is irrational, 1 if x is rational(both inside [0,1]) and let f(2) = 2 say, this function is continuous at 2 only.
@Tata-ps4gy
@Tata-ps4gy 9 сағат бұрын
Okay, I did this function before watching the video. It's domain are rational numbers. First we have to create the function LD(q) which returns the last digit of q. This is ofc discontinuous everywhere. F(q) = LD(q) • q This is discontinuous everywhere except in q=0 😎
@asdfghyter
@asdfghyter 14 сағат бұрын
could you also have a function only be continuous on an open or closed interval? I think a piecewise function could give the answer yes to one of them at least. what about only continuous in countably infinitely many points between 0 and 1?
@MC5677
@MC5677 17 сағат бұрын
1/x is continuous, but you need to wrap around infinity. that's not really possible for us to do, but the line does continue like any other continuous function.
@stickman_lore_official6928
@stickman_lore_official6928 Күн бұрын
2:46 8 is less than 9
@MichaelRothwell1
@MichaelRothwell1 Күн бұрын
Very nice problem and solution! I used logs base 2 to solve the problem (I see that @derwolf7810 used logs base 3, quite a similar approach). To solve the challenge given at the end of the video, to compare ⁵(3⁴) with 3^(⁵4), I had to cheat a bit and use a calculator: ln(81^81)=81 ln(81)≈355.950 ln(4^256)=256 ln(4)≈354.891 So 81 ln(81)>256 ln(4) (but by a small amount!) 81^81>4^256 81^81>4^4^4 81^81^81>4^4^4^4 81^81^81^81>4^4^4^4^4 4×81^81^81^81>4^4^4^4^4 3^(4×81^81^81^81)>3^4^4^4^4^4 81^81^81^81^81>3^4^4^4^4^4 ⁵(3⁴)>3^(⁵4) I tried to compare 81^81 and 4^4^4=4^256 without a calculator. The nearest I got was to show that 81^80<4^4^4 as follows: 243<256 so 3⁵<4⁴ so 81=3⁴=(3⁵)^(4/5)<(4⁴)^(4/5)=4^(16/5)=4^3.2 So 81^80<(4^3.2)^80=4^(3.2×80)=4^256, and 81^80<4^256. Even so, as we saw using a calculator, 81^81>4^256, so the two numbers are pretty close (on a logarithmic scale).
@david-komi8
@david-komi8 Күн бұрын
I first thought about sqrt(-abs(x)), what about that?
@sparklehoney6318
@sparklehoney6318 Күн бұрын
very helpful this will make me move up another set (hilsdon)
@lox7182
@lox7182 2 күн бұрын
xdirichlet(x)?
@tukan1652
@tukan1652 2 күн бұрын
the next question would be could a function be differentiable at only 1 point?
@ExplosiveBrohoof
@ExplosiveBrohoof 2 күн бұрын
My favorite example of a function with degenerate continuity properties is this: If x is irrational, let f(x) = 0. If x is rational and nonzero, write x = p/q, where p and q are coprime and q is positive. Then set f(x) = 1/q. Finally, set f(0)=1. This function ends up being continuous at every irrational point, and discontinuous at every rational point.
@test-ni2dw
@test-ni2dw 2 күн бұрын
Great video, I learned a lot through this! Another very interesting thing I see in this expansion is the fact that it simultaneously also displays the binomial expansion for the term (1 - x)^n, so for example n=2: 1 - 2x + x² n=3: 1 - 3x + 3x² + x³ n=4: 1 - 4x + 6x² - 4x³ + x⁴ and so on.
@arthurkassis
@arthurkassis 2 күн бұрын
I entered in the video already knowing the answer, but the explanation was really good.
@adamb1207
@adamb1207 3 күн бұрын
This is insane! I was bored through a couple math classes, so my paper was filled with this exact idea a couple months ago!
@infinitegeo7575
@infinitegeo7575 3 күн бұрын
I had a hunch that the right expression might be larger, since there is an entire extra exponentiation basically from the getgo. I know this isn't rigirous at all and there are definitely counterexamples, but still can give you a guess to disprove/prove.
@77Chester77
@77Chester77 3 күн бұрын
I always like when you backwards and disappear out of the screen. It reminds me of the Homer Simpson Meme where he disappears in the bushes 🙂
@DrBarker
@DrBarker 3 күн бұрын
@@77Chester77 I'd never made that connection, you're right! 😂
@maherom1
@maherom1 3 күн бұрын
Hello sir, please how to solve this équation floor (x)= sin(x), thanks
@supremeclamitas5053
@supremeclamitas5053 3 күн бұрын
We know that the y coordinate in a graph of the floor function must be an integer. As well as this, we know that the first times the y coordinate of a sine function is an integer are at y=0 and y=1. We know that arcsin(0)=0, so x=0 is a solution, and we also know that arcsin(1)=pi/2. 1<pi/2<2, and floor(1) through to floor(1.99...)=1, therefore floor(pi/2)=1, and so there's a solution at x=pi/2
@Redstoner34526
@Redstoner34526 3 күн бұрын
Next pentation 😂
@The_Joshuan_Empire
@The_Joshuan_Empire 3 күн бұрын
tbh im predicting its just gonna be the same thing but negative
@derwolf7810
@derwolf7810 4 күн бұрын
A pretty similar alternative, though a rougher estimation: (2^3)^^4 = 2^3^log_3(log_2(8^8^8^8)) = 2^3^log_3(3 8^8^8) = 2^3^(1 + log_3(8) 8^8) = 2^3^(1 + log_3(8) 2^24) < 2^3^(log_3(9) 2^24 + log_3(9) 2^24) = 2^3^(2^26) < 2^3^(3^27) = 2^3^(3^3^3) = 2^(3^^4)
@DrBarker
@DrBarker 3 күн бұрын
Very nice use of logarithms - this is a neat way to lay out this sort of argument more formally. Because the two numbers are so far apart, it's fun that we can use different, very rough estimates that still work.
@emanuellandeholm5657
@emanuellandeholm5657 4 күн бұрын
How I hand wave inequalities involving iterated exponentiation of similar looking expressions: Imagine if multiplication was addition, and exponentiation was multiplication. Tetration would then be something similar to exponentiation. Basically, I take the logarithm. Just as there is iterated exponentiation, there's also iterated logarithms. It's not a perfect fit, but it often does the job.
@YoungPhysicistsClub1729
@YoungPhysicistsClub1729 4 күн бұрын
it's questions like this that push math to the edge, the very essence of calculus and limits is based off of a very fuzzy definition of a point
@shreesayajha
@shreesayajha 4 күн бұрын
For the bonus question, i found with laws of logarithms, we start with 81^81^81^81 ( i ignored the 4 times as it is neglibable and wont affect the final awnser) vs 4^4^4^4^4. Using 4 lns, i got 4* ln(3) * (ln81)^3 vs 4 * (ln(4)^4). Then using 81 = 3^4 i got (4^4) * (ln(3))^4 vs (4^4) (ln(2))^4. Then just by looking at it, I found that if everything i did was right, (3^4)^^5 is bigger than 3^(4^^5). Is this right and can you do a proof if possible of generally which is bigger between (a^b)^^c vs a^(b^^c)?
@Eliminator1357
@Eliminator1357 4 күн бұрын
I checked with a JavaScript library for huge numbers (biggest number is 10^^(1^308)) and (3^4)^^5 is indeed bigger than 3^(4^^5)
@shreesayajha
@shreesayajha 4 күн бұрын
@@Eliminator1357 nice so my maths wasnt wrong
@orionspur
@orionspur 4 күн бұрын
Love the channel. Here's a problem suggestion... 4^5^9 and 5^6^8 both have just over 1 million digits. Which is bigger?
@sternmg
@sternmg 4 күн бұрын
Nice one, those two are amazingly close! Applying log() just once, it’s easy to show with a calculator that the relation is “>“, since 5^9 × log(4) ≈ 1.002 × 6^8 × log(5), but how would one show this by hand?
@orionspur
@orionspur 4 күн бұрын
@@sternmg I actually don't know. I stumbled upon this miracle pair 5 years ago while doing other research. Feels like a nice Olympiad problem. 🤔
@derwolf7810
@derwolf7810 3 күн бұрын
@@sternmg Spoilers: (36/25)^4 = ((6/5)^2)^4 = ((12/10)^2)^4 = (144/100)^4 = 1.44^4 < 1.45^4 = (29/20)^2 = (841/400)^2 = 2.1025^2 < 2.2^2 = (22/10)^2 = 484/100 = 4.84 < 5 ==> 6^8 = (6^2)^4 = (25*36/25)^4 = 25^4*(36/25)^4 = 5^8*(36/25)^4 < 5^8*5 = 5^9
@MihaiNicaMath
@MihaiNicaMath 4 күн бұрын
The hardest bonus problem in my 1st analysis class was about proving that not all sets are possible as the set of discontinuity points of a function. It turns out the Baire category theorem limits what is possible! For example you can't make a function that is only continuous on the irrational numbers.
@richardslater677
@richardslater677 4 күн бұрын
Blimey, a Dr Barker video where I understood all of it.
@dorkmania
@dorkmania 4 күн бұрын
When you replaced 8 with 9 in the base and powers of the first term, you had prior knowledge or a "sense" that its value was orders of magnitude smaller enough than the second term for the "increase" to be unable to overcome. How does one figure that out for this kind of comparison? Is there an algorithm or some kind of informal "heuristic"?
@GeraldPreston1
@GeraldPreston1 4 күн бұрын
I think you would just have a guess and go with it since it's 50/50 anyway, and if you don't draw any conclusions from it, you can try a different method.
@dorkmania
@dorkmania 4 күн бұрын
@GeraldPreston1 you can guess correctly without necessarily being able to figure out if you're right or demonstrate it. I don't have an exact contextual example but something like (63)¹⁴ and (33)¹⁷, where (33)¹⁷ ≈ (4.2)•(63)¹⁴
@heartache5742
@heartache5742 4 күн бұрын
more formally this would be a chain of comparisons, lhs = 8^8^8 < 9^9^9 < rhs, it's usually not important how good the approximation is as long as the chain of comparisons works out (and you get something like a < b < c proving a < c rather than a < b > c proving not much of anything) picking numbers that are close is a decent way to improve your chances of not overshooting
@xizar0rg
@xizar0rg 4 күн бұрын
Are you asking how you'd know how tetration gets bigger if you increment the numbers involved? Or asking how you'd know that trying this replacement would help solve the original problem? For the former, it's enough to recognize an increasing function. For the latter, it helps to do a lot of problems and have a sense for problem solving techniques, then using the one the worked when presenting the solution. (That's been standard pedagogy for millennia... rarely do we show the wrong paths to trod.)
@NicholsonNeisler-fz3gi
@NicholsonNeisler-fz3gi 4 күн бұрын
Now I know how my daughter feels when I try to explain exponents to her
@Sasseater
@Sasseater 3 күн бұрын
🤓👉 2^2📝🥱❔ 😮‍💨📲
@leslieking1782
@leslieking1782 5 күн бұрын
For the first example, I'm confused. If 4 numbers are drawn at random for two slots, wouldn't there be 16 possible combos, so the probability of any given sequence is 1/16? Wait as I'm typing this I realized, is each event not a sequence of two numbers but instead like a "1 or 2" ? Because then drawing a 1 or 2 out of 1,2,3,4 would have a 1/2 probability.. is that right ?
@chinchao
@chinchao 5 күн бұрын
Brilliant!
@hoggoe7623
@hoggoe7623 5 күн бұрын
Would an example of a function continuous at only one point be:- f(x)={x, xEQ {-x, xE/Q Where it's only continuous at 0?
@sergodobro2569
@sergodobro2569 5 күн бұрын
Let the function be x when it is rational x, and -x when irrational numbers f(x) = x, x is rational; -x, x is irrrational It will be continuous only in 0 Yay! I wrote the example when I haven't watched the video and now he introduced almost the same idea!
@sergodobro2569
@sergodobro2569 5 күн бұрын
Yay! I wrote the example when I haven't watched the video and now he introduced almost the same idea
@blizzard8958
@blizzard8958 5 күн бұрын
The definition of continuous i learned in my clac class that it is continuous at f(x) iff f(x) exists, lim as c approaches x of f(c) exists, and that those two equal each other, is this the same or a different definition?
@kristenmork4316
@kristenmork4316 5 күн бұрын
I think your definition of continuous needs to be less than or equal to epsilon for the delta = epsilon example to work because f(delta) = delta = epsilon for rational delta.
@johnpaterson6112
@johnpaterson6112 5 күн бұрын
This suggests to me that the formal definition of continuity is in need of improvement.
@midas-holysmoke7642
@midas-holysmoke7642 6 күн бұрын
So in between 2 rational numbers, chosen arbitrarily close to each other (whatever you can define this), there is no continuous set of rational numbers. So rational and irrational numbers keep switching to each other for arbitrarily small steps? Sounds very counterintuitive for me... I wonder how we can prove that
@jotch_7627
@jotch_7627 5 күн бұрын
yep, and the same holds for irrationals. the property is called "density", if you want to look up various proofs for it
@midas-holysmoke7642
@midas-holysmoke7642 5 күн бұрын
@@jotch_7627 I find this amazing
@ddystopia8091
@ddystopia8091 6 күн бұрын
You can draw 1/x without lifting your pan. Because you can't draw 1/x :-)
@JacobWakem
@JacobWakem 6 күн бұрын
You can also define the value in such a way that the lower limits of integration can be different from each other and it still might converge.
@Linnytic
@Linnytic 6 күн бұрын
@thatalbeeguy
@thatalbeeguy 6 күн бұрын
isn't 1/x overall a continuous function as it connects in infinity? I see a lot of people are referring as the value at 0 being undefined, but I always imagined at that point function just goes to infinity and "wraps" around itself
@theimmux3034
@theimmux3034 7 күн бұрын
short answer: yes. F.ex. f: R -> R x -> x if x is rational and otherwise x -> -x is only continuous at x = 0.
@stQZuO
@stQZuO 7 күн бұрын
Nice!
@Voxel79
@Voxel79 7 күн бұрын
kinda sketchy... Little less sketchy would be using f(x) = {x²,xeQ ; 0,xēQ}...
@jotch_7627
@jotch_7627 6 күн бұрын
that gives you a function that is both continuous and differentiable at one point, but its perfectly valid to have a point that is continuous without being differentiable. abs(x) at x=0 is another example thats a bit more tame
@nathanielgolden3141
@nathanielgolden3141 7 күн бұрын
bro 12 already got his phd. what am i doing with my life?
@TsuzuraYuuki
@TsuzuraYuuki 7 күн бұрын
I haven’t seen the solution yet, my idea is a function defined as follow: If rational, y=x If irrational, y=-x Limit doesn’t not exist everywhere except at 0, and just so happen y(0)=0 Edit: just saw the solution, have to say this is very fun maths snack, thanks for the video
@mathunt1130
@mathunt1130 7 күн бұрын
Classic example that every undergraduate encounters on a second course in analysis...
@marcosmerino9369
@marcosmerino9369 7 күн бұрын
i am not a mathematician, so maybe i have somethinf missing, but this relies in the fact that irrational numbers and rational numbers intercalate each other. But i am not sure that is true. Say you have some irrational number Q and you add an infinitesimally small irrational number q, then wouldn't the sum be irrational and have no rational numbers in between this making this false. Hope i made myself clear :)
@spineo2387
@spineo2387 6 күн бұрын
The issue would be that there is no such thing as an "infinitely small number" in the rea number system. The closest we have would be zero, which is rational. In discussing calculus we sometimes appeal to the idea of an infinitely small number to get intuitive arguments more simply stated, but that is best understood as (usually) just an intuition, not a rigorous, literal statement *or* (much, much less often) as us working in a more subtle system than the real numbers that includes objects that can be interpreted that way. In either case, for the real numbers, the construction you describe can't actually be achieved
@marcosmerino9369
@marcosmerino9369 6 күн бұрын
@@spineo2387 hmm ok, but what I'm trying to convey is that the assumption that rational and irrational numbers intercalate doesn't need to be true, if in any case at all the function has two points with irrational numbers then it'd be continuous also there
@spineo2387
@spineo2387 6 күн бұрын
@@marcosmerino9369 let me know where i might clarify better, but the point i was making above is that that conclusion you're reaching is faulty because there is no such thing as an infinitely small number. "Intercalate" isn't necessarily the best way to visualize things because there is no such thing as the "next" real number after some specific x. However, if we look at some interval around any x, *no matter how small* there will always be infinitely many irrational and rational numbers. Therefore what you describe is simply impossible within the real number system.
@marcosmerino9369
@marcosmerino9369 6 күн бұрын
@@spineo2387 ok I’m following, thanks for the clarification. I will do a bit more research on this but I am starting to understand, thanks!
@jotch_7627
@jotch_7627 4 күн бұрын
also good to keep in mind that two numbers being irrational does not suggest, let alone guarantee that their sum is also irrational
@isomeme
@isomeme 7 күн бұрын
I love a good paradox, and the concept of a function being continuous only at a single point is a *great* paradox. I'll be turning this one over in my head for quite a while. Thanks for this video!
@evnnxi
@evnnxi 7 күн бұрын
You look like a very specific german.