« first day (2586 days earlier)      last day (2333 days later) » 

12:01 AM
@BernardoMeurer Just draw one picture. All the others will be the same because equilateral triangles are symmetric from all sides
or at least, that's the logic you want to write down on paper
"by symmetry"
 
@BalarkaSen Nice
 
the point is that there's only one comination @BernardoMeurer
so drawing all of them would be trivial
 
yea
 
Alright, showing $$\frac{4^{n+1}-1}{3}\in\Bbb N$$
 
induction
 
12:06 AM
$$\iff \frac{4^n\cdot 4 - 1}{3}\in\Bbb N$$
 
and you want to write $3\mid (4^{n+1}-1)$
 
Hmm
Not sure that was the right move
 
it is
it's Trivial (TM)
 
Duh
Yeah
I see it
Is it
$$\frac{(4^n - 1)(4 - 1)}{3}$$
?
@0celo7
 
Hey. That's pretty good
Wait, so let me see what you did
4 * 4^n - 1
= 4 * 4^n - 4 + 3
 
12:13 AM
I think I goofed
Aha
I just missed that 4
 
uh yeah that's not gonna work though
 
agreed
 
Wait
No
Am I right?
 
But 4 * 4^n - 4 + 3 = 4(4^n - 1) + 3 is a pretty good expression
 
12:14 AM
it should be $4^{n+1}-1=3^k(4^n-1)$
for some $k$
 
No, I goofed
 
oh
this isn't induction
it's factoring polynomials
whoops
 
@BalarkaSen Doesn't that just make me prove $\frac{4n}{3} \in\Bbb N \qquad\forall n\colon \frac{n}{3}\in\Bbb N$?
 
Let the man do it by induction though
@BernardoMeurer No, I mean $$\frac{4^{n+1} - 1}{3} = \frac{4 \cdot (4^n - 1) + 3}{3}$$
 
@BalarkaSen Yes
I understood that
So that can become
$$\frac{4(4^n - 1)}{3} + \frac{3}{3}$$
 
12:18 AM
Mhm
 
The rightmost fraction is trivial
 
Yes
 
the leftmost fraction makes us prove what I said above
2 mins ago, by Bernardo Meurer
@BalarkaSen Doesn't that just make me prove $\frac{4n}{3} \in\Bbb N \qquad\forall n\colon \frac{n}{3}\in\Bbb N$?
 
Really? Why?
Oh. Well, no
Remember the induction hypothesis?
 
people, by hypothesis $4^n-1$ is visible by 3
 
12:19 AM
Because we know by assumption that $\frac{(4^n - 1)}{3}\in\Bbb N$
 
this is a sum of things divisible by 3
 
@BernardoMeurer Oh I see you are already using the induction hypothesis here
Yes, that is what you want to prove
 
@BalarkaSen Ye
 
The various different uses of $n$'s are confusing me
 
@BalarkaSen Again, sorry for that :P
 
12:19 AM
Yes, but what you wrote boils down to saying if $k \in \Bbb N$, $4k \in \Bbb N$
If something is a natural number, so is it's multiple :)
 
But that's exactly it
Here's the other way to do it, non-inductively, by the way
$4^n = (3 + 1)^n$
 
Bam
Cracked
 
Binomial theorem this. $3^n + \binom{n}{1} \cdot 3^{n-1} + \cdots + \binom{n}{n-1} \cdot 3 + 1$
two plus two minus 1 that's 3 quick maffs this
$4^n - 1 = 3^n + \binom{n}{1} 3^{n-1} + \cdots + \binom{n}{n-1} 3$
The right side is all 3 man. Divisible by 3
Proof by Roadman Shaq
 
What the flippity flip are those stacked numbers
 
12:25 AM
Ah, binomial coefficients. Sometimes denoted as ${}^n C_m$
 
@BalarkaSen I don't get your starred quote.
Are you saying Bernardo is a moron compared to me?
@BalarkaSen literally never seen them with the $n$ up high
 
@0celo7 No, that I've improved compared to you and that we are both morons
 
@Bernardo You should learn the binomial theorem if you don't already. It's pretty damn cool
 
Balarka trolling, I see
 
Read up on them at some point
Well, most people knows the binomial theorem but not the underlying combinatorics behind it. That's the interesting bit
 
12:28 AM
@BernardoMeurer many people hate combinatorics for good reason
 
