« first day (2393 days earlier)      last day (2628 days later) » 

4:01 AM
right @arctictern I was gonna think of $M_n(B)$ as a left module over itself. I think if we use this description it should get easier.
 
@DHMO That could be an interesting question. I don't really know, but it's easy to see that same power series expansion extends as an entire function on all of C. But the fact that it's related to cos(z) and sin(z) is a formal fact I don't know how to intuitively describe
So, shrug
 
@BalarkaSen using power series is not at all intuitive
 
oh, what am I saying? it's the same for ($n$-odd)-gons as well
 
@DHMO But that's what complex analytic functions are!!
All the intuition for complex analytic functions come from them having a power series expansion
 
@DHMO: I don't know what "intuitive" means. I get plenty of intuition from power series. Seriously. You come down to having to understand $e^{iy}$ ...
 
4:05 AM
no, the intuition is being an analytic extension
 
Eg, the standard ramble that "they're like polynomials".
@DHMO What?
Analytic means you have a power series
 
isn't e^x the complex analytic extension of e^x?
meaning extend so that the derivatives are consistent
 
But the word "analytic" is predicated on power series expansions.
 
You're going down in circles. Why should that be intuitive unless you have a working intuition for complex analytic functions?
What Ted said
 
Sorry, Balarka, didn't mean to horn in.
 
4:06 AM
@TedShifrin your say on this matter is more than welcome
 
You're better at putting stuff in words than me.
 
@BalarkaSen can I build my intuition on what I said instead?
 
The beautiful "mystery" of complex analysis is that having one complex derivative gives you analytic (i.e., a whole convergent power series).
You didn't say anything, @DHMO, at least, not that I saw.
 
@DHMO Unless you have an intuition for "complex analytic", how can you?
 
@TedShifrin "extend so that the derivatives are consistent"
 
4:07 AM
This is all analysis. It's not a formal algebraic or geometric thing.
 
could the washer be pi*(integral of (2-(2-\sqrt{5-(y-1)^2})^2 from 2 to 1+\sqrt{5}? If it helps, x = 2-\sqrt{5-(y-1)^2}
 
@DHMO: That means you substitute $z$ for $x$.
 
oops, meant to put @TedShifrin up above
 
@MathisLife: Wait a minute. At the beginning you gave an interval $[0,2]$. Was that for $y$?
 
OK, @DHMO. So you want to understand complex analytic functions as complex differentiable? That's in general not a great intuition unless you know the equivalence with them having power series.
That's the whole point of complex analysis, like Ted said
 
4:09 AM
@TedShifrin [0,2] for x coordinates
 
@BalarkaSen I think power series are less intuitive
who would have thought that a "polynomial" can be periodic?
 
Oh, so what you wrote is wrong, @MathisLife. Remember that if you have a washer with inner radius $r$ and outer radius $R$, what is its area?
@DHMO: A polynomial is never periodic.
 
@TedShifrin I know.
 
Oh, I see ... infinite series are totally different.
 
How do you develop an intuition for power series?
 
4:10 AM
I don't know what "intuition" means ... that's a personal thing.
 
@DHMO Think of the Weierstrass product for sin. That might help.
 
I doubt it @Balarka :P
 
@TedShifrin Ah I see, I accidentally wrote it like a disk instead. Is it pi*(integral of 2^2 -(2-\sqrt{5-(y-1)^2})^2)from 2 to 1+\sqrt{5}?
 
@DHMO: The way you develop intuition for anything is lots of experience and playing around.
 
Constant functions are periodic.
 
4:11 AM
@BalarkaSen your comment made me think of a question I asked before
but I either forgot the answer or never got it:
 
@MathisLife: That's the upper part. And then there's the part that's just a plain old cylinder. Yes.
 
why can't a non-zero power series have zeros at all rationals?
 
Identity principle.
 
Zero set of an analytic function is discrete
 
If you have a set of zeroes with a limit point, the function is identically zero.
 
4:12 AM
@TedShifrin what is identity principle?
@BalarkaSen this is interesting
 
What I just said, @DHMO.
 
oh, analytic functions are continuous
 
Err, why's that relevant?
 
@BalarkaSen continuous real functions are uniquely determined by their restriction to Q->R
 
Suppose you have an analytic function that's zero at an infinite set of points converging to $0$. You can prove (pretty easily) that all the derivatives at $0$ must be $0$.
No, there are plenty of continuous functions with zeroes that accumulate.
 
4:13 AM
@DHMO Ah, that works.
 
Even smooth functions. Consider $e^{-1/x^2}\sin(1/x)$.
 
He's working on just Q though
So that's a weaker thing
 
Oh, sure. I was ignoring that :)
Back to you, @Balarka :P
 
Yeah, so the thing is this phenomenon is more general
 
@TedShifrin Just double checking: is the disk pi*integral of (2-\sqrt{5-(y-1)^2})^2) from 2 to 1+\sqrt{5}? I'm assuming that the integral bounds are the same for both the washer and disk, and we find those by taking [0,2] for x and then solving for y
 
