More VW - hmm it's getting hard :P

by Wolstenholme, Nov 28, 2014, 5:09 AM

$ 1.6.a) $ Well the identity basically gives away that it is in fact an algebraic integer.

$ 1.6.b) $ We proceed with a lemma.

Lemma 42: $ 1 - \omega $ is a unit in $ \mathbb{Z}[\omega]. $

Well it clearly suffices to show that $ \Phi_{2013}(1) = 1 $ where $ \Phi_n(x) $ denotes the $ n $-th cyclotomic polynomial. I shall show by induction that $ \Phi_n(1) = 1 $ for all positive integers $ n > 1 $ not equal to a power of a prime and $ \Phi_n(1) = p $ if $ n $ is a power of the prime $ p. $ The base case is trivial so using the identity $ x^n - 1 = \prod_{d \vert n}\Phi_d(x) $ and dividing both sides by $ x - 1 $ immediately yields the desired result.

By Lemma 42 it suffices to find $ (a, b) $ such that $ \frac{(1 - \omega^{a + 1})(1 - \omega^{b + 1})}{3} $ is an algebraic integer. Now it is clear that $ \frac{(1 - \omega^{a + 1})(1 - \omega^{b + 1})}{3} $ is an algebraic integer if and only if $ \prod_{\substack{(k, 2013) = 1 \\ 1 \le k \le 2013}}\frac{(1 - \omega^{k(a + 1)})(1 - \omega^{k(b + 1)})}{3} = \frac{\Phi_r(1)^{\text{gcd}(2013, a + 1)}\Phi_s(1)^{\text{gcd}(2013, b + 1)}}{3^{\phi(2013)}} $ is an integer where $ r = \frac{2013}{\text{gcd}(2013, a + 1)} $ and $ s = \frac{2013}{\text{gcd}(2013, a + 1)} $ or if one of $ a + 1 $ and $ b + 1 $ is divisible by $ 2013. $

Using the results from the proof of Lemma 42 we get an answer of $ \boxed{4029}. $

Comment

0 Comments

Archives
+ June 2016
+ April 2016
+ March 2016
+ July 2015
+ February 2015
+ June 2014
Shouts
Submit
  • glad to have found a fellow chipotle lover <3

    by nukelauncher, Aug 13, 2020, 6:40 AM

  • the random chinese tst problem is the only thing I read, but I'll assume your blog is nice and give you a shout even though you probably never use aops anymoer

    by fukano_2, Jun 14, 2020, 6:24 AM

  • wolstenholme - op

    by AopsUser101, Jan 29, 2020, 8:27 PM

  • this blog is so hot

    by mathleticguyyy, Jun 5, 2019, 8:26 PM

  • Hi. Nice Blog!

    by User360702, Jan 10, 2019, 6:03 PM

  • helloooooo

    by songssari, Jun 12, 2016, 8:21 AM

  • shouts make blogs happier

    by briantix, Mar 18, 2016, 9:57 PM

  • You were just featured on AoPS's facebook page.

    by mishka1980, Sep 12, 2015, 10:33 PM

  • This is late, but where is the ARML results post?

    by donot, Aug 31, 2015, 11:07 PM

  • "I am Sam"
    "Sam I am"

    by mathwizard888, Aug 12, 2015, 9:13 PM

  • HW$\textcolor{white}{}$

    by Eugenis, Apr 20, 2015, 10:10 PM

  • Uh-oh ARML practice is Thursday... I should start the homework. :P

    by nosaj, Apr 20, 2015, 12:34 AM

  • Yes I am Sam, and Chebyshev polynomials aren't trivial, although they do make some problems trivial :P

    by Wolstenholme, Apr 15, 2015, 10:00 PM

  • How are Chebyshev Polynomials trivial? :P

    by nosaj, Apr 13, 2015, 4:10 AM

  • Are you Sam?

    by Eugenis, Apr 4, 2015, 2:05 AM

  • @Brian: yes, yes I did #whoneedsalgskillz?

    @gauss1181; hey!

    by Wolstenholme, Mar 1, 2015, 11:25 PM

  • hello!!! :D

    by gauss1181, Nov 27, 2014, 12:19 AM

  • Hi Wolstenholme did you actually use calc on that tstst problem :o

    by briantix, Aug 2, 2014, 12:25 AM

18 shouts
Contributors
Tags
About Owner
  • Posts: 543
  • Joined: Mar 3, 2013
Blog Stats
  • Blog created: Apr 3, 2013
  • Total entries: 112
  • Total visits: 35003
  • Total comments: 167
Search Blog
a