don't defile the mathematically young mind
 
@BalarkaSen Will do
Gotta go, thanks for the help guys!
 
Me too, have to sleep
 
@BalarkaSen I'm not saying it's bad, I'm just saying that many people disagree with your "interesting bit" :P
 
If someone recommends your kid to watch MLP, and say that it's really fun, would you be immediately showering statistics on them to show how many people think MLP is cancerous?
Or would you let your kid watch MLP?
This is the problem of the decade I just stated right there
Give me the Nobel prize for economics bro
 
12:33 AM
My fountain pen just leaked on my hand
Top 10 anime betrayals
 
rip
Ok, I am truly going to sleep while 0celo7 ponders on this
@Bernardo You're a tech nerd right? Check out Filthy Frank's "Mac or PC" video
Cya
 
@BalarkaSen I hate FF
But I'll watch it
@JohnRennie Ping me when you're up
 
@BalarkaSen Yes
@BalarkaSen No, because I watched two seasons
it was a waste
 
1:23 AM
hmmmm
 
1:50 AM
@SirCumference we were discussing what your child with 0celo7 would be named in the discord and we decided it would be
5irCumcelo7
and i'm totally not lying as an excuse to put it out there
it's not self promotion
i didn't just think of it right now and i did not impulsively feel the need to share it it's been a long process and we thought this through
and yes this is ironically not funny
and that statement is also ironically not funny to an infinite regression
can't faze me
 
2:06 AM
@EmilioPisanty lol
 
2:38 AM
Hey good morning! am I joined?
 
Depends
 
Means
 
I don't know statistics
 
Thank you
 
You are most welcome
 
2:43 AM
Thanks again @BernardoMeurer
 
No worries, any time
 
@BalarkaSen How can I prove that 2+2 is 4
and that minus 1 that's 3
I want to make sure Big Shaq is right
@0celo7 You too
 
3:20 AM
@BernardoMeurer embed it into a smooth quantum theory
then take the derived functor to the category of homocats
and the trace of that gives you what you want
 
4:02 AM
@BernardoMeurer i'm impressed
you scooped me
 
@Izebloo Hm?
 
hm what
 
What does it mean to scoop someone?
 
lmgtfy?
 
I picked you up in a car?
 
4:04 AM
that works
speedin' down the highway, lookin' at the street lights
so where we goin
 
Most likely hell
 
to hell and back
sweet
 
I don't know about the back part
Satan is not know for letting go
 
s'alright i'm an invertebrate
 
4:10 AM
i bet your car has proprietary software in it
waddup
didn't you like em boneless?
 
I don't have a car
And if I get a vehicle it will be a motorcycle
with little or no software in it
 
java
 
You think Java runs on a 1985 motorbike?
 
no
the motorbike runs on java
like the beans
nice
 
4:14 AM
it makes sense because you're from brazil
biofuel y'know
love it
 
k
:'(
i'm gonna go now i'm not wanted here
 
I'm just in a bad mood
 
@BernardoMeurer playing Max Payne 3
São Paulo looks like hell
 
@0celo7 Yeah, I don't like the city
Refresh my memory
How do I show that a horrible function is continuous at a point
$$h(x)=\begin{cases}x^2, & \mbox{if $x\in\mathbb Q$} \\ 0, & \mbox{if $x\in\mathbb R\setminus\mathbb Q$}\end{cases}$$
Namely this thing
@BalarkaSen @0celo7 ?
 
4:36 AM
continuous at zero?
 
@JoshuaLin Well, yeah, I think so too, but I don't know how to show that
Or rather, I know, but I don't remember what exactly is it
Unknown known
 
well you just want that for all epsilon balls around 0 (in the range space), there is a delta ball around 0 (in the domain space) that maps into the epsilon ball

so just let delta = root(epislon) and youre all g
 
I didn't want to use $\delta$ and $\epsilon$ because I can never reproduce that in my head when I'm thinking about a problem
I remember doing this in another way
 
Well you could show limit of h as it goes to 0 from either side equals zero, which is straightforward too
 
yes!
That's it
That's how I used to do it
Thanks @JoshuaLin
How do I show that it's differentiable at the point?
 
4:44 AM
for that you actually just need to use the definition of differentiability at a point, like the limit definition

but its clear since x^2 has derivative zero at the origin and 0 has derivative zero at the origin, so the derivative of h is also just zero
 
