Use List::Util::sum for summation:
#! /usr/bin/perl
use warnings;
use strict;
use feature qw{ say };
use List::Util qw{ sum };
for my $A (2..20) {
for my $n (1..10) {
die "$A, $n\n"
unless $A ** $n == 1 + ($A - 1) * sum(map $A ** $_, 0 .. $
+n - 1)
}
}
The proof can be compiled in TeX:
\documentclass{article}
\title{Summation Fulguration}
\newtheorem{thm}{Theorem}
\newtheorem{prf}{Proof}[thm]
\begin{document}
\begin{thm}
$$a^n = 1 + (a - 1) \sum_{i=0}^{n-1} a^i$$
\end{thm}
\begin{prf}
$$1 + (a - 1) \sum_{i=0}^{n-1} a^i$$
$$= 1 + \sum_{i=0}^{n-1}(a-1)a^i$$
$$= 1 + \sum_{i=0}^{n-1} a^{i+1} - a^i$$
$$= 1 + \sum_{i=0}^{n-1}a^{i+1} - \sum_{i=0}^{n-1}a^i$$
$$= 1 + (\sum_{i=1}^{n-1}a^i) + a^n - (a^0 + \sum_{i=1}^{n-1}a^i)$$
$$= 1 + (\sum_{i=1}^{n-1}a^i) + a^n - a^0 - \sum_{i=1}^{n-1}a^i$$
$$= 1 + a^n - a^0$$
$$= 1 + a^n - 1$$
$$= a^n$$
Q.E.D.
\end{prf}
\end{document}
The result can be checked here.
I have no idea how broadly it is known.
map{substr$_->[0],$_->[1]||0,1}[\*||{},3],[[]],[ref qr-1,-,-1],[{}],[sub{}^*ARGV,3]
-
Are you posting in the right place? Check out Where do I post X? to know for sure.
-
Posts may use any of the Perl Monks Approved HTML tags. Currently these include the following:
<code> <a> <b> <big>
<blockquote> <br /> <dd>
<dl> <dt> <em> <font>
<h1> <h2> <h3> <h4>
<h5> <h6> <hr /> <i>
<li> <nbsp> <ol> <p>
<small> <strike> <strong>
<sub> <sup> <table>
<td> <th> <tr> <tt>
<u> <ul>
-
Snippets of code should be wrapped in
<code> tags not
<pre> tags. In fact, <pre>
tags should generally be avoided. If they must
be used, extreme care should be
taken to ensure that their contents do not
have long lines (<70 chars), in order to prevent
horizontal scrolling (and possible janitor
intervention).
-
Want more info? How to link
or How to display code and escape characters
are good places to start.
|