4:15 AM
@TedShifrin "how many fxxxing zeros does it have?"
 
Right, @MathisLife. But I'm warning you that for $0\le y\le 2$, you have something else.
 
Everything which is of the form $1/(n\pi)$.
 
Infinitely many, accumulating at $0$, obviously, @DHMO.
 
@Adeek Here's a nice exercise. Suppose $B$ is unital. Show left $M_n(B)$-modules $M$ are of the form $M=N^n$, where $N$ is a left $B$-module.
 
cool @arctictern
 
4:16 AM
@TedShifrin it's an interesting property that $f^{(n)}$ diverges, right?
 
But the point is any analytic function vanishing on say 1, 1/2, 1/3, 1/4, ... has to vanish everywhere
 
tern: Necessarily same $n$?
 
@BalarkaSen got it
 
@TedShifrin yes
 
Oh, I see what I was erring about.
@DHMO, $f^{(n)}$ evaluated where?
 
4:17 AM
@TedShifrin anywhere save zero?
 
So if $M$ is a left $M_n(B)$-module, you need to find $n$ different internal summands, then show they are isomorphic $B$-modules.
 
I doubt it, @DHMO.
 
@DHMO Anyway, the thing is power series are intuitive. It is however a potentially interesting question how to read off periodicity from power series, or an infinite product, or something. I don't know.
But just because it's not intuitive to understand one single property from it doesn't mean it's worthless :)
 
@Balarka: I don't think you can do that. But this gets back to things like order of an entire function.
 
4:19 AM
yeah @arctictern
 
@BalarkaSen agreed
 
Hey everybody!
 
@TedShifrin Ya, that's one tricky thing
Hi @Daminark
 
@DHMO: Derivatives of $e^{-1/x^2}$ (with $0$ at $0$) are of the form $P(1/x)e^{-1/x^2}$, where the degree of the polynomial $P$ is quite predictable. So these approach $0$ as $x\to 0$. If I fix $x\ne 0$, they do approach $\infty$ as $n\to\infty$.
 
Guess who's back the rest of the song is left as an exercise to the chat reader
 
4:21 AM
Heya @Daminark
 
@TedShifrin Nice!
 
refuses to sit for a yucky song
 
listen to good songs then
 
Lol I don't even know the song much
I mostly listen to game soundtracks :P
Oh god it's a rap song
 
smacks @Daminark
 
4:24 AM
Oh have you guys ever heard of a game called undertale?
 
Me? I don't do games (other than classics and cards).
 
me neither
 
@Balarka: Don't you have school?
 
Lol, you probably won't know this one then, it's a steam game
 
A what?
 
4:25 AM
Released last year
Steam, it's a platform for computer games. It's got Portal, which is the best
 
@TedShifrin School's off
 
But anyway, the thing about undertale is that the identity of the player is not entirely clear, and the ending depends on your choices
Who you befriend, who you kill
 
@Daminark: Remember how you were about talking when you were a baby? I have no idea what you're talking about!
 
my classmate and I just finished a project video for class
 
What's it on, @Brody?
 
4:27 AM
Also the game is more aware of things than one would expect. Actions such as resetting are in game, so some characters kind of know what's going on, and adjust how they interact with you accordingly
Lolol, that's pretty fair
 
@Daminark: When you want to play a serious game of cribbage or bridge, let me know :P
 
A bunch of people in my house play bridge, I've been meaning to try it at some point
 
It's a very interesting, challenging game ... if you take it seriously, @Daminark.
 
@TedShifrin Thanks for the help--I have a quick follow up question. Same circle, but the interval for x is now [1,3], and I am revolving this new region about y = -2. If I do the washer method, I think the big radius is 2, but I'm not sure what the smaller radius is
 
No, the small radius is 2.
The big radius is $2+y$ where $y$ is given by that arc of circle.
 
4:36 AM
@BalarkaSen Chinese. We had to dub an introductory for our uni in Mandarin
 
