209
i and π (discuss.tchncs.de)
all 12 comments
sorted by: hot top controversial new old
[-] flyos@jlai.lu 6 points 1 year ago

Well, at least pi is real... Is that little hypocrite of i even rational? Hm?

[-] silent_water@hexbear.net 4 points 1 year ago

it's definitely 5-adicly rational

[-] flyos@jlai.lu 2 points 1 year ago

Haha, well done!

[-] flyos@jlai.lu 2 points 1 year ago

Out of curiosity, I guess pi cannot be rational in any p-adic set, right?

[-] silent_water@hexbear.net 3 points 1 year ago* (last edited 1 year ago)

yeah, the remainder of pi after p^2 for p>2 will always be the same as the remainder after division by p (p^2 if p=2), so it truncates to the left of the radix, and p-adic rationals can't go off infinitely to the right of the radix. also, more trivially, pi isn't algebraic so it's not the solution to any polynomial with rational coefficients, so it's also not the solution to any polynomial mod p^n.

[-] flyos@jlai.lu 1 points 1 year ago

Not sure I understand all of it, but the last part about pi not being algebraic made sense to me, at least! Thanks!

[-] silent_water@hexbear.net 1 points 1 year ago

what's the remainder of pi after division by 3 and 3^2? notice how the remainder is the same -- i.e. there's no 3s digit needed. and the same will be true for all higher powers of 3. this is because pi is <3^n for all n > 1. but we failed to express the fractional part of pi. if we extend to the p-adic rationals, we can express it as an infinite expansion but that's not allowed for p-adics -- they can only have a finite number of digits in the part to the right of the radix.

[-] kogasa@programming.dev 3 points 1 year ago* (last edited 1 year ago)

it's an algebraic integer in C, and even in Q(i). So kinda.

[-] kogasa@programming.dev 6 points 1 year ago
[-] Aurenkin@sh.itjust.works 4 points 1 year ago

Naturally based

this post was submitted on 03 Oct 2023
209 points (92.0% liked)

Science Memes

10743 readers
3969 users here now

Welcome to c/science_memes @ Mander.xyz!

A place for majestic STEMLORD peacocking, as well as memes about the realities of working in a lab.



Rules

  1. Don't throw mud. Behave like an intellectual and remember the human.
  2. Keep it rooted (on topic).
  3. No spam.
  4. Infographics welcome, get schooled.


Research Committee

Other Mander Communities

Science and Research

Biology and Life Sciences

Physical Sciences

Humanities and Social Sciences

Practical and Applied Sciences

Memes

Miscellaneous

founded 2 years ago
MODERATORS