<?xml version="1.0" encoding="UTF-8"?><!-- generator="wordpress.com" -->
<rss version="2.0"
	xmlns:content="http://purl.org/rss/1.0/modules/content/"
	xmlns:wfw="http://wellformedweb.org/CommentAPI/"
	xmlns:dc="http://purl.org/dc/elements/1.1/"
	>

<channel>
	<title>problem-8 &amp;laquo; WordPress.com Tag Feed</title>
	<link>http://en.wordpress.com/tag/problem-8/</link>
	<description>Feed of posts on WordPress.com tagged "problem-8"</description>
	<pubDate>Fri, 24 May 2013 04:20:21 +0000</pubDate>

	<generator>http://en.wordpress.com/tags/</generator>
	<language>en</language>

<item>
<title><![CDATA[Project Euler: Problem 8]]></title>
<link>http://programmingantics.wordpress.com/2012/07/13/project-euler-problem-8/</link>
<pubDate>Fri, 13 Jul 2012 17:54:34 +0000</pubDate>
<dc:creator>vilesquirrel</dc:creator>
<guid>http://programmingantics.wordpress.com/2012/07/13/project-euler-problem-8/</guid>
<description><![CDATA[Find the greatest product of five consecutive digits in the 1000-digit number. &lt;number removed to]]></description>
<content:encoded><![CDATA[<address>Find the greatest product of five consecutive digits in the 1000-digit number.</address>
<address>&#60;number removed to save space&#62;</address>
<address><span style="color:#000000;"><del>                                                                                                                                                                  </del></span></address>
<p>Nothing much new here. All you really have to know is how indexes work. Here&#8217;s the Python code:</p>
<pre class="brush: python; title: ; notranslate" title="">
the_num = '''73167176531330624919225119674426574742355349194934
 96983520312774506326239578318016984801869478851843
 85861560789112949495459501737958331952853208805511
 12540698747158523863050715693290963295227443043557
 66896648950445244523161731856403098711121722383113
 62229893423380308135336276614282806444486645238749
 30358907296290491560440772390713810515859307960866
 70172427121883998797908792274921901699720888093776
 65727333001053367881220235421809751254540594752243
 52584907711670556013604839586446706324415722155397
 53697817977846174064955149290862569321978468622482
 83972241375657056057490261407972968652414535100474
 82166370484403199890008895243450658541227588666881
 16427171479924442928230863465674813919123162824586
 17866458359124566529476545682848912883142607690042
 24219022671055626321111109370544217506941658960408
 07198403850962455444362981230987879927244284909188
 84580156166097919133875499200524063689912560717606
 05886116467109405077541002256983155200055935729725
 71636269561882670428252483600823257530420752963450'''

the_num = the_num.replace('\n ','')  #To make it look like a normal number
largest_product = 0
curdigit = 0

for digit in the_num:
    product = 1

    for x in range(5):
        try:
            product *= int(the_num[curdigit + x])
        except:
            pass
    if product &#62; largest_product: largest_product = product
    curdigit += 1

print largest_product
</pre>
<pre class="brush: python; title: ; notranslate" title="">
Answer: 40824
Elapsed time: 0.007169008255 seconds.
</pre>
<p>All of my solutions have been less than one second (Actually, I think they were all less than a hundredth of a second). How long can I keep this up?</p>
]]></content:encoded>
</item>
<item>
<title><![CDATA[Project Euler – Problem # 8 – Solved with Go]]></title>
<link>http://alphacentauri32.wordpress.com/2012/05/01/project-euler-problem-8-solved-with-go/</link>
<pubDate>Wed, 02 May 2012 01:13:20 +0000</pubDate>
<dc:creator>Greg Christian</dc:creator>
<guid>http://alphacentauri32.wordpress.com/2012/05/01/project-euler-problem-8-solved-with-go/</guid>
<description><![CDATA[Find the greatest product of five consecutive digits in the 1000-digit number. 731671765313306249192]]></description>
<content:encoded><![CDATA[<p>Find the greatest product of five consecutive digits in the 1000-digit number.</p>
<p style="text-align:center;">73167176531330624919225119674426574742355349194934<br />
96983520312774506326239578318016984801869478851843<br />
85861560789112949495459501737958331952853208805511<br />
12540698747158523863050715693290963295227443043557<br />
66896648950445244523161731856403098711121722383113<br />
62229893423380308135336276614282806444486645238749<br />
30358907296290491560440772390713810515859307960866<br />
70172427121883998797908792274921901699720888093776<br />
65727333001053367881220235421809751254540594752243<br />
52584907711670556013604839586446706324415722155397<br />
53697817977846174064955149290862569321978468622482<br />
83972241375657056057490261407972968652414535100474<br />
82166370484403199890008895243450658541227588666881<br />
16427171479924442928230863465674813919123162824586<br />
17866458359124566529476545682848912883142607690042<br />
24219022671055626321111109370544217506941658960408<br />
07198403850962455444362981230987879927244284909188<br />
84580156166097919133875499200524063689912560717606<br />
05886116467109405077541002256983155200055935729725<br />
71636269561882670428252483600823257530420752963450</p>
<h3>One Possible Solution: Go</h3>
<pre class="brush: plain; title: ; notranslate" title="">
package main

import &#34;fmt&#34;
import &#34;strconv&#34;

const fileIn = &#34;73167176531330624919225119674426574742355349194934&#34; +
	&#34;96983520312774506326239578318016984801869478851843&#34; +
	&#34;85861560789112949495459501737958331952853208805511&#34; +
	&#34;12540698747158523863050715693290963295227443043557&#34; +
	&#34;66896648950445244523161731856403098711121722383113&#34; +
	&#34;62229893423380308135336276614282806444486645238749&#34; +
	&#34;30358907296290491560440772390713810515859307960866&#34; +
	&#34;70172427121883998797908792274921901699720888093776&#34; +
	&#34;65727333001053367881220235421809751254540594752243&#34; +
	&#34;52584907711670556013604839586446706324415722155397&#34; +
	&#34;53697817977846174064955149290862569321978468622482&#34; +
	&#34;83972241375657056057490261407972968652414535100474&#34; +
	&#34;82166370484403199890008895243450658541227588666881&#34; +
	&#34;16427171479924442928230863465674813919123162824586&#34; +
	&#34;17866458359124566529476545682848912883142607690042&#34; +
	&#34;24219022671055626321111109370544217506941658960408&#34; +
	&#34;07198403850962455444362981230987879927244284909188&#34; +
	&#34;84580156166097919133875499200524063689912560717606&#34; +
	&#34;05886116467109405077541002256983155200055935729725&#34; +
	&#34;71636269561882670428252483600823257530420752963450&#34;

func main() {
	largest := 0
	for i := 0; i &#60; (len(fileIn) - 4); i++ {
		fiveDigits := fileIn[i:(i + 5)]

		s1 := fiveDigits[0:1]
		s2 := fiveDigits[1:2]
		s3 := fiveDigits[2:3]
		s4 := fiveDigits[3:4]
		s5 := fiveDigits[4:5]

		x1, _ := strconv.Atoi(s1)
		x2, _ := strconv.Atoi(s2)
		x3, _ := strconv.Atoi(s3)
		x4, _ := strconv.Atoi(s4)
		x5, _ := strconv.Atoi(s5)

		product := x1 * x2 * x3 * x4 * x5

		if product &#62; largest {
			largest = product
		}

	}
	fmt.Println(&#34;Greatest product is: &#34;, largest)
}
</pre>
		<div id="geo-post-1591" class="geo geo-post" style="display: none">
			<span class="latitude">40.378460</span>
			<span class="longitude">-104.750975</span>
		</div>]]></content:encoded>
</item>
<item>
<title><![CDATA[Automorphisms of k(t)/k]]></title>
<link>http://drexel28.wordpress.com/2012/02/28/automorphisms-of-ktk/</link>
<pubDate>Tue, 28 Feb 2012 12:18:22 +0000</pubDate>
<dc:creator>Alex Youcis</dc:creator>
<guid>http://drexel28.wordpress.com/2012/02/28/automorphisms-of-ktk/</guid>
<description><![CDATA[Point of Post: This is just a fun problem which computes the automorphisms of the extension where is]]></description>
<content:encoded><![CDATA[<p><strong>Point of Post: </strong>This is just a fun problem which computes the automorphisms of the extension <img src='http://s0.wp.com/latex.php?latex=k%28t%29%2Fk&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='k(t)/k' title='k(t)/k' class='latex' /> where <img src='http://s0.wp.com/latex.php?latex=k&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='k' title='k' class='latex' /> is some field and <img src='http://s0.wp.com/latex.php?latex=k%28t%29&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='k(t)' title='k(t)' class='latex' /> is the rational function field.</p>
<p><img src='http://s0.wp.com/latex.php?latex=%5Ctext%7B+%7D&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='&#92;text{ }' title='&#92;text{ }' class='latex' /></p>
<p><em><strong>Motivation</strong></em></p>
<p><img src='http://s0.wp.com/latex.php?latex=%5Ctext%7B+%7D&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='&#92;text{ }' title='&#92;text{ }' class='latex' /></p>
<p>This is another one of those slightly interesting problems that comes up in my day-to-day life, and I thought I&#8217;d share. Roughly the problem shows the very interesting result that the only automorphisms of the extension <img src='http://s0.wp.com/latex.php?latex=k%28t%29%2Fk&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='k(t)/k' title='k(t)/k' class='latex' /> where <img src='http://s0.wp.com/latex.php?latex=k%28t%29&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='k(t)' title='k(t)' class='latex' /> is the rational function field in one variable (i.e. the <a title="Localization (Pt. I)" href="http://drexel28.wordpress.com/2011/09/29/localization-pt-i/" target="_blank">quotient field</a> of the <a title="Polynomial Rings (Pt. I)" href="http://drexel28.wordpress.com/2011/07/19/polynomial-rings-pt-i/" target="_blank">polynomial ring</a> in one variable) are the fractional linear transformations <img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle+t%5Cmapsto+%5Cfrac%7Bat%2Bb%7D%7Bct%2Bd%7D&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='&#92;displaystyle t&#92;mapsto &#92;frac{at+b}{ct+d}' title='&#92;displaystyle t&#92;mapsto &#92;frac{at+b}{ct+d}' class='latex' /> (i.e. that <img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle+f%28t%29%5Cmapsto+f%5Cleft%28%5Cfrac%7Bat%2Bb%7D%7Bct%2Bd%7D%5Cright%29&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='&#92;displaystyle f(t)&#92;mapsto f&#92;left(&#92;frac{at+b}{ct+d}&#92;right)' title='&#92;displaystyle f(t)&#92;mapsto f&#92;left(&#92;frac{at+b}{ct+d}&#92;right)' class='latex' />) where <img src='http://s0.wp.com/latex.php?latex=ad-bc%5Cne+0&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='ad-bc&#92;ne 0' title='ad-bc&#92;ne 0' class='latex' />. This gives us a mapping <img src='http://s0.wp.com/latex.php?latex=%5Ctext%7BGL%7D_2%28k%29%5Cto+%5Ctext%7BAut%7D%28k%28t%29%2Fk%29&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='&#92;text{GL}_2(k)&#92;to &#92;text{Aut}(k(t)/k)' title='&#92;text{GL}_2(k)&#92;to &#92;text{Aut}(k(t)/k)' class='latex' /> and we shall determine what it&#8217;s kernel is, giving us an alternate description of of the automorphism group of this extension.</p>
<p><img src='http://s0.wp.com/latex.php?latex=%5Ctext%7B+%7D&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='&#92;text{ }' title='&#92;text{ }' class='latex' /></p>
<p><!--more--></p>
<p><em><strong>Automorphisms of <img src='http://s0.wp.com/latex.php?latex=k%28t%29%2Fk&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='k(t)/k' title='k(t)/k' class='latex' /></strong></em></p>
<p><img src='http://s0.wp.com/latex.php?latex=%5Ctext%7B+%7D&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='&#92;text{ }' title='&#92;text{ }' class='latex' /></p>
<p>Before we begin we prove a certain lemma concerning the degrees of certain</p>
<p><img src='http://s0.wp.com/latex.php?latex=%5Ctext%7B+%7D&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='&#92;text{ }' title='&#92;text{ }' class='latex' /></p>
<p><strong>Lemma: </strong><em>Let <img src='http://s0.wp.com/latex.php?latex=k&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='k' title='k' class='latex' /> be a field and consider the ratioanl function field <img src='http://s0.wp.com/latex.php?latex=k%28x%29&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='k(x)' title='k(x)' class='latex' />. Let then <img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle+t%3D%5Cfrac%7BP%28x%29%7D%7BQ%28x%29%7D%5Cin+k%28x%29&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='&#92;displaystyle t=&#92;frac{P(x)}{Q(x)}&#92;in k(x)' title='&#92;displaystyle t=&#92;frac{P(x)}{Q(x)}&#92;in k(x)' class='latex' /> with <img src='http://s0.wp.com/latex.php?latex=%28P%2CQ%29%3D1&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='(P,Q)=1' title='(P,Q)=1' class='latex' /> and <img src='http://s0.wp.com/latex.php?latex=Q%5Cne0&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='Q&#92;ne0' title='Q&#92;ne0' class='latex' />. Then, <img src='http://s0.wp.com/latex.php?latex=%5Cleft%5Bk%28x%29%3Ak%28t%29%5Cright%5D%3D%5Cmax%5C%7B%5Cdeg+P%2C%5Cdeg+Q%5C%7D&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='&#92;left[k(x):k(t)&#92;right]=&#92;max&#92;{&#92;deg P,&#92;deg Q&#92;}' title='&#92;left[k(x):k(t)&#92;right]=&#92;max&#92;{&#92;deg P,&#92;deg Q&#92;}' class='latex' />.</em></p>
<p><strong>Proof: </strong>We first note that the polynomial <img src='http://s0.wp.com/latex.php?latex=P%28X%29-tQ%28X%29%5Cin+k%28t%29%5BX%5D&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='P(X)-tQ(X)&#92;in k(t)[X]' title='P(X)-tQ(X)&#92;in k(t)[X]' class='latex' /> is irreducible over <img src='http://s0.wp.com/latex.php?latex=k%28t%29&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='k(t)' title='k(t)' class='latex' />. Indeed, by <a title="Polynomial Rings in Relation to Euclidean Domains, PIDs, and UFDs (Pt. II)" href="http://drexel28.wordpress.com/2011/10/24/polynomial-rings-in-relation-to-euclidean-domains-pids-and-ufds-pt-ii/" target="_blank">Gauss&#8217;s lemma</a> we need merely check that it is irreducible in <img src='http://s0.wp.com/latex.php?latex=k%5Bt%5D%5BX%5D&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='k[t][X]' title='k[t][X]' class='latex' /> but <img src='http://s0.wp.com/latex.php?latex=k%5Bt%5D%5BX%5D%3Dk%5BX%5D%5Bt%5D&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='k[t][X]=k[X][t]' title='k[t][X]=k[X][t]' class='latex' /> and this is clearly irreducible in the latter since it&#8217;s linear. Moreover, it&#8217;s easy to see that <img src='http://s0.wp.com/latex.php?latex=x&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='x' title='x' class='latex' /> is a root of this polynomial and thus we see that <img src='http://s0.wp.com/latex.php?latex=P%28X%29-tQ%28X%29&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='P(X)-tQ(X)' title='P(X)-tQ(X)' class='latex' /> is a minimal polynomial for <img src='http://s0.wp.com/latex.php?latex=x&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='x' title='x' class='latex' /> over <img src='http://s0.wp.com/latex.php?latex=k%28t%29&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='k(t)' title='k(t)' class='latex' /> and thus</p>
<p><img src='http://s0.wp.com/latex.php?latex=%5Ctext%7B+%7D&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='&#92;text{ }' title='&#92;text{ }' class='latex' /></p>
<p style="text-align:center;"><img src='http://s0.wp.com/latex.php?latex=%5Cmax%5C%7B%5Cdeg+P%2C%5Cdeg+Q%5C%7D%3D%5Cdeg_X%28P%28X%29-tQ%28X%29%29%3D%5Bk%28t%29%28x%29%3Ak%28t%29%5D%3D%5Bk%28x%29%3Ak%28t%29%5D&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='&#92;max&#92;{&#92;deg P,&#92;deg Q&#92;}=&#92;deg_X(P(X)-tQ(X))=[k(t)(x):k(t)]=[k(x):k(t)]' title='&#92;max&#92;{&#92;deg P,&#92;deg Q&#92;}=&#92;deg_X(P(X)-tQ(X))=[k(t)(x):k(t)]=[k(x):k(t)]' class='latex' /></p>
<p style="text-align:center;"><img src='http://s0.wp.com/latex.php?latex=%5Ctext%7B+%7D&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='&#92;text{ }' title='&#92;text{ }' class='latex' /></p>
<p>and so the result follows. <img src='http://s0.wp.com/latex.php?latex=%5Cblacksquare&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='&#92;blacksquare' title='&#92;blacksquare' class='latex' /></p>
<p><img src='http://s0.wp.com/latex.php?latex=%5Ctext%7B+%7D&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='&#92;text{ }' title='&#92;text{ }' class='latex' /></p>
<p>Using this we can complete the problem then:</p>
<p><img src='http://s0.wp.com/latex.php?latex=%5Ctext%7B+%7D&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='&#92;text{ }' title='&#92;text{ }' class='latex' /></p>
<p><strong>Theorem: </strong><em>Let <img src='http://s0.wp.com/latex.php?latex=k&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='k' title='k' class='latex' /> be any field. Then, <img src='http://s0.wp.com/latex.php?latex=%5Ctext%7BAut%7D%28k%28t%29%2Fk%29&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='&#92;text{Aut}(k(t)/k)' title='&#92;text{Aut}(k(t)/k)' class='latex' /> is equal to the set of all linear fractional transformations of the form <img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle+t%5Cmapsto+%5Cfrac%7Bat%2Bb%7D%7Bct%2Bd%7D&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='&#92;displaystyle t&#92;mapsto &#92;frac{at+b}{ct+d}' title='&#92;displaystyle t&#92;mapsto &#92;frac{at+b}{ct+d}' class='latex' /> where <img src='http://s0.wp.com/latex.php?latex=ad-bc%5Cne+0&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='ad-bc&#92;ne 0' title='ad-bc&#92;ne 0' class='latex' />.</em></p>
<p><strong>Proof: </strong>Let <img src='http://s0.wp.com/latex.php?latex=%5Csigma%5Cin%5Ctext%7BAut%7D%28k%28t%29%2Fk%29&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='&#92;sigma&#92;in&#92;text{Aut}(k(t)/k)' title='&#92;sigma&#92;in&#92;text{Aut}(k(t)/k)' class='latex' /> then we know that if <img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle+t%5Cmapsto+%5Cfrac%7BP%28t%29%7D%7BQ%28t%29%7D&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='&#92;displaystyle t&#92;mapsto &#92;frac{P(t)}{Q(t)}' title='&#92;displaystyle t&#92;mapsto &#92;frac{P(t)}{Q(t)}' class='latex' /> (where we can clearly assume that neither <img src='http://s0.wp.com/latex.php?latex=P&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='P' title='P' class='latex' /> nor <img src='http://s0.wp.com/latex.php?latex=Q&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='Q' title='Q' class='latex' /> is constant) then</p>
<p><img src='http://s0.wp.com/latex.php?latex=%5Ctext%7B+%7D&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='&#92;text{ }' title='&#92;text{ }' class='latex' /></p>
<p style="text-align:center;"><img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle+%5Bk%28t%29%3A%5Ctext%7Bim+%7D%5Csigma%5D%3D%5Cleft%5Bk%28t%29%3Ak%5Cleft%28%5Cfrac%7BP%28t%29%7D%7BQ%28t%29%7D%5Cright%29%5Cright%5D%3D%5Cmax%5C%7B%5Cdeg+P%2C%5Cdeg+Q%5C%7D&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='&#92;displaystyle [k(t):&#92;text{im }&#92;sigma]=&#92;left[k(t):k&#92;left(&#92;frac{P(t)}{Q(t)}&#92;right)&#92;right]=&#92;max&#92;{&#92;deg P,&#92;deg Q&#92;}' title='&#92;displaystyle [k(t):&#92;text{im }&#92;sigma]=&#92;left[k(t):k&#92;left(&#92;frac{P(t)}{Q(t)}&#92;right)&#92;right]=&#92;max&#92;{&#92;deg P,&#92;deg Q&#92;}' class='latex' /></p>
<p style="text-align:center;"><img src='http://s0.wp.com/latex.php?latex=%5Ctext%7B+%7D&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='&#92;text{ }' title='&#92;text{ }' class='latex' /></p>
<p>so that evidently if <img src='http://s0.wp.com/latex.php?latex=%5Csigma&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='&#92;sigma' title='&#92;sigma' class='latex' /> is going to be surjective we must have that <img src='http://s0.wp.com/latex.php?latex=%5Cdeg+P%3D%5Cdeg+Q%3D1&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='&#92;deg P=&#92;deg Q=1' title='&#92;deg P=&#92;deg Q=1' class='latex' />. Thus, we see automatically that our only hope for an automorphism <img src='http://s0.wp.com/latex.php?latex=k%28t%29%2Fk&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='k(t)/k' title='k(t)/k' class='latex' /> is a linear fractional transformation.</p>
<p><img src='http://s0.wp.com/latex.php?latex=%5Ctext%7B+%7D&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='&#92;text{ }' title='&#92;text{ }' class='latex' /></p>
<p>Assume now that <img src='http://s0.wp.com/latex.php?latex=a%2Cb%2Cc%2Cd%5Cin+k&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='a,b,c,d&#92;in k' title='a,b,c,d&#92;in k' class='latex' /> are such that <img src='http://s0.wp.com/latex.php?latex=ad-bc%5Cne+0&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='ad-bc&#92;ne 0' title='ad-bc&#92;ne 0' class='latex' />. Since <img src='http://s0.wp.com/latex.php?latex=k%5Bt%5D&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='k[t]' title='k[t]' class='latex' /> is the free commutative <img src='http://s0.wp.com/latex.php?latex=k&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='k' title='k' class='latex' />-algebra on one generator and <img src='http://s0.wp.com/latex.php?latex=k%28t%29&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='k(t)' title='k(t)' class='latex' /> is a commutative <img src='http://s0.wp.com/latex.php?latex=k&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='k' title='k' class='latex' />-algebra we know that we can extend the set map <img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle+t%5Cmapsto+%5Cfrac%7Bat%2Bb%7D%7Bct%2Bd%7D&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='&#92;displaystyle t&#92;mapsto &#92;frac{at+b}{ct+d}' title='&#92;displaystyle t&#92;mapsto &#92;frac{at+b}{ct+d}' class='latex' /> to a <img src='http://s0.wp.com/latex.php?latex=k&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='k' title='k' class='latex' />-algebra map <img src='http://s0.wp.com/latex.php?latex=%5Cvarphi%3Ak%5Bt%5D%5Cto+k%28t%29&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='&#92;varphi:k[t]&#92;to k(t)' title='&#92;varphi:k[t]&#92;to k(t)' class='latex' />. If we can show that this map is injective (i.e. has trivial kernel) then by the <a title="Localization (Pt. I)" href="http://drexel28.wordpress.com/2011/10/07/localization-pt-ii/" target="_blank">universal characterization of quotient fields</a> we may extend this to a map <img src='http://s0.wp.com/latex.php?latex=k%28t%29%5Cto+k%28t%29&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='k(t)&#92;to k(t)' title='k(t)&#92;to k(t)' class='latex' />. To see that this map is injective assume that</p>
<p><img src='http://s0.wp.com/latex.php?latex=%5Ctext%7B+%7D&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='&#92;text{ }' title='&#92;text{ }' class='latex' /></p>
<p style="text-align:center;"><img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle+0%3D%5Cvarphi%5Cleft%28%5Csum_j+a_j+t%5Ej%5Cright%29%3D%5Csum_j+a_j+%5Cleft%28%5Cfrac%7Bat%2Bb%7D%7Bct%2Bd%7D%5Cright%29%5Ej&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='&#92;displaystyle 0=&#92;varphi&#92;left(&#92;sum_j a_j t^j&#92;right)=&#92;sum_j a_j &#92;left(&#92;frac{at+b}{ct+d}&#92;right)^j' title='&#92;displaystyle 0=&#92;varphi&#92;left(&#92;sum_j a_j t^j&#92;right)=&#92;sum_j a_j &#92;left(&#92;frac{at+b}{ct+d}&#92;right)^j' class='latex' /></p>
<p style="text-align:center;"><img src='http://s0.wp.com/latex.php?latex=%5Ctext%7B+%7D&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='&#92;text{ }' title='&#92;text{ }' class='latex' /></p>
<p>and that <img src='http://s0.wp.com/latex.php?latex=a_j%5Cne+0&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='a_j&#92;ne 0' title='a_j&#92;ne 0' class='latex' /> for some <img src='http://s0.wp.com/latex.php?latex=j&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='j' title='j' class='latex' />. This then tells us that <img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle+%5Cfrac%7Bat%2Bb%7D%7Bct%2Bd%7D&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='&#92;displaystyle &#92;frac{at+b}{ct+d}' title='&#92;displaystyle &#92;frac{at+b}{ct+d}' class='latex' /> is algebraic over <img src='http://s0.wp.com/latex.php?latex=k&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='k' title='k' class='latex' />. If <img src='http://s0.wp.com/latex.php?latex=c%3D0&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='c=0' title='c=0' class='latex' /> this is all easy so assume not then note that <img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle+%5Cfrac%7Bat%2Bb%7D%7Bct%2Bd%7D%3D%5Cfrac%7Ba%7D%7Bc%7D%2B%5Cfrac%7Bbc-ad%7D%7Bc%5E2t%2Bcd%7D&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='&#92;displaystyle &#92;frac{at+b}{ct+d}=&#92;frac{a}{c}+&#92;frac{bc-ad}{c^2t+cd}' title='&#92;displaystyle &#92;frac{at+b}{ct+d}=&#92;frac{a}{c}+&#92;frac{bc-ad}{c^2t+cd}' class='latex' /> and since the algebraic elements of <img src='http://s0.wp.com/latex.php?latex=k&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='k' title='k' class='latex' /> in <img src='http://s0.wp.com/latex.php?latex=k%28t%29&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='k(t)' title='k(t)' class='latex' /> form a field we have that we may subtract, multiply, and divide any algebraic elements to/from <img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle+%5Cfrac%7Ba%7D%7Bc%7D%2B%5Cfrac%7Bbc-ad%7D%7Bc%5E2t%2Bcd%7D&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='&#92;displaystyle &#92;frac{a}{c}+&#92;frac{bc-ad}{c^2t+cd}' title='&#92;displaystyle &#92;frac{a}{c}+&#92;frac{bc-ad}{c^2t+cd}' class='latex' />. That said, constants are all algebraic and <img src='http://s0.wp.com/latex.php?latex=ad-bc%5Cne0&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='ad-bc&#92;ne0' title='ad-bc&#92;ne0' class='latex' /> and so we may clearly perform the following operations</p>
<p><img src='http://s0.wp.com/latex.php?latex=%5Ctext%7B+%7D&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='&#92;text{ }' title='&#92;text{ }' class='latex' /></p>
<p style="text-align:center;"><img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle+%5Cfrac%7Ba%7D%7Bc%7D%2B%5Cfrac%7Bbc-ad%7D%7Bc%5E2t%2Bcd%7D%5Cimplies%5Cfrac%7Bbc-ad%7D%7Bc%5E2t%2Bcd%7D%5Cimplies+%5Cfrac%7Bc%5E2t%2Bcd%7D%7Bbc-ad%7D%5Cimplies+c%5E2t%2Bcd%5Cimplies+c%5E2t%5Cimplies+t&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='&#92;displaystyle &#92;frac{a}{c}+&#92;frac{bc-ad}{c^2t+cd}&#92;implies&#92;frac{bc-ad}{c^2t+cd}&#92;implies &#92;frac{c^2t+cd}{bc-ad}&#92;implies c^2t+cd&#92;implies c^2t&#92;implies t' title='&#92;displaystyle &#92;frac{a}{c}+&#92;frac{bc-ad}{c^2t+cd}&#92;implies&#92;frac{bc-ad}{c^2t+cd}&#92;implies &#92;frac{c^2t+cd}{bc-ad}&#92;implies c^2t+cd&#92;implies c^2t&#92;implies t' class='latex' /></p>
<p style="text-align:center;"><img src='http://s0.wp.com/latex.php?latex=%5Ctext%7B+%7D&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='&#92;text{ }' title='&#92;text{ }' class='latex' /></p>
<p>to conclude that <img src='http://s0.wp.com/latex.php?latex=t&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='t' title='t' class='latex' /> is algebraic over <img src='http://s0.wp.com/latex.php?latex=k&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='k' title='k' class='latex' />, but this is clearly ridiculous. Thus we see that all the <img src='http://s0.wp.com/latex.php?latex=a_j&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='a_j' title='a_j' class='latex' />&#8216;s must be zero, and thus <img src='http://s0.wp.com/latex.php?latex=%5Cvarphi&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='&#92;varphi' title='&#92;varphi' class='latex' /> has trivial kernel. Thus, (by previous comment) we are granted an extension <img src='http://s0.wp.com/latex.php?latex=%5Coverline%7B%5Cvarphi%7D%3Ak%28t%29%5Cto+k%28t%29&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='&#92;overline{&#92;varphi}:k(t)&#92;to k(t)' title='&#92;overline{&#92;varphi}:k(t)&#92;to k(t)' class='latex' /> which is clearly a <img src='http://s0.wp.com/latex.php?latex=k&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='k' title='k' class='latex' />-algebra map and which satisfies <img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle+t%5Cmapsto+%5Cfrac%7Bat%2Bb%7D%7Bct%2Bd%7D&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='&#92;displaystyle t&#92;mapsto &#92;frac{at+b}{ct+d}' title='&#92;displaystyle t&#92;mapsto &#92;frac{at+b}{ct+d}' class='latex' />. Since this is a ring (field) map on a field we know that <img src='http://s0.wp.com/latex.php?latex=%5Coverline%7B%5Cvarphi%7D&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='&#92;overline{&#92;varphi}' title='&#92;overline{&#92;varphi}' class='latex' /> must be injective, and since we have (by the lemma) that <img src='http://s0.wp.com/latex.php?latex=%5Bk%28t%29%3A%5Ctext%7Bim+%7D%5Coverline%7B%5Cvarphi%7D%5D%3D1&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='[k(t):&#92;text{im }&#92;overline{&#92;varphi}]=1' title='[k(t):&#92;text{im }&#92;overline{&#92;varphi}]=1' class='latex' /> we must have that <img src='http://s0.wp.com/latex.php?latex=%5Coverline%7B%5Cvarphi%7D&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='&#92;overline{&#92;varphi}' title='&#92;overline{&#92;varphi}' class='latex' /> is surjective, and thus we may conclude that <img src='http://s0.wp.com/latex.php?latex=%5Coverline%7B%5Cvarphi%7D&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='&#92;overline{&#92;varphi}' title='&#92;overline{&#92;varphi}' class='latex' /> is bijective. Thus, we then see that <img src='http://s0.wp.com/latex.php?latex=%5Coverline%7B%5Cvarphi%7D%5Cin%5Ctext%7BAut%7D%28k%28t%29%2Fk%29&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='&#92;overline{&#92;varphi}&#92;in&#92;text{Aut}(k(t)/k)' title='&#92;overline{&#92;varphi}&#92;in&#92;text{Aut}(k(t)/k)' class='latex' />.</p>
<p><img src='http://s0.wp.com/latex.php?latex=%5Ctext%7B+%7D&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='&#92;text{ }' title='&#92;text{ }' class='latex' /></p>
<p>Now, to see that such a map won&#8217;t work if <img src='http://s0.wp.com/latex.php?latex=ad-bc%5Cne+0&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='ad-bc&#92;ne 0' title='ad-bc&#92;ne 0' class='latex' /> we merely note that if <img src='http://s0.wp.com/latex.php?latex=%5Cvarphi%3Ak%28t%29%5Cto+k%28t%29&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='&#92;varphi:k(t)&#92;to k(t)' title='&#92;varphi:k(t)&#92;to k(t)' class='latex' /> were an element of <img src='http://s0.wp.com/latex.php?latex=%5Ctext%7BAut%7D%28k%28t%29%2Fk%29&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='&#92;text{Aut}(k(t)/k)' title='&#92;text{Aut}(k(t)/k)' class='latex' /> with <img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle+t%5Cmapsto+%5Cfrac%7Bat%2Bb%7D%7Bct%2Bd%7D&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='&#92;displaystyle t&#92;mapsto &#92;frac{at+b}{ct+d}' title='&#92;displaystyle t&#92;mapsto &#92;frac{at+b}{ct+d}' class='latex' /> then necessarily <img src='http://s0.wp.com/latex.php?latex=%5Cvarphi%28dt-b%29%3D0&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='&#92;varphi(dt-b)=0' title='&#92;varphi(dt-b)=0' class='latex' /> but then we see that <img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle+%5Cvarphi%5Cleft%28%5Cfrac%7B1%7D%7Bdt-b%7D%5Cright%29&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='&#92;displaystyle &#92;varphi&#92;left(&#92;frac{1}{dt-b}&#92;right)' title='&#92;displaystyle &#92;varphi&#92;left(&#92;frac{1}{dt-b}&#92;right)' class='latex' /> isn&#8217;t even well-defined.</p>
<p><img src='http://s0.wp.com/latex.php?latex=%5Ctext%7B+%7D&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='&#92;text{ }' title='&#92;text{ }' class='latex' /></p>
<p>Combining the above results tells us that <img src='http://s0.wp.com/latex.php?latex=%5Ctext%7BAut%7D%28k%28t%29%2Fk%29&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='&#92;text{Aut}(k(t)/k)' title='&#92;text{Aut}(k(t)/k)' class='latex' /> are precisely the fractional linear transformations coming from invertible matrices as desired. <img src='http://s0.wp.com/latex.php?latex=%5Cblacksquare&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='&#92;blacksquare' title='&#92;blacksquare' class='latex' /></p>
<p><img src='http://s0.wp.com/latex.php?latex=%5Ctext%7B+%7D&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='&#92;text{ }' title='&#92;text{ }' class='latex' /></p>
<p>From the above we clearly are able to create a mapping <img src='http://s0.wp.com/latex.php?latex=%5Clambda%3A%5Ctext%7BGL%7D_2%28k%29%5Cto+%5Ctext%7BAut%7D%28k%28t%29%2Fk%29&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='&#92;lambda:&#92;text{GL}_2(k)&#92;to &#92;text{Aut}(k(t)/k)' title='&#92;lambda:&#92;text{GL}_2(k)&#92;to &#92;text{Aut}(k(t)/k)' class='latex' /> given by <img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle+%5Clambda%5Cleft%28%5Cbegin%7Bmatrix%7Da+%26%2338%3B+b%5C%5C+c+%26%2338%3B+d%5Cend%7Bmatrix%7D%5Cright%29%28t%29%3D%5Cfrac%7Bat%2Bb%7D%7Bct%2Bd%7D&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='&#92;displaystyle &#92;lambda&#92;left(&#92;begin{matrix}a &amp; b&#92;&#92; c &amp; d&#92;end{matrix}&#92;right)(t)=&#92;frac{at+b}{ct+d}' title='&#92;displaystyle &#92;lambda&#92;left(&#92;begin{matrix}a &amp; b&#92;&#92; c &amp; d&#92;end{matrix}&#92;right)(t)=&#92;frac{at+b}{ct+d}' class='latex' />. Moreover, from the above (an a little elbow grease) we actually know that <img src='http://s0.wp.com/latex.php?latex=%5Clambda&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='&#92;lambda' title='&#92;lambda' class='latex' /> is an epimorphism, and so the <a title="Review of Group Theory: The First Isomorphism Theorem" href="http://drexel28.wordpress.com/2011/01/02/review-of-group-theory-the-first-isomorphism-theorem/" target="_blank">first isomorphism theorem</a> tells us that <img src='http://s0.wp.com/latex.php?latex=%5Ctext%7BAut%7D%28k%28t%29%2Fk%29%5Ccong+%5Ctext%7BGL%7D_2%28k%29%2F%5Cker+%5Clambda&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='&#92;text{Aut}(k(t)/k)&#92;cong &#92;text{GL}_2(k)/&#92;ker &#92;lambda' title='&#92;text{Aut}(k(t)/k)&#92;cong &#92;text{GL}_2(k)/&#92;ker &#92;lambda' class='latex' />. That said it&#8217;s fairly easy to see that the matrix determines the corresponding automorphism up to scaling, so that <img src='http://s0.wp.com/latex.php?latex=%5Cker%5Clambda+%3D%5Cleft%5C%7BaI%3Aa%5Cin+k%5E%5Ctimes%5Cright%5C%7D%3DZ%28%5Ctext%7BGL%7D_2%28k%29%29&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='&#92;ker&#92;lambda =&#92;left&#92;{aI:a&#92;in k^&#92;times&#92;right&#92;}=Z(&#92;text{GL}_2(k))' title='&#92;ker&#92;lambda =&#92;left&#92;{aI:a&#92;in k^&#92;times&#92;right&#92;}=Z(&#92;text{GL}_2(k))' class='latex' /> (where we <a title="Center of an Algebra" href="http://drexel28.wordpress.com/2010/12/16/center-of-an-algebra/" target="_blank">have proven before</a> this last equality, where the <img src='http://s0.wp.com/latex.php?latex=Z&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='Z' title='Z' class='latex' /> stands for the <a title="Subrings" href="http://drexel28.wordpress.com/2011/06/15/subrings/" target="_blank">center of a ring</a>) and thus we have that <img src='http://s0.wp.com/latex.php?latex=%5Ctext%7BAut%7D%28k%28t%29%2Fk%29%5Ccong+%5Ctext%7BPGL%7D_2%28k%29&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='&#92;text{Aut}(k(t)/k)&#92;cong &#92;text{PGL}_2(k)' title='&#92;text{Aut}(k(t)/k)&#92;cong &#92;text{PGL}_2(k)' class='latex' /> where the <img src='http://s0.wp.com/latex.php?latex=%5Ctext%7BPGL%7D&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='&#92;text{PGL}' title='&#92;text{PGL}' class='latex' /> stands for the <a href="http://en.wikipedia.org/wiki/Projective_special_linear_group" target="_blank">projective linear group</a>.</p>
<p><img src='http://s0.wp.com/latex.php?latex=%5Ctext%7B+%7D&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='&#92;text{ }' title='&#92;text{ }' class='latex' /></p>
<p><img src='http://s0.wp.com/latex.php?latex=%5Ctext%7B+%7D&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='&#92;text{ }' title='&#92;text{ }' class='latex' /></p>
<p><strong>References:</strong></p>
<p>1. Dummit, David Steven., and Richard M. Foote. <em>Abstract Algebra</em>. Hoboken, NJ: Wiley, 2004. Print.</p>
]]></content:encoded>
</item>
<item>
<title><![CDATA[Project Euler - Problem 8]]></title>
<link>http://totallygamed.wordpress.com/2012/01/28/project-euler-problem-8/</link>
<pubDate>Sat, 28 Jan 2012 09:02:05 +0000</pubDate>
<dc:creator>virajmahesh</dc:creator>
<guid>http://totallygamed.wordpress.com/2012/01/28/project-euler-problem-8/</guid>
<description><![CDATA[Problem 8 of Project Euler gets a little tricky! In order to save yourself some time, you must know]]></description>
<content:encoded><![CDATA[Problem 8 of Project Euler gets a little tricky! In order to save yourself some time, you must know]]></content:encoded>
</item>
<item>
<title><![CDATA[#8 - Pembunuhan di Depan Laptop]]></title>
<link>http://problemsolving46.wordpress.com/2012/01/21/8-pembunuhan-di-depan-laptop/</link>
<pubDate>Sat, 21 Jan 2012 07:50:35 +0000</pubDate>
<dc:creator>Problem Solving 46</dc:creator>
<guid>http://problemsolving46.wordpress.com/2012/01/21/8-pembunuhan-di-depan-laptop/</guid>
<description><![CDATA[Siang itu, mobil-mobil polisi berdatangan ke tempat rekreasi Alam Mayang. Orang-orang yang tadinya a]]></description>
<content:encoded><![CDATA[<p>Siang itu, mobil-mobil polisi berdatangan ke tempat rekreasi Alam Mayang. Orang-orang yang tadinya asyik dengan permainannya sendiri, kini berdatangan mengelilingi tempat yang didatangi polisi.</p>
<p>&#8220;Hei, apa yang terjadi?&#8221; tanya seseorang di antara kerumunan orang itu.</p>
<p>&#8220;Aku dengar ada pembunuhan di sana,&#8221; jawab orang yang berada di dekatnya.</p>
<p><!--more-->Benar, sebuah pembunuhan terjadi di taman rekreasi alam mayang. Petugas polisi tampak sibuk memeriksa korban dan juga tempat kejadiannya. Korban bernama Hadrian, berusia 27 tahun. Penyebab kematiannya adalah pukulan yang keras di kepala bagian belakang. Pembunuh memukul korban secara diam-diam dari belakang, tanpa diketahui oleh korban. Waktu kematiannya adalah antara pukul 14.00 &#8211; 14.10. Korban ditemukan tewas oleh salah seorang teman baiknya ketika SMA, Irwan. Irwan lah orang yang menghubungi polisi untuk datang ke tempat kejadian.</p>
<p>Siang itu, korban dan ketiga teman baiknya berencana akan melaksanakan acara reuni. Tiga teman baiknya itu ialah Irwan, Joko, dan Kaka. Acara reuni itu akan dilaksanakan di Alam Mayang, tepatnya di tempat kejadian. Mereka bertiga berjanji akan bertemu di tempat itu pada pukul 14.30.</p>
<p>Korban sedang menggunakan laptop miliknya sebelum dibunuh. Sebuah laptop berada di dekat korban dan dalam keadaan menyala. Pada tombol <em>keyboard</em> laptop tersebut, ada bekas darah korban berbentuk jari, tepatnya pada tombol &#8220;Ctrl&#8221;<strong> </strong>dan tombol &#8220;C&#8221;. Darah ini berasal dari tangan kirinya yang berdarah. Diduga tangan kirinya berdarah karena korban memegangi kepalanya yang berdarah setelah dipukul pembunuh. Tangan kanan korban menggenggam <em>mouse</em> laptop miliknya. Apakah maksud dari semua ini? Benar, ini adalah pesan kematian korban dan pembunuhnya tidak menyadari hal ini.</p>
<p>Tidak ditemukan saksi yang melihat langsung pembunuhan karena lokasi reuni mereka adalah tempat yang sepi dan tidak banyak orang di sekelilingnya. Tersangka adalah ketiga teman baik korban dan ketiganya memiliki motif yang kuat, setidaknya cukup kuat untuk membuatnya membunuh korban. Berikut keterangan dari masing-masing tersangka.</p>
<p>Irwan, 27 tahun</p>
<p style="padding-left:30px;"><em>Aku sangat terkejut ketika aku datang ke sini. Aku tiba di sini pada pukul 14.30 sesuai janji kami dan ketika itu pula acara reuni kami hancur. Ketika aku tiba, aku sudah menemukan Hadrian tewas di tempat reuni kami. Aku segera menelepon polisi ketika itu.</em></p>
<p style="padding-left:30px;"><em></em><em><em>Antara pukul 14.00 dan 14.10, aku sedang pergi jalan-jalan ke mall dan aku pergi sendirian.</em></em></p>
<p style="padding-left:30px;"><em><em></em></em><em>Aku kesal karena Hadrian pernah menggagalkan pernikahanku. Dia menjelek-jelekkan aku di depan tunanganku dan saat itu pula aku putus hubungan dengan tunanganku. Tetapi, aku sudah memaafkannya dan tidak ingin lagi membahas hal tersebut.</em></p>
<p style="padding-left:30px;"><em>Masing-masing dari kami memiliki julukan Antoni dijuluki dengan Bad Boys karena perilakunya yang kurang baik. Aku sendiri dijuluki Mouse Copy karena wajahku mirip dengan tikus.</em></p>
<div>Joko, 27 tahun</div>
<div>
<p style="padding-left:30px;"><em>Aku datang ke sini karena kami sudah berjanji untuk mengadakan reuni di sini dan aku baru tiba di tempat kejadian pada pukul 14.35. Ketika aku tiba di sini, orang-orang sudah ramai mengerumuni tempat reuni kami.</em></p>
<p style="padding-left:30px;"><em>Antara pukul 14.00 dan 14.10, aku sedang dalam perjalanan dan aku pergi sendirian.</em></p>
<p style="padding-left:30px;"><em></em><em>Hadrian dulu pernah meminjam banyak uang kepadaku. Ketika aku menagih hutangnya itu, dia berkata dengan seenaknya saja, &#8220;kapan aku pernah berhutang padamu?&#8221; Ayolah, apa kalian pikir aku akan membunuhnya hanya karena hal itu?</em></p>
<p style="padding-left:30px;"><em></em><em>Diriku dijuluki dengan Photo Copy karena ketika SMA dulu, aku yang menyelesaikan semua urusan yang berhubungan dengan fotokopi.</em></p>
<p>Kaka, 27 tahun</p>
<p style="padding-left:30px;"><em>Aku datang hampir bersamaan dengan Joko. Ketika aku sampai, aku melihat Joko berlari ke tempat reuni kami. Aku juga heran mengapa begitu banyak orang di tempat reuni kami sehingga aku pun berlari, ingin mengetahui apa yang sedang terjadi. Ternyata, Hadrian telah meninggal.</em></p>
<p style="padding-left:30px;"><em>Antara pukul 14.00 dan 14.10, aku sedang dalam perjalanan kemari sambil menelepon temanku, Landung. Silahkan cek log panggilan keluar di handphone milikku jika kau tidak percaya.</em></p>
<p style="padding-left:30px;"><em></em><em>Dulu aku kesal karena Hadrian pernah menjelek-jelekkan ayahku yang masuk penjara. Aku sudah menyuruhnya untuk tutup mulut, tetapi dia malah membeberkan semuanya dan membuat cerita bohong yang menjelek-jelekkan ayahku. Aku kesal sekali ketika itu. Tetapi, itu hanyalah masa lalu. Aku sudah melupakan hal itu.</em></p>
<p style="padding-left:30px;"><em></em><em>Sewaktu SMA, aku dijuluki dengan Copy Cat karena aku suka meniru orang lain, mulai dari penampilan, gaya bicara, dan hal-hal lainnya.</em></p>
<p>Siapakah sebenarnya yang membunuh Hadrian? Jangan lupa berikan alasannya, ya.</p>
<p><em>Catatan : Semua nama tokoh, watak, dan kejadian di atas hanyalah rekayasa. Jika ada kesamaan dengan kejadian yang asli, kami mohon maaf karena kami tidak berniat untuk menulis ulang kejadian tersebut. Kami juga tidak mendoakan hal tersebut terjadi pada Anda.</em></p>
<p style="padding-left:30px;"><span style="color:#0000ff;"><em>A problem is not exist if there is no problem solver</em></span></p>
<p style="text-align:center;">* * *</p>
<p style="text-align:center;"><span style="color:#008000;"><strong> <img src='http://s0.wp.com/wp-includes/images/smilies/icon_smile.gif' alt=':-)' class='wp-smiley' />  Problem SOLVED <img src='http://s0.wp.com/wp-includes/images/smilies/icon_smile.gif' alt=':-)' class='wp-smiley' /> </strong></span></p>
<p>Solved by <a href="http://twitter.com/kurr_kurr">@kurr_kurr</a> (via <a href="http://twitter.com/ProblemSolver46">Twitter</a>)</p>
<p style="padding-left:30px;"><span style="color:#ffffff;"><em>pelaku pembunuhan di alam mayang itu kaka,krna julukan copy cat,(cat mngkap mouse) ,krna psan dr korban mouse dan ctrl+c</em></span></p>
<p>Official solution</p>
<p style="padding-left:30px;"><span style="color:#ffffff;"><em>Pesan kematian yang ditinggalkan korban ada dua. Yang pertama <strong>Ctrl + C</strong> dan yang kedua <strong>tangan korban menggenggam mouse</strong>.</em></span></p>
<p style="padding-left:30px;"><span style="color:#ffffff;"><em>Maksud dari pesan kematian yang pertama sudah jelas, yaitu <strong>copy</strong>. Ctrl + C adalah shortcut keyboard untuk perintah copy.</em></span></p>
<p style="padding-left:30px;"><span style="color:#ffffff;"><em>Maksud dari pesan kematian yang kedua adalah <strong>kucing (cat)</strong>. Menggenggam mouse berarti menangkap tikus. Hewan yang menangkap tikus adalah kucing.</em></span></p>
<p style="padding-left:30px;"><span style="color:#ffffff;"><em>Jadi, maksud dari pesan kematian korban adalah <strong>Copy Cat</strong>. Ini adalah julukan dari Kaka. Dengan kata lain, Kaka adalah pembunuhnya.</em></span></p>
</div>
]]></content:encoded>
</item>
<item>
<title><![CDATA[Project Euler Problem # 8 - Solved with Java &amp; Python!]]></title>
<link>http://alphacentauri32.wordpress.com/2011/01/25/project-eucler-problem-8-solved/</link>
<pubDate>Tue, 25 Jan 2011 23:20:57 +0000</pubDate>
<dc:creator>Greg Christian</dc:creator>
<guid>http://alphacentauri32.wordpress.com/2011/01/25/project-eucler-problem-8-solved/</guid>
<description><![CDATA[Find the greatest product of five consecutive digits in the 1000-digit number. 731671765313306249192]]></description>
<content:encoded><![CDATA[<p>Find the greatest product of five consecutive digits in the 1000-digit number.</p>
<p style="text-align:center;">73167176531330624919225119674426574742355349194934<br />
96983520312774506326239578318016984801869478851843<br />
85861560789112949495459501737958331952853208805511<br />
12540698747158523863050715693290963295227443043557<br />
66896648950445244523161731856403098711121722383113<br />
62229893423380308135336276614282806444486645238749<br />
30358907296290491560440772390713810515859307960866<br />
70172427121883998797908792274921901699720888093776<br />
65727333001053367881220235421809751254540594752243<br />
52584907711670556013604839586446706324415722155397<br />
53697817977846174064955149290862569321978468622482<br />
83972241375657056057490261407972968652414535100474<br />
82166370484403199890008895243450658541227588666881<br />
16427171479924442928230863465674813919123162824586<br />
17866458359124566529476545682848912883142607690042<br />
24219022671055626321111109370544217506941658960408<br />
07198403850962455444362981230987879927244284909188<br />
84580156166097919133875499200524063689912560717606<br />
05886116467109405077541002256983155200055935729725<br />
71636269561882670428252483600823257530420752963450</p>
<h3>One Possible Solution: Java</h3>
<pre class="brush: java; title: ; notranslate" title="">
import java.io.*;

public class Problem_08 
	{
		  public static void main( String [] args )
		  {
		    try
		    {
		       FileReader fro = new FileReader( &#34;1000.txt&#34; );
		       BufferedReader bro = new BufferedReader( fro );
		       StringBuilder sb = new StringBuilder( );
		  
		       // declare String variable and prime the read
		       String stringfromFile = bro.readLine( );
		 
		       while( stringfromFile != null ) // end of the file
		       {
		          sb.append(stringfromFile); // append into one long string
		          stringfromFile = bro.readLine( );  // read next line
		       }
		       String str = sb.toString( ); // convert from StringBuilder to String
		       String fiveDigits = &#34;&#34;; // initialize fiveDigits
		       int largest = 0; // initialize largest
		       
		       for(int i = 0; i &#60; str.length() - 4; i++){
		    	    fiveDigits = str.substring( i, ( i + 5 )); // substring of str for fiveDigits
		    	    
		    	    // convert each of the five digits into integers
		    	    int v = Integer.parseInt(fiveDigits.substring(0, 1));
		    	    int w = Integer.parseInt(fiveDigits.substring(1, 2));
		    	    int x = Integer.parseInt(fiveDigits.substring(2, 3));
		    	    int y = Integer.parseInt(fiveDigits.substring(3, 4));
		    	    int z = Integer.parseInt(fiveDigits.substring(4, 5));
		    	    
		    	    // find the product of each of the five digits
		    	    int product = v * w * x * y * z;
		    	    
		    	    // keep track of the largest product
		    	    if(product &#62; largest)
		    	    {
		    	    	largest = product;
		    	    }
		       }
		       System.out.println(&#34;Largest = &#34; + largest);
		       bro.close( );
		    }
		 
		    catch( FileNotFoundException filenotfoundexxption )
		    {
		      System.out.println( &#34;1000.txt, does not exist&#34; );
		    }
		 
		    catch( IOException ioexception )
		    {
		      ioexception.printStackTrace( );
		    }
		  }
	}
</pre>
<h3>One Possible Solution: Python</h3>
<pre class="brush: python; title: ; notranslate" title="">
# Python version = 2.7.2
# Platform = win32

fjf = open('1000.txt', 'rU')
bcm = fjf.readlines()
hws = ''.join(bcm)
bvc = hws.replace('\n', '')
fjf.close()

largest = 0

for i in range(0, (len(bvc) - 4)):
    fiveDigits = bvc[i:(i + 5)]

    x1 = int(fiveDigits[0:1])
    x2 = int(fiveDigits[1:2])
    x3 = int(fiveDigits[2:3])
    x4 = int(fiveDigits[3:4])
    x5 = int(fiveDigits[4:5])
    
    product = x1 * x2 * x3 * x4 * x5
    
    if product &#62; largest:
        largest = product
        
print &#34;Greatest product is: %s&#34; % largest
</pre>
<p><a href="http://projecteuler.net/index.php?section=about">Euler Project</a></p>
		<div id="geo-post-943" class="geo geo-post" style="display: none">
			<span class="latitude">40.378460</span>
			<span class="longitude">-104.750975</span>
		</div>]]></content:encoded>
</item>

</channel>
</rss>