I see, cool
 
Anonymous
4:58 AM
@0celo7 Yes
 
@BernardoMeurer Pinggggggggggggg
 
Anonymous
5:25 AM
@BalarkaSen So I was thinking about this a bit. If $a,b$ are constants, such that $a,b>1$ or $a,b<1$, then there is no problem and Lagrange multipliers tell us that $ab\leq a^{p}/p+b^{q}/q$ and that greatest lower bound is attainable only when $a^{p}=b^{q}$. However, when $a>1,b<1$ or $a<1,b>1$ there is a problem since $a^{p}$ can never be equal to $b^{q}$ even after adjusting the positive $p,q$.
 
Anonymous
Thus, the Young's inequality is true even if $a,b$ are constants and $p,q$ are the variables given the constraint $p^{-1}+q^{-1}=1$.
 
Anonymous
According to the diagram, even when $a>1,b<1$: $ab$ will be a lower bound for sure. But it won't be the greatest lower bound from what I see.
 
Anonymous
 
user228700
Hello, everyone :-)
 
Anonymous
Hi!
 
5:31 AM
@Blue It's meaningless to say whether the numbers $a, b, p, q$ are variables or constants in the inequality
They are just real numbers
Being a variable or a constant only makes sense when you set up a function to extremize
 
Anonymous
@BalarkaSen That's what I was trying to do
 
Anonymous
As I mentioned yesterday
 
Hi @Kaumudi.H
 
Anonymous
@BalarkaSen I'm considering $g(p,q)$ and trying to extremize it
 
@Kaumudi.H morning :-)
 
Anonymous
5:34 AM
I'm not proving Young's inequality, no
 
I don't know what's the point in that masochistic endeavor but sure
 
Anonymous
@BalarkaSen Well, if $a>1$ and $b<1$ then the minimum given by Holder's inequality is not attainable.
 
Anonymous
Or vice versa
 
Oh balls. I have 24 servers down this morning :-( Guess what I'm going to be doing for the next hour.
 
Anonymous
Because the $a^{p}=b^{q}$ will never be true.
 
5:38 AM
So what?
The inequality still holds
 
Anonymous
Yes, the inequality still holds. I was analyzing the various possibilities.
 
user228700
@JohnRennie Dang :-/
 
Anonymous
And it is equivalent to the restriction on AM-GM i.e. the extremum value is attained only when the terms are all equal
 
Anonymous
But sometimes all the terms cannot be equal in the AM-GM, and in those cases the minimum value is never attainable
 
Anonymous
Basically Young's is the Weighted AM-GM. Don't know if the exercise was worthwhile or not, but it made things clear for me.
 
user228700
7:15 AM
@JohnRennie All done?
 
@Kaumudi.H yes, I've got most of them back online.
 
user228700
Cool :-)
 
There are a couple I can't do anything about. The engineers will have to deal with those on Monday morning.
 
user228700
Ah, well :-/
 
But that's OK, that's what they are paid to do :-)
 
user228700
7:16 AM
Right :-)
 
It looks like it was fallout from a Windows update.
 
user228700
As per usual, then?
 
We generally configure servers to install Windows updates on Saturday night, specifically because Sunday morning is a good quiet time to pick up any pieces.
But it isn't usually this bad :-)
 
user228700
Yes, you've explained it before:
 
user228700
Oct 15 at 5:57, by John Rennie
@BalarkaSen Microsoft release Windows updates on the second Tuesday of the month, and our servers are configured to install the updates the following Saturday night i.e. last night. With 600 or so servers updating and restarted there are always a few caualties.
 
user228700
7:18 AM
:-)
 
Oh well, it made for a lively start to the day :-)
 
user228700
:-)
 
And to be fair this is what i'm paid to do so I can't complain.
 
user228700
I miss home :-/
 
user228700
@JohnRennie Haha, right, right.
 