Ahh
 
But the video has one watermark from the video downloader extension, and a huge stamp from the editing software...
What a mess...Lol
 
So much for anonymity, @Brody.
 
@TedShifrin eh, I could always privatize the vid. It'll be on the YouTubes
 
Ah, infamy ... :P
 
4:38 AM
That :)
 
Soon you'll be as infamous as I :P
 
Hi chat. Hello @Ted the Infamous.
 
glares @Fargle
 
Well there is a cult in your name
 
Bah.
 
4:42 AM
@TedShifrin Thanks a lot Ted, you're always a great help!
 
If you remember that bizarre time in this chat
 
I dunno about a cult--I just think it's fun to be a thorn in his side.
 
Most welcome, @Perturbative.
 
And all the punnery
 
Would you rather get ye to a nunnery or to a punnery, @Brody?
 
4:43 AM
Puns!!
 
@TedShifrin The latter oc
 
We all like Geometric Approaches.
 
glares @Balarka
 
I was truly serious, @Ted :)
 
lol
 
4:44 AM
I resisted smacking, but ...
 
...?
 
I mean, they've been elucidating for me.
 
I'm not seeing the joke
 
No, @Fargle, they've eluded you.
There isn't one, @Daminark, unless you know the titles of two of my books ...
 
Oh lol
 
4:45 AM
Balarka delights in ridiculing me.
 
