a)
Vi bruker formelen T(n)=2n(n+1) og beregner de 12 første trekanttallene:
| n | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12 |
|---|
| T(n) | 1 | 3 | 6 | 10 | 15 | 21 | 28 | 36 | 45 | 55 | 66 | 78 |
b)
Med m=2 og n=8 leser vi av tabellen:
T(2+8)=T(10)=55
T(2)+T(8)=3+36=39
T(2+8)−(T(2)+T(8))=55−39=16
Vi merker oss at 16=2⋅8=m⋅n. Vi prøver noen andre verdier:
| m | n | T(m+n) | T(m)+T(n) | T(m+n)−(T(m)+T(n)) | m⋅n |
|---|
| 3 | 4 | T(7)=28 | 6+10=16 | 12 | 12 |
| 1 | 5 | T(6)=21 | 1+15=16 | 5 | 5 |
| 3 | 3 | T(6)=21 | 6+6=12 | 9 | 9 |
Generell regel: T(m+n)−(T(m)+T(n))=mn
c)
Vi setter inn formelen T(n)=2n(n+1) for hvert ledd:
T(m+n)−(T(m)+T(n))
=2(m+n)(m+n+1)−(2m(m+1)+2n(n+1))
=2(m+n)(m+n+1)−m(m+1)−n(n+1)
Vi utvider telleren:
(m+n)(m+n+1)=m2+mn+m+mn+n2+n=m2+2mn+n2+m+n
m(m+1)=m2+m
n(n+1)=n2+n
Setter inn:
=2(m2+2mn+n2+m+n)−(m2+m)−(n2+n)
=2m2+2mn+n2+m+n−m2−m−n2−n
=22mn=mn
Vi har dermed bevist at
T(m+n)−(T(m)+T(n))=mn
Verifisering med GeoGebra CAS:
Vi definerer T(n)=2n(n+1) og lar CAS forenkle T(m+n)−(T(m)+T(n)):

CAS bekrefter at uttrykket forenkler til n⋅m, det vil si mn.