7:19 AM
:-(
Are you at your grans or back at the hostel?
 
user228700
At my grans now. My train back to college is in two hours but I must leave for the station in one.
 
user228700
I didn't sleep very well last night; four out of the six fellow travelers in my compartment happened to be heavy snorers.
 
user228700
Gosh, one of their snores sounded incredibly peculiar, as if a zip was being opened and closed at regular intervals.
 
@Kaumudi.H :-0
Next time take some gaffa tape with you and apply to people's mouths as required! :-)
Had lunch?
 
Get shooting grade earplugs
 
user228700
7:26 AM
@JohnRennie Hahaha! Oh, this reminds me that I must buy earplugs and an eye mask as soon as possible!
 
My lunch looks horribad
Fucking hell
 
user228700
@BalarkaSen Dang, what are you having?
 
There is no bad food. Close your eyes and force it down!
 
user228700
@JohnRennie Nope! Will do, in half an hour...
 
@Kaumudi.H An egg with some curry along with it, but it's the visual aspect of it that's hellish
 
user228700
7:28 AM
One egg?
 
It looks like viscera. It's like vegetables but from a slaughterhouse footage
 
user228700
@BalarkaSen I have googled "Viscera" and wow.
 
It doesn't taste too bad
Just like viscera
 
Anonymous
Just blindfold yourself and eat it. Only the taste matters anyway :P
 
@BalarkaSen console yourself with the thought that it doesn't look as bad as it will in 24 hours
 
7:35 AM
hehehehe
Food discussions always remind me of the famous THICC vegan smoothie prank
 
@BalarkaSen am I missing something there?
 
Nope, that's how vegans are
 
I am clearly too old to understand these subtleties :-)
 
user228700
Yo @Balarka: After you are finished with lunch, you think you can quickly help me to understand something?
 
@JohnRennie Probably for the best. Long story short, these are surrealist, absurdist sketches of a vegan making a vegan smoothie by the music and meme reviewer Anthony Fantano
The nonsense is the reason behind it's humor
@Kaumudi.H Sure, go ahead!
 
user228700
7:45 AM
Now?
 
For sure
 
user228700
OK, so I am s'posed to find the absolute maximum and minimum values of a function $f(x,y)$ over a given region $R$.
 
user228700
Here is a sample problem:
 
user228700
Agh, it is taking far too long to load, the image!
 
user228700
 
user228700
7:50 AM
(Praise the Lord!)
 
Right, OK
So what's the issue?
 
Anonymous
@JohnRennie It's not only you. It'll probably also take me a lifetime(maybe more) to understand the essence of weird meme humor. I've stopped trying. :P
 
user228700
Right, my question is this: what do they mean when they say "We want to determine the locations of the points on the boundary of $R$ at which the absolute extrema might occur"?
 
Anonymous
First find the maxima/minima points and then determine which of them lie on the boundary
 
@Blue :-)
 
Anonymous
7:52 AM
The maxima/minima/saddle points occur where the gradient is $0$
 
@Kaumudi.H The $\partial f/\partial x = \partial f/\partial y = 0$ method only gives you the critical points of $f$ which lie on the interior of your region
 
Anonymous
i.e. $\nabla f =0$
 
user228700
@BalarkaSen How come?
 
user228700
(@Blue: I see...)
 
@Kaumudi.H How do you differentiate a function on the boundary of a region?
You need all the directions available at a point to be able to differentiate, riiight?
You can't differentiate $f(x) = x$ at $x = 0$ on $[0, 1]$
 
user228700
7:53 AM
Yes, I s'pose...
 
user228700
Alright, I don't fully understand this yet and I will, if I spend 7 more minutes with this, I'm sure, but I must move on; it will do to remember this:
 
user228700
2 mins ago, by Balarka Sen
@Kaumudi.H The $\partial f/\partial x = \partial f/\partial y = 0$ method only gives you the critical points of $f$ which lie on the interior of your region
 
So you have to do some more work to figure out the maximum/minimum of $f$ on the boundary
 
user228700
Thanks! :-)
 
OK
no problem
@Kaumudi Actually my $f(x) = x$ on the interval $[0, 1]$ is quite clarifying. What are the critical points of $f$ on the interior of that interval?
 
user228700
7:57 AM
On the interior? That would be at $x=1$, no? It doesn't look like this function would have an absolute maxima...
 
No, interior means at points which are not the boundary points. $0, 1$ are boundary points
How do you find critical points of a single-variable function?
 
user228700
By equating its slope to zero, and solving for $x$.
 
Yep.What does that say in case of $f(x) = x$?
 
user228700
Its slope is 1, because of which, erm, well, it's never 0, suggesting that it doesn't have a critical point, perhaps?
 
Good, yes
 

« first day (2586 days earlier)      last day (2333 days later) »