@TedShifrin :{
 
Art thou, ultra-shifrinitist?
 
Didn't somebody in the UGA made a Retirement: A Geometric Approach T-shirt for you once? Or am I misremembering?
 
NO.
 
LOL
 
4:46 AM
@BalarkaSen This was discussed before, no?
 
@Balarka: Yes, my co-author and former department head did that for my retirement party. It had a geometric series on it :P
 
@Brody That joke was incomplete
 
OK, get back to math and work, guys.
 
Haha, nice.
 
Was "no" to Balarka or?
 
4:46 AM
No, it was for you, @Brody.
You have serious stuff to do. Enough of this twaddle.
 
Ok, going to work, but I was only half-ridiculing. The other half does seriously think it is for you that this chat is so geometry/topology oriented.
 
Well, if only to push it away from geometry/topology (and also because you're here @Ted), do you have any hints regarding why if a sequence in $\ell^p$ for $1 < p < \infty$ converges weakly, and the norms converge, that it converges strongly?
 
@Balarka: It's much more Mike and PVAL and you, for sure.
 
@TedShifrin Sorry to bother you again! Same circle, but [2,4]. I am supposed to find the surface area of the solid generated by revolving this region about x = -1, so I think I take dy for this. x = 2-\sqrt{5-(y-1)^2}. Inside the integral, I have x * \sqrt{1+(dy/dx)^2} dy? Thanks a lot!
 
I might link the project vid, just to illustrate how bad the watermarks are
 
4:49 AM
I know that $(\ell^p)^* \simeq \ell^q$ where $\frac{1}{p} + \frac{1}{q} = 1$, and that weak convergence in those spaces is equivalent to component-wise convergence
 
No, @MathisLife, if you're integrating $dy$ you need $x$ as a function of $y$, so $dx/dy$ inside. And of course you're missing $2\pi$.
 
But I'm not sure how to roll with this
 
@TedShifrin So rather, I would use y = 1+\sqrt{5-(x-2)^2} instead?
 
Oh, I remember doing something like this with $\mathscr L^p$ instead of $\ell^p$, @Daminark. Many moons ago.
No, @MathisLife. You need $x$ in terms of $y$. That's right. I was complaining about your integrand.
 
Lol, that does include our case by using counting measure on $\mathbb{N}$ for sure
But for some reason we do functional analysis before measure theory
So we're keeping it to sequence spaces
 
4:52 AM
Well, less baggage. I'm not complaining about that.
 
That's probably fair
 
@TedShifrin I'm a little lost, so silly clarification: The surface area is 2pi * integral of y*(\sqrt{1+(dx/dy)^2} dy?
 
No, you need x times ... still. The derivative was wrong. Draw pictures, and look at the little piece of surface area. x is the radius.
 
all goes nothing lel
the video is objectively not great... but luckily my prof just looks for the intention
 
@Daminark: I'm really rusty on this stuff. Have you played with Cauchy stuff?
 
5:06 AM
albeit we didn't have time to get things aligned before the deadline, i.e. have a registered video convertor and editor to avoid obtrusive stamping, and ensure a decent render quality. pretty fundamental stuff tbh ://
 
5:17 AM
@Ted I haven't done much, though I didn't see an avenue yet by which to include that
 
@TedShifrin Late update, but got it! Drawing a picture helps :) ... if I had to find the area under Archimedean spiral r = theta from theta= 7pi/4 to theta = 3pi, would I have to account for overlap, or is simply taking A = 1/2 of (integral of theta from 7pi/4 to 3pi) enough?
 
Think I've verified that the in- and circumcircles of a regular $n$-gon converge as $n\to\infty$
 
So the area under a function $r=f(\theta)$ from $\theta=a$ to $\theta=b$ is $\displaystyle \int_a^b \dfrac12 r^2 \ \mathrm d \theta$?
 
Hello, in my notes I have written (repeatedly), $F=Hom_{R}(M,-) : Mod-R \rightarrow Mod-R$ - in what way does this make sense? I don't see how the morphisms between two $R$ modules form a $R$ module.
I don't see why it's not $F=Hom_{R}(M,-) : Mod-R \rightarrow$ (Abelian groups).
 
@DHMO Yes, mindful of retracing of course if you want the area enclosed by the graph of $f$
in polar coords
 
5:30 AM
@Brody thanks
 
@DHMO np, I only recall the definition. Try deriving it?
 
@Brody basically the formula for the area of a sector is $\dfrac 12 r^2 \theta$
 
unless that's what you just did
not much reason to ask otherwise come to think, lol
@DHMO because?
 
@Brody because the area of a circle is $\pi r^2$
 
I was never 100% comfortable with the elementary calc derivation of that formula
 
5:35 AM

 Algebraic/Transcendence Theory

Discussions about algebraic numbers and transcendent numbers.
This room is almost dead... keep it alive!
I welcome any conversation about algebraic/transcendence theory.
 
I almost forgot about "polar rectangles"
 
@Brody The integration derivation?
 
@BalarkaSen for the area of a Euclidean circle knowing its radius
yeah, getting to the DE and integrating
 
@BalarkaSen should we go there?
 
@Brody Why aren't you comfortable with it? :)
It's a good derivation
@DHMO I don't know what to talk about though. I'm rather bored with Lindemann-Weierstrass
 
5:45 AM
@BalarkaSen transcendence is much more than Lindemann-Weierstrass
 
Sure, but what next?
Gelfond-Schneider?
 
@BalarkaSen as you like
 
Does anyone mind helping me with a quick & easy AP Calc question?
 
@BalarkaSen sorry, I used to be slightly uncomfortable with it. I'm all good now
granted I only encountered it online. they never used it in the classroom
or did any sort of proof or derivation really (speaking about high school)
Just ask @MathisLife
 
apcentral.collegeboard.com/apc/members/repository/… for page 3, if the curve were polar, at point C is dr/dtheta pos or neg?
I think its neg because as theta increases, r(theta) decreases because it looks like its getting closer to origin
but on the other hand it could be pos because if dr/dt is negative and dtheta/dt is negative instead of positive
 
5:51 AM
heyy
so alternate interior angles are suplimentary?
then how are alt ext angles equal?
 
oops, forgot to tag @Brody in my earlier post
 
@MathisLife think of which direction you move in as $\theta$ increases
clockwise or counterclockwise, and what is the function's graph doing in the process?
 
counterclockwise? @Brody
 
@MathisLife yes
 
and the function's graph is getting closer to origin @Brody
 
5:55 AM
@MathisLife you're speaking of the hyperbola?
$x=\sqrt{1+y^2}$?
 
@Brody: BD looks like it's heading back to origin, i mean
 
What is BD?
 
Guys any help ot egoroffs theorem [Royden Real Analysis]
 
sorry, nevermind @MathisLife
I was looking at question three
 
5:58 AM
@Brody: Ah, I see :) Page three, question 2
 
Before proving he is using a lemma ??
 
so alternate interior angles are suplimentary?
then how are alt ext angles equal?
 
I believe it'd be positive, inspecting only the arc between B and D @MathisLife
just from a shallow inspection. I haven't done anything with the math so not certain tbh
 
would dtheta/dt be decreasing?
@Brody
 
What do you say? @MathisLife
And what for $\text{d}r/ \text{d}t$?
 
6:08 AM
i thought dtheta/dt was increasing because it would sweep from 0 to pi/2? and dr/dt would decrease since it's approaching the origin @Brody
 
brb. I'll ping you back later
@MathisLife
 
sure, np @Brody
 
Hi @KanwaljitSingh
Hi
Can anyone answer for this question
Two workers A and B are engaged to do a piece of work. A working alone would take 8 hours move to complete the work that when work together.If b worked alone ,would take 4 1/2 hours morethan when work together.Time required to finish the work together is
 
6:25 AM
@MathisLife consider what happens around C as time $t$ moves forward
 
@Brody: What are you asking me to identify?
 
you're right about dr/dt, since the particle's distance from the origin decreases as $t$ increases
however, for dtheta/dt, is it moving more clockwise or anticlockwise?
 
@Brody: counterclockwise, I think
 
I disagree
though I would note I'm only inspecting the figure, which isn't necessarily precise or to scale
Suppose a straight line connects the origin to the particle as it traces out its path, between B and D, what happens to the angle between the positivie $x$-axis and this line segment? @MathisLife
 
@Brody: I see, the angle gets smaller?
 
6:34 AM
mmm yes it looks like it.
It's a bit hard to tell, but if the arc BD is a function over that interval of $\theta$, then guaranteed the angle decreases
however, we can't be convinced that the arc doesn't curve back a little, in which the angle would eventually get marginally larger
@MathisLife
 
@Brody: Hmm okay. Makes sense. Thanks a lot!
 
np. you might be able to do something with the derivatives given? but I can't tell atm @MathisLife
anyways, I'm off to bed, maybe. good nite chat
 
6:51 AM
It fascinates me to know that there are only countably many definable real numbers, precisely because we only have countably many finite strings to define a number.
 
@Learninguser
Let x be time to complete the work when A and B work together. Then time required by A alone is x+8. And by B is x+9/2.
Then we have 1/(x+8) + 1/(x+9/2) = 1/x
Solve this to find x. That is your answer.
 
@BAYMAX the first part just means that $A$ is measurable and there is an $n\in\Bbb N$ such that the third line is true. Ascending collection means $E_1\subseteq E_2\subseteq E_3\subseteq E_4\cdotd$. For the last one "$E$ has finite measure" is part of the theorem
 
so alternate interior angles are suplimentary?
then how are alt ext angles equal?
 
Hi @KanwaljitSingh you did not contact me
Thank you
 
well that movie was kind of fucked up
 
7:07 AM
sort of applies to any Kubrick
 
and now I'm probably going to bed
because it's late-o-clock in Zach-land
Good night, @Balarka, and any other lurkers out there
 
can someone answer my question please?!!?!?!?!?!?
 
7:22 AM
Alternate interior are equal...
 
how?
arent they supposed to be supplementary?
 
No...
 
then which are the supplimentary ones?
 
Same side / consecutive
Exterior vs interior doesn't matter by the vertical angle theorem
 
oh yeah!!
also
can someone read theorem 7 here/
in the question, they ask us to prove that a line segment joining the point of contact of 2 parallel tangents to each other is the diameter of the circle
but
then in the proof
they say angle CAO is a right angle
so they are saying that AO is the radius
but they still havent proved it
how can they take it for granted?
 
8:06 AM
@LarryFreeman Good morning, I believe that you can find a version from arXiv: Sondow, Ramanujan Primes and Bertrand's Postulate, The American Mathematical Monthly Vol. 116, No. 7 (2009), pp. 630-635. I am saying it because I see in your profile your that you are interested in it. Is not required a response of this comment, good luck.
 
 
1 hour later…
9:10 AM
0
Q: Measure of Set of numbers in $[0,1]$ with their decimal expansions not containing digit $5$.

BAYMAXFriends Just came across an excercise that asks to show that set of numbers in $[0,1]$ which possess decimal expansion not containing the digit $5$ has measure zero ? How do i approach this ? I tried thinking of relating this to Cantor set but , i see that numbers whose decimal expansion conta...

 
@AlessandroCodenotti buongiorno
Can you show a counterexample for the third claim? (The one about linear functions) — Alessandro Codenotti Jun 4 '14 at 19:28
I came across this comment :p
 
Hi @DHMO
Nonlinear solutions to Cauchy's functional equation, right?
 
@ZachHauk My apologies that I didn't come back yesterday anymore. Thanks a lot for your efforts!
 
@AlessandroCodenotti ya
and I thought that you would have known :p
"Theorem" of the day: $\mathscr P \left({\bigcup n}\right) = \bigcup \mathscr P \left({n}\right)$
 
I didn't back then apparently :P
 
9:20 AM
(doesn't work over $\Bbb N$)
 
whats the difference between.... |ab| and |a||b| ... dont they result in the same outcome?
 
@IPAddress depends on the domain
$\forall a,b \in \Bbb C: |ab| = |a||b|$
 
@DHMO so if a and b are complex numbers then |ab|=|a||b| would suffice
 
@IPAddress yes
 
@DHMO may I have an example when this would hold false please
 
9:26 AM
I just said it is true for all complex numbers
 
ohh
Is it true because the modulus of any non-zero complex number is always positive???
 
it's hardly because of that alone
 
@DHMO sorry i missed that your said "depends on the domain" - makes sense now! thank you!!!!!!!!
you*
 
10:20 AM
Hello guys
is any of you familiar with "Algebraic complexity theory"?
 
10:47 AM
a montone function on an interval is measurable ??
*monotone
 
@BAYMAX I think so, because it has at most countably many disconuities
(That makes it integrable)
 
can we say that integrable implies measurable ?
@DHMO
 
@BAYMAX sure, since integration is a measure in itself
measure theory is a generalization of integration
 
Yes, @DHMO but is there any other argument to prove a monotone function is it is measurable other than using countable many discontinuities?
 
@BAYMAX I have no expertise on that. I'm a beginner to measure theory.
I have never proved any set to be Lebesgue measurable
 
10:53 AM
me too @DHMO
 
11:09 AM
Hi @KanwaljitSingh your method is correct, but i have a doubt on regarding on this

But book answer is 1/(x+8) + 1/(x+9/2) = 1/x , i have a doubt regarding on this x be the piece of work, then 1 hour it will be 1/x , but it will take time morethan 8 hours means we have to add like this only - (1/x ) + 8 but how they are adding like 1/x+8 please clarify , x work means how they add value 8 with that
 
If $\phi$ is an atomic formula; is it possible for a variable $v_i$ to occur free in it? I assumed it was not but now I have seen it spoken of in a pdf
@Learninguser your icon is so pale it appears like you have been abscent in the chat for a while even after you just posted.
 
11:22 AM
How about this @DHMO since image of $f$ will be an interval or union of intervals and intervals are measurable and so f is also measurable , but here i have never assumed that f is monotone?
 
@BAYMAX the first statement is based on the fact that it has at most countably many discontinuities
 
and i think this argument implies any function is measurable?
 
not every set is an interval or union of intervals
@BAYMAX Consider the function $f(x) = \begin{cases}x&x \in \Bbb Q\\0&x \in \Bbb R \setminus \Bbb Q\end{cases}$
Its image is $\Bbb Q$.
Which is not a union of intervals.
(And have fun finding its measure)
 
is it 0
@DHMO
 
its outer measure is certainly 0
I do think that it is measurable
but as you know, I have no expertise on this.
 
11:27 AM
which book are you referring ?
 
Every set of measure 0 is measurable
 
I don't have any book
 
Every countable set has measure 0
 
yes @AlessandroCodenotti
you read from notes or internet right?@DHMO
 
purely internet
for all intends and purposes I'm still in high school
 
11:29 AM
which country are you from @DHMO ?
 
being in high school and reading measure theory , shows your interest towards Mathematics , and it is nice!!
 
@user400188 Hong Kong
 
I must admit that is not what I was expecting.
 
what are you expecting?
 
I'm not sure. I suppose a country with a bigger population; if nothing else.
And for some reason I was thinking of Europe.
 
11:32 AM
I see
 
0
Q: question about the proof of a theorem

MartianCactus Theorem 7 In the question, they ask us to prove that a line segment joining the point of contact of 2 parallel tangents to each other is the diameter of the circle but then in the proof they say angle CAO is a right angle. so they are saying that AO is the radius but they still havent proved i...

 
it must certainly be a good secondary school to be teaching that kind of stuff.
@MartianCactus
 
11:48 AM
what/
no im in high school
 
hi all. Just needed a quick heads up on a question: if linear operator T^2 has a cyclic vector then so does T
so minimal polynomial of T^2 has deg n. Therefore T has an annihilating polynomial with deg 2n and with variables having even degrees.
 
@MartianCactus
Can you give me the name of that textbook, by any chance?
 
Therefore degree of variable x in minimal polynomial of T will have the same parity. If minimal polynomial of T is q and deg q< n, q(x)q(x)=P'(x^2) and p' is an annihilating polynomial of T^2 having deg<n which is contradiction
 

« first day (2393 days earlier)      last day (2628 days later) »