SlideShare a Scribd company logo
Student ID: U10011024                            Name: Kuan-Lun Wang


                      Exercises 1.3-7
Use the identity (j +1)3 −j 3 = 3j 2 +3j +1 and mathematical
induction to prove that n j 2 = 12 + 22 + 32 + · · · + n2 =
                           j=1
n(n + 1)(2n + 1)/6 for every positive integer n.
(1)By the identity (j + 1)3 − j 3 = 3j 2 + 3j + 1.
   When we isolate the factor j 2, we find that j 2 = ((j +
1)3 − j 3)/3 − j − 1/3). When we sum this expression for j
over the values j = 1, 2, . . . n, we obtain
          n
tn =           j2
        j=1
                                  
              n                            n         n
                          3    3
    =              ((j + 1) − j )/3 −         j−         1/3
              j=1                         j=1        j=1
        (replacing j 2 with ((j + 1) − j 3)/3 − j − 1/3)
                                          3

     = ((n + 1)3/3 − 1/3) − n(n + 1)/2 − n/3
        (simplif ying a telescoping sum)
     = n(n + 1)(2n + 1)/6.
This completes the proof by the identity (j + 1)3 − j 3 =
3j 2 + 3j + 1.
(2)By mathematical induction.
   We can show by mathematical induction that n j 2 =
                                                   j=1
n(n + 1)(2n + 1)/6 for every positive integer n. The basis
step, namely, the case where n = 1, hold because 1 j 2 =
                                                   j=1
                                                   n
 2
1 = 1(1 + 1)(2 × 1 + 1)/6. Now, assume that j=1 j 2 =
n(n + 1)(2n + 1)/6; this is the inductive hypothesis. To
complete the proof, we must show, under the assumption
that the inductive hypothesis is true, that n+1 j 2 = (n +
                                             j=1
1)((n+1)+1)(2(n+1)+1)/6. Using the inductive hypothesis,
Home Work 02                                                       1
Student ID: U10011024                        Name: Kuan-Lun Wang


we have
       n+1              n
             j2 =           j 2 + (n + 1)2
       j=1          j=1
             = n(n + 1)(2n + 1)/6 + (k 2 + 2k + 1)
             = (n + 1)((n + 1) + 1)(2(n + 1) + 1)/6
This completes both the inductive step and the proof.
                    Exercises 1.3-34
Use mathematical induction to show that a 2n ×2n chessboard
with one square missing can be covered with L-shaped pieces,
where each L-shaped piece covers three square.
   We can show by mathematical induction that a 2n × 2n
chessboard with one square missing can be covered with L-
shaped pieces, where each L-shaped piece covers three square.
The basis step, namely, the case where n = 1, hold because
a 21 × 21 chessboard with one square missing can be covered
with L-shaped pieces (since there are three squares remain-
ing, in each each case the chessboard can be tiled with a
L-shaped).
   Now, assume that a 2n × 2n chessboard with one square
missing can be covered with L-shaped pieces; this is the in-
ductive hypothesis. To complete the proof, we must show,
under the assumption that the inductive hypothesis is true,
that a 2n+1 × 2n+1 chessboard with one square missing can
be covered with L-shaped pieces. We divide the 2n+1 × 2n+1
chessboard into four 2n ×2n chessboards. Using the inductive
hypothesis, we can tile the remaining three 2n × 2n chess-
boards so that each tiling omits the square closest to the cen-
ter of the 2n+1 × 2n+1 chessboard. Lest, place an L-shaped
Home Work 02                                                   2
Student ID: U10011024                      Name: Kuan-Lun Wang


piece in the center of the board such that it coves the corner
square of each remaining quadrant.
   Now, we completes both the inductive step and the proof.




Home Work 02                                                 3

More Related Content

What's hot

Factors of polynomial
Factors of polynomialFactors of polynomial
Factors of polynomial
RochelleOliva
 
Sol1
Sol1Sol1
Sect1 R
Sect1 RSect1 R
Sect1 R
inKFUPM
 
Sudėtingesnės trupmeninės lygtys
Sudėtingesnės trupmeninės lygtysSudėtingesnės trupmeninės lygtys
Sudėtingesnės trupmeninės lygtys
Lina Ša
 
Solve for x in terms of y
Solve for x in terms of ySolve for x in terms of y
Solve for x in terms of y
EdTechonGC Mallett
 
Bayes gauss
Bayes gaussBayes gauss
Bvco u1 a2_jogf
Bvco u1 a2_jogfBvco u1 a2_jogf
Bvco u1 a2_jogf
Josué García Flores
 
3m. Pedagogy of Mathematics (Part II) - Algebra (Ex 3.13)
3m. Pedagogy of Mathematics (Part II) - Algebra (Ex 3.13)3m. Pedagogy of Mathematics (Part II) - Algebra (Ex 3.13)
3m. Pedagogy of Mathematics (Part II) - Algebra (Ex 3.13)
Dr. I. Uma Maheswari Maheswari
 
Assign1 21314-sol
Assign1 21314-solAssign1 21314-sol
Assign1 21314-sol
krishnammalsekaran645149
 
0408 ch 4 day 8
0408 ch 4 day 80408 ch 4 day 8
0408 ch 4 day 8
festivalelmo
 
8th alg -l6.3--jan24
8th alg -l6.3--jan248th alg -l6.3--jan24
8th alg -l6.3--jan24
jdurst65
 
gennder trinomials
gennder trinomialsgennder trinomials
gennder trinomials
guest5cc1a8
 
Lohans’ magic squares and the Gaussian elimination method
Lohans’ magic squares and the Gaussian elimination methodLohans’ magic squares and the Gaussian elimination method
Lohans’ magic squares and the Gaussian elimination method
Lossian Barbosa Bacelar Miranda
 
Factorización aplicando Ruffini o Método de Evaluación
Factorización aplicando Ruffini o Método de EvaluaciónFactorización aplicando Ruffini o Método de Evaluación
Factorización aplicando Ruffini o Método de Evaluación
Wuendy Garcia
 
Shortlist jbmo 2016_v7-1
Shortlist jbmo 2016_v7-1Shortlist jbmo 2016_v7-1
Shortlist jbmo 2016_v7-1
Θανάσης Δρούγας
 
Text s1 21
Text s1 21Text s1 21
Text s1 21
nguyenvanquan7826
 
Engr 213 midterm 2a 2009
Engr 213 midterm 2a 2009Engr 213 midterm 2a 2009
Engr 213 midterm 2a 2009
akabaka12
 
Dual formulation example
Dual formulation exampleDual formulation example
Dual formulation example
Anurag Srivastava
 
Engr 213 sample midterm 2b sol 2010
Engr 213 sample midterm 2b sol 2010Engr 213 sample midterm 2b sol 2010
Engr 213 sample midterm 2b sol 2010
akabaka12
 
Algebra Lineal. Tarea1
Algebra Lineal. Tarea1Algebra Lineal. Tarea1
Algebra Lineal. Tarea1
Juan Jose Reyes Salgado
 

What's hot (20)

Factors of polynomial
Factors of polynomialFactors of polynomial
Factors of polynomial
 
Sol1
Sol1Sol1
Sol1
 
Sect1 R
Sect1 RSect1 R
Sect1 R
 
Sudėtingesnės trupmeninės lygtys
Sudėtingesnės trupmeninės lygtysSudėtingesnės trupmeninės lygtys
Sudėtingesnės trupmeninės lygtys
 
Solve for x in terms of y
Solve for x in terms of ySolve for x in terms of y
Solve for x in terms of y
 
Bayes gauss
Bayes gaussBayes gauss
Bayes gauss
 
Bvco u1 a2_jogf
Bvco u1 a2_jogfBvco u1 a2_jogf
Bvco u1 a2_jogf
 
3m. Pedagogy of Mathematics (Part II) - Algebra (Ex 3.13)
3m. Pedagogy of Mathematics (Part II) - Algebra (Ex 3.13)3m. Pedagogy of Mathematics (Part II) - Algebra (Ex 3.13)
3m. Pedagogy of Mathematics (Part II) - Algebra (Ex 3.13)
 
Assign1 21314-sol
Assign1 21314-solAssign1 21314-sol
Assign1 21314-sol
 
0408 ch 4 day 8
0408 ch 4 day 80408 ch 4 day 8
0408 ch 4 day 8
 
8th alg -l6.3--jan24
8th alg -l6.3--jan248th alg -l6.3--jan24
8th alg -l6.3--jan24
 
gennder trinomials
gennder trinomialsgennder trinomials
gennder trinomials
 
Lohans’ magic squares and the Gaussian elimination method
Lohans’ magic squares and the Gaussian elimination methodLohans’ magic squares and the Gaussian elimination method
Lohans’ magic squares and the Gaussian elimination method
 
Factorización aplicando Ruffini o Método de Evaluación
Factorización aplicando Ruffini o Método de EvaluaciónFactorización aplicando Ruffini o Método de Evaluación
Factorización aplicando Ruffini o Método de Evaluación
 
Shortlist jbmo 2016_v7-1
Shortlist jbmo 2016_v7-1Shortlist jbmo 2016_v7-1
Shortlist jbmo 2016_v7-1
 
Text s1 21
Text s1 21Text s1 21
Text s1 21
 
Engr 213 midterm 2a 2009
Engr 213 midterm 2a 2009Engr 213 midterm 2a 2009
Engr 213 midterm 2a 2009
 
Dual formulation example
Dual formulation exampleDual formulation example
Dual formulation example
 
Engr 213 sample midterm 2b sol 2010
Engr 213 sample midterm 2b sol 2010Engr 213 sample midterm 2b sol 2010
Engr 213 sample midterm 2b sol 2010
 
Algebra Lineal. Tarea1
Algebra Lineal. Tarea1Algebra Lineal. Tarea1
Algebra Lineal. Tarea1
 

Viewers also liked

Tren cloud-computing
Tren cloud-computingTren cloud-computing
Tren cloud-computing
utak-atik
 
Javaone2011 atn8 pdf
Javaone2011 atn8 pdfJavaone2011 atn8 pdf
Javaone2011 atn8 pdfUeda Yusuke
 
Šėtos kultūros centras
Šėtos kultūros centrasŠėtos kultūros centras
Šėtos kultūros centras
Vidmantas Valantiejus
 
Economy Update August 19, 2011
Economy  Update  August 19, 2011Economy  Update  August 19, 2011
Economy Update August 19, 2011
Churairatana Nimha
 
Calculus First Test 2011/10/20
Calculus First Test 2011/10/20Calculus First Test 2011/10/20
Calculus First Test 2011/10/20
Kuan-Lun Wang
 
但丁神曲企劃書
但丁神曲企劃書但丁神曲企劃書
但丁神曲企劃書
Kuan-Lun Wang
 
나는 세상 통역사다 by No.1최소영
나는 세상 통역사다 by No.1최소영나는 세상 통역사다 by No.1최소영
나는 세상 통역사다 by No.1최소영fgisoyoung
 
E kutir presentation-online
E kutir presentation-onlineE kutir presentation-online
E kutir presentation-online
millionaireb
 
John Cage
John CageJohn Cage

Viewers also liked (9)

Tren cloud-computing
Tren cloud-computingTren cloud-computing
Tren cloud-computing
 
Javaone2011 atn8 pdf
Javaone2011 atn8 pdfJavaone2011 atn8 pdf
Javaone2011 atn8 pdf
 
Šėtos kultūros centras
Šėtos kultūros centrasŠėtos kultūros centras
Šėtos kultūros centras
 
Economy Update August 19, 2011
Economy  Update  August 19, 2011Economy  Update  August 19, 2011
Economy Update August 19, 2011
 
Calculus First Test 2011/10/20
Calculus First Test 2011/10/20Calculus First Test 2011/10/20
Calculus First Test 2011/10/20
 
但丁神曲企劃書
但丁神曲企劃書但丁神曲企劃書
但丁神曲企劃書
 
나는 세상 통역사다 by No.1최소영
나는 세상 통역사다 by No.1최소영나는 세상 통역사다 by No.1최소영
나는 세상 통역사다 by No.1최소영
 
E kutir presentation-online
E kutir presentation-onlineE kutir presentation-online
E kutir presentation-online
 
John Cage
John CageJohn Cage
John Cage
 

Similar to 第二次作業

Maths-MS_Term2 (1).pdf
Maths-MS_Term2 (1).pdfMaths-MS_Term2 (1).pdf
Maths-MS_Term2 (1).pdf
AnuBajpai5
 
Advanced Engineering Mathematics Solutions Manual.pdf
Advanced Engineering Mathematics Solutions Manual.pdfAdvanced Engineering Mathematics Solutions Manual.pdf
Advanced Engineering Mathematics Solutions Manual.pdf
Whitney Anderson
 
Mathematical Induction
Mathematical InductionMathematical Induction
Mathematical Induction
Edelyn Cagas
 
Maths05
Maths05Maths05
Maths05
sansharmajs
 
Lesson 14 a - parametric equations
Lesson 14 a - parametric equationsLesson 14 a - parametric equations
Lesson 14 a - parametric equations
Jean Leano
 
5.4 mathematical induction t
5.4 mathematical induction t5.4 mathematical induction t
5.4 mathematical induction t
math260
 
Solution3
Solution3Solution3
Solution3
H K
 
Engr 213 midterm 2b sol 2010
Engr 213 midterm 2b sol 2010Engr 213 midterm 2b sol 2010
Engr 213 midterm 2b sol 2010
akabaka12
 
A0740103
A0740103A0740103
A0740103
IOSR Journals
 
Lesson 8: Derivatives of Logarithmic and Exponential Functions (worksheet sol...
Lesson 8: Derivatives of Logarithmic and Exponential Functions (worksheet sol...Lesson 8: Derivatives of Logarithmic and Exponential Functions (worksheet sol...
Lesson 8: Derivatives of Logarithmic and Exponential Functions (worksheet sol...
Matthew Leingang
 
Sect1 1
Sect1 1Sect1 1
Sect1 1
inKFUPM
 
Engr 213 midterm 2a sol 2010
Engr 213 midterm 2a sol 2010Engr 213 midterm 2a sol 2010
Engr 213 midterm 2a sol 2010
akabaka12
 
Sol58
Sol58Sol58
Hw5sols
Hw5solsHw5sols
Hw5sols
Dulaj Rox
 
Sulalgtrig7e Isg 1 4
Sulalgtrig7e Isg 1 4Sulalgtrig7e Isg 1 4
Sulalgtrig7e Isg 1 4
Joseph Eulo
 
Imc2016 day2-solutions
Imc2016 day2-solutionsImc2016 day2-solutions
Imc2016 day2-solutions
Christos Loizos
 
Assignment For Matlab Report Subject Calculus 2
Assignment For Matlab Report Subject  Calculus 2Assignment For Matlab Report Subject  Calculus 2
Assignment For Matlab Report Subject Calculus 2
Laurie Smith
 
Smart solution
Smart solutionSmart solution
Smart solution
Rizka Kurnia
 
Dm assignment3
Dm assignment3Dm assignment3
Dm assignment3
H K
 
整卷
整卷整卷

Similar to 第二次作業 (20)

Maths-MS_Term2 (1).pdf
Maths-MS_Term2 (1).pdfMaths-MS_Term2 (1).pdf
Maths-MS_Term2 (1).pdf
 
Advanced Engineering Mathematics Solutions Manual.pdf
Advanced Engineering Mathematics Solutions Manual.pdfAdvanced Engineering Mathematics Solutions Manual.pdf
Advanced Engineering Mathematics Solutions Manual.pdf
 
Mathematical Induction
Mathematical InductionMathematical Induction
Mathematical Induction
 
Maths05
Maths05Maths05
Maths05
 
Lesson 14 a - parametric equations
Lesson 14 a - parametric equationsLesson 14 a - parametric equations
Lesson 14 a - parametric equations
 
5.4 mathematical induction t
5.4 mathematical induction t5.4 mathematical induction t
5.4 mathematical induction t
 
Solution3
Solution3Solution3
Solution3
 
Engr 213 midterm 2b sol 2010
Engr 213 midterm 2b sol 2010Engr 213 midterm 2b sol 2010
Engr 213 midterm 2b sol 2010
 
A0740103
A0740103A0740103
A0740103
 
Lesson 8: Derivatives of Logarithmic and Exponential Functions (worksheet sol...
Lesson 8: Derivatives of Logarithmic and Exponential Functions (worksheet sol...Lesson 8: Derivatives of Logarithmic and Exponential Functions (worksheet sol...
Lesson 8: Derivatives of Logarithmic and Exponential Functions (worksheet sol...
 
Sect1 1
Sect1 1Sect1 1
Sect1 1
 
Engr 213 midterm 2a sol 2010
Engr 213 midterm 2a sol 2010Engr 213 midterm 2a sol 2010
Engr 213 midterm 2a sol 2010
 
Sol58
Sol58Sol58
Sol58
 
Hw5sols
Hw5solsHw5sols
Hw5sols
 
Sulalgtrig7e Isg 1 4
Sulalgtrig7e Isg 1 4Sulalgtrig7e Isg 1 4
Sulalgtrig7e Isg 1 4
 
Imc2016 day2-solutions
Imc2016 day2-solutionsImc2016 day2-solutions
Imc2016 day2-solutions
 
Assignment For Matlab Report Subject Calculus 2
Assignment For Matlab Report Subject  Calculus 2Assignment For Matlab Report Subject  Calculus 2
Assignment For Matlab Report Subject Calculus 2
 
Smart solution
Smart solutionSmart solution
Smart solution
 
Dm assignment3
Dm assignment3Dm assignment3
Dm assignment3
 
整卷
整卷整卷
整卷
 

More from Kuan-Lun Wang

Calculus Final Exam
Calculus Final ExamCalculus Final Exam
Calculus Final Exam
Kuan-Lun Wang
 
Chapter 6
Chapter 6Chapter 6
Chapter 6
Kuan-Lun Wang
 
第三次作業
第三次作業第三次作業
第三次作業
Kuan-Lun Wang
 
第一次作業
第一次作業第一次作業
第一次作業
Kuan-Lun Wang
 
第八次習題 Exercise 5.4-14
第八次習題 Exercise 5.4-14第八次習題 Exercise 5.4-14
第八次習題 Exercise 5.4-14
Kuan-Lun Wang
 
第五次習題 Exercise 4.4-28
第五次習題 Exercise 4.4-28第五次習題 Exercise 4.4-28
第五次習題 Exercise 4.4-28Kuan-Lun Wang
 
第二次習題 Exercise 2.5-32
第二次習題 Exercise 2.5-32第二次習題 Exercise 2.5-32
第二次習題 Exercise 2.5-32Kuan-Lun Wang
 

More from Kuan-Lun Wang (9)

Calculus Final Exam
Calculus Final ExamCalculus Final Exam
Calculus Final Exam
 
軍訓報告
軍訓報告軍訓報告
軍訓報告
 
Chapter 6
Chapter 6Chapter 6
Chapter 6
 
第三次作業
第三次作業第三次作業
第三次作業
 
第一次作業
第一次作業第一次作業
第一次作業
 
第八次習題 Exercise 5.4-14
第八次習題 Exercise 5.4-14第八次習題 Exercise 5.4-14
第八次習題 Exercise 5.4-14
 
第五次習題 Exercise 4.4-28
第五次習題 Exercise 4.4-28第五次習題 Exercise 4.4-28
第五次習題 Exercise 4.4-28
 
第二次習題 Exercise 2.5-32
第二次習題 Exercise 2.5-32第二次習題 Exercise 2.5-32
第二次習題 Exercise 2.5-32
 
第一次習題
第一次習題第一次習題
第一次習題
 

Recently uploaded

A Deep Dive into ScyllaDB's Architecture
A Deep Dive into ScyllaDB's ArchitectureA Deep Dive into ScyllaDB's Architecture
A Deep Dive into ScyllaDB's Architecture
ScyllaDB
 
Day 2 - Intro to UiPath Studio Fundamentals
Day 2 - Intro to UiPath Studio FundamentalsDay 2 - Intro to UiPath Studio Fundamentals
Day 2 - Intro to UiPath Studio Fundamentals
UiPathCommunity
 
GraphRAG for LifeSciences Hands-On with the Clinical Knowledge Graph
GraphRAG for LifeSciences Hands-On with the Clinical Knowledge GraphGraphRAG for LifeSciences Hands-On with the Clinical Knowledge Graph
GraphRAG for LifeSciences Hands-On with the Clinical Knowledge Graph
Neo4j
 
Freshworks Rethinks NoSQL for Rapid Scaling & Cost-Efficiency
Freshworks Rethinks NoSQL for Rapid Scaling & Cost-EfficiencyFreshworks Rethinks NoSQL for Rapid Scaling & Cost-Efficiency
Freshworks Rethinks NoSQL for Rapid Scaling & Cost-Efficiency
ScyllaDB
 
Astute Business Solutions | Oracle Cloud Partner |
Astute Business Solutions | Oracle Cloud Partner |Astute Business Solutions | Oracle Cloud Partner |
Astute Business Solutions | Oracle Cloud Partner |
AstuteBusiness
 
"Frontline Battles with DDoS: Best practices and Lessons Learned", Igor Ivaniuk
"Frontline Battles with DDoS: Best practices and Lessons Learned",  Igor Ivaniuk"Frontline Battles with DDoS: Best practices and Lessons Learned",  Igor Ivaniuk
"Frontline Battles with DDoS: Best practices and Lessons Learned", Igor Ivaniuk
Fwdays
 
High performance Serverless Java on AWS- GoTo Amsterdam 2024
High performance Serverless Java on AWS- GoTo Amsterdam 2024High performance Serverless Java on AWS- GoTo Amsterdam 2024
High performance Serverless Java on AWS- GoTo Amsterdam 2024
Vadym Kazulkin
 
Poznań ACE event - 19.06.2024 Team 24 Wrapup slidedeck
Poznań ACE event - 19.06.2024 Team 24 Wrapup slidedeckPoznań ACE event - 19.06.2024 Team 24 Wrapup slidedeck
Poznań ACE event - 19.06.2024 Team 24 Wrapup slidedeck
FilipTomaszewski5
 
Introduction of Cybersecurity with OSS at Code Europe 2024
Introduction of Cybersecurity with OSS  at Code Europe 2024Introduction of Cybersecurity with OSS  at Code Europe 2024
Introduction of Cybersecurity with OSS at Code Europe 2024
Hiroshi SHIBATA
 
"Choosing proper type of scaling", Olena Syrota
"Choosing proper type of scaling", Olena Syrota"Choosing proper type of scaling", Olena Syrota
"Choosing proper type of scaling", Olena Syrota
Fwdays
 
zkStudyClub - LatticeFold: A Lattice-based Folding Scheme and its Application...
zkStudyClub - LatticeFold: A Lattice-based Folding Scheme and its Application...zkStudyClub - LatticeFold: A Lattice-based Folding Scheme and its Application...
zkStudyClub - LatticeFold: A Lattice-based Folding Scheme and its Application...
Alex Pruden
 
inQuba Webinar Mastering Customer Journey Management with Dr Graham Hill
inQuba Webinar Mastering Customer Journey Management with Dr Graham HillinQuba Webinar Mastering Customer Journey Management with Dr Graham Hill
inQuba Webinar Mastering Customer Journey Management with Dr Graham Hill
LizaNolte
 
"Scaling RAG Applications to serve millions of users", Kevin Goedecke
"Scaling RAG Applications to serve millions of users",  Kevin Goedecke"Scaling RAG Applications to serve millions of users",  Kevin Goedecke
"Scaling RAG Applications to serve millions of users", Kevin Goedecke
Fwdays
 
"What does it really mean for your system to be available, or how to define w...
"What does it really mean for your system to be available, or how to define w..."What does it really mean for your system to be available, or how to define w...
"What does it really mean for your system to be available, or how to define w...
Fwdays
 
What is an RPA CoE? Session 1 – CoE Vision
What is an RPA CoE?  Session 1 – CoE VisionWhat is an RPA CoE?  Session 1 – CoE Vision
What is an RPA CoE? Session 1 – CoE Vision
DianaGray10
 
Principle of conventional tomography-Bibash Shahi ppt..pptx
Principle of conventional tomography-Bibash Shahi ppt..pptxPrinciple of conventional tomography-Bibash Shahi ppt..pptx
Principle of conventional tomography-Bibash Shahi ppt..pptx
BibashShahi
 
Demystifying Knowledge Management through Storytelling
Demystifying Knowledge Management through StorytellingDemystifying Knowledge Management through Storytelling
Demystifying Knowledge Management through Storytelling
Enterprise Knowledge
 
Dandelion Hashtable: beyond billion requests per second on a commodity server
Dandelion Hashtable: beyond billion requests per second on a commodity serverDandelion Hashtable: beyond billion requests per second on a commodity server
Dandelion Hashtable: beyond billion requests per second on a commodity server
Antonios Katsarakis
 
Biomedical Knowledge Graphs for Data Scientists and Bioinformaticians
Biomedical Knowledge Graphs for Data Scientists and BioinformaticiansBiomedical Knowledge Graphs for Data Scientists and Bioinformaticians
Biomedical Knowledge Graphs for Data Scientists and Bioinformaticians
Neo4j
 
Nordic Marketo Engage User Group_June 13_ 2024.pptx
Nordic Marketo Engage User Group_June 13_ 2024.pptxNordic Marketo Engage User Group_June 13_ 2024.pptx
Nordic Marketo Engage User Group_June 13_ 2024.pptx
MichaelKnudsen27
 

Recently uploaded (20)

A Deep Dive into ScyllaDB's Architecture
A Deep Dive into ScyllaDB's ArchitectureA Deep Dive into ScyllaDB's Architecture
A Deep Dive into ScyllaDB's Architecture
 
Day 2 - Intro to UiPath Studio Fundamentals
Day 2 - Intro to UiPath Studio FundamentalsDay 2 - Intro to UiPath Studio Fundamentals
Day 2 - Intro to UiPath Studio Fundamentals
 
GraphRAG for LifeSciences Hands-On with the Clinical Knowledge Graph
GraphRAG for LifeSciences Hands-On with the Clinical Knowledge GraphGraphRAG for LifeSciences Hands-On with the Clinical Knowledge Graph
GraphRAG for LifeSciences Hands-On with the Clinical Knowledge Graph
 
Freshworks Rethinks NoSQL for Rapid Scaling & Cost-Efficiency
Freshworks Rethinks NoSQL for Rapid Scaling & Cost-EfficiencyFreshworks Rethinks NoSQL for Rapid Scaling & Cost-Efficiency
Freshworks Rethinks NoSQL for Rapid Scaling & Cost-Efficiency
 
Astute Business Solutions | Oracle Cloud Partner |
Astute Business Solutions | Oracle Cloud Partner |Astute Business Solutions | Oracle Cloud Partner |
Astute Business Solutions | Oracle Cloud Partner |
 
"Frontline Battles with DDoS: Best practices and Lessons Learned", Igor Ivaniuk
"Frontline Battles with DDoS: Best practices and Lessons Learned",  Igor Ivaniuk"Frontline Battles with DDoS: Best practices and Lessons Learned",  Igor Ivaniuk
"Frontline Battles with DDoS: Best practices and Lessons Learned", Igor Ivaniuk
 
High performance Serverless Java on AWS- GoTo Amsterdam 2024
High performance Serverless Java on AWS- GoTo Amsterdam 2024High performance Serverless Java on AWS- GoTo Amsterdam 2024
High performance Serverless Java on AWS- GoTo Amsterdam 2024
 
Poznań ACE event - 19.06.2024 Team 24 Wrapup slidedeck
Poznań ACE event - 19.06.2024 Team 24 Wrapup slidedeckPoznań ACE event - 19.06.2024 Team 24 Wrapup slidedeck
Poznań ACE event - 19.06.2024 Team 24 Wrapup slidedeck
 
Introduction of Cybersecurity with OSS at Code Europe 2024
Introduction of Cybersecurity with OSS  at Code Europe 2024Introduction of Cybersecurity with OSS  at Code Europe 2024
Introduction of Cybersecurity with OSS at Code Europe 2024
 
"Choosing proper type of scaling", Olena Syrota
"Choosing proper type of scaling", Olena Syrota"Choosing proper type of scaling", Olena Syrota
"Choosing proper type of scaling", Olena Syrota
 
zkStudyClub - LatticeFold: A Lattice-based Folding Scheme and its Application...
zkStudyClub - LatticeFold: A Lattice-based Folding Scheme and its Application...zkStudyClub - LatticeFold: A Lattice-based Folding Scheme and its Application...
zkStudyClub - LatticeFold: A Lattice-based Folding Scheme and its Application...
 
inQuba Webinar Mastering Customer Journey Management with Dr Graham Hill
inQuba Webinar Mastering Customer Journey Management with Dr Graham HillinQuba Webinar Mastering Customer Journey Management with Dr Graham Hill
inQuba Webinar Mastering Customer Journey Management with Dr Graham Hill
 
"Scaling RAG Applications to serve millions of users", Kevin Goedecke
"Scaling RAG Applications to serve millions of users",  Kevin Goedecke"Scaling RAG Applications to serve millions of users",  Kevin Goedecke
"Scaling RAG Applications to serve millions of users", Kevin Goedecke
 
"What does it really mean for your system to be available, or how to define w...
"What does it really mean for your system to be available, or how to define w..."What does it really mean for your system to be available, or how to define w...
"What does it really mean for your system to be available, or how to define w...
 
What is an RPA CoE? Session 1 – CoE Vision
What is an RPA CoE?  Session 1 – CoE VisionWhat is an RPA CoE?  Session 1 – CoE Vision
What is an RPA CoE? Session 1 – CoE Vision
 
Principle of conventional tomography-Bibash Shahi ppt..pptx
Principle of conventional tomography-Bibash Shahi ppt..pptxPrinciple of conventional tomography-Bibash Shahi ppt..pptx
Principle of conventional tomography-Bibash Shahi ppt..pptx
 
Demystifying Knowledge Management through Storytelling
Demystifying Knowledge Management through StorytellingDemystifying Knowledge Management through Storytelling
Demystifying Knowledge Management through Storytelling
 
Dandelion Hashtable: beyond billion requests per second on a commodity server
Dandelion Hashtable: beyond billion requests per second on a commodity serverDandelion Hashtable: beyond billion requests per second on a commodity server
Dandelion Hashtable: beyond billion requests per second on a commodity server
 
Biomedical Knowledge Graphs for Data Scientists and Bioinformaticians
Biomedical Knowledge Graphs for Data Scientists and BioinformaticiansBiomedical Knowledge Graphs for Data Scientists and Bioinformaticians
Biomedical Knowledge Graphs for Data Scientists and Bioinformaticians
 
Nordic Marketo Engage User Group_June 13_ 2024.pptx
Nordic Marketo Engage User Group_June 13_ 2024.pptxNordic Marketo Engage User Group_June 13_ 2024.pptx
Nordic Marketo Engage User Group_June 13_ 2024.pptx
 

第二次作業

  • 1. Student ID: U10011024 Name: Kuan-Lun Wang Exercises 1.3-7 Use the identity (j +1)3 −j 3 = 3j 2 +3j +1 and mathematical induction to prove that n j 2 = 12 + 22 + 32 + · · · + n2 = j=1 n(n + 1)(2n + 1)/6 for every positive integer n. (1)By the identity (j + 1)3 − j 3 = 3j 2 + 3j + 1. When we isolate the factor j 2, we find that j 2 = ((j + 1)3 − j 3)/3 − j − 1/3). When we sum this expression for j over the values j = 1, 2, . . . n, we obtain n tn = j2 j=1   n n n 3 3 =  ((j + 1) − j )/3 − j− 1/3 j=1 j=1 j=1 (replacing j 2 with ((j + 1) − j 3)/3 − j − 1/3) 3 = ((n + 1)3/3 − 1/3) − n(n + 1)/2 − n/3 (simplif ying a telescoping sum) = n(n + 1)(2n + 1)/6. This completes the proof by the identity (j + 1)3 − j 3 = 3j 2 + 3j + 1. (2)By mathematical induction. We can show by mathematical induction that n j 2 = j=1 n(n + 1)(2n + 1)/6 for every positive integer n. The basis step, namely, the case where n = 1, hold because 1 j 2 = j=1 n 2 1 = 1(1 + 1)(2 × 1 + 1)/6. Now, assume that j=1 j 2 = n(n + 1)(2n + 1)/6; this is the inductive hypothesis. To complete the proof, we must show, under the assumption that the inductive hypothesis is true, that n+1 j 2 = (n + j=1 1)((n+1)+1)(2(n+1)+1)/6. Using the inductive hypothesis, Home Work 02 1
  • 2. Student ID: U10011024 Name: Kuan-Lun Wang we have n+1 n j2 = j 2 + (n + 1)2 j=1 j=1 = n(n + 1)(2n + 1)/6 + (k 2 + 2k + 1) = (n + 1)((n + 1) + 1)(2(n + 1) + 1)/6 This completes both the inductive step and the proof. Exercises 1.3-34 Use mathematical induction to show that a 2n ×2n chessboard with one square missing can be covered with L-shaped pieces, where each L-shaped piece covers three square. We can show by mathematical induction that a 2n × 2n chessboard with one square missing can be covered with L- shaped pieces, where each L-shaped piece covers three square. The basis step, namely, the case where n = 1, hold because a 21 × 21 chessboard with one square missing can be covered with L-shaped pieces (since there are three squares remain- ing, in each each case the chessboard can be tiled with a L-shaped). Now, assume that a 2n × 2n chessboard with one square missing can be covered with L-shaped pieces; this is the in- ductive hypothesis. To complete the proof, we must show, under the assumption that the inductive hypothesis is true, that a 2n+1 × 2n+1 chessboard with one square missing can be covered with L-shaped pieces. We divide the 2n+1 × 2n+1 chessboard into four 2n ×2n chessboards. Using the inductive hypothesis, we can tile the remaining three 2n × 2n chess- boards so that each tiling omits the square closest to the cen- ter of the 2n+1 × 2n+1 chessboard. Lest, place an L-shaped Home Work 02 2
  • 3. Student ID: U10011024 Name: Kuan-Lun Wang piece in the center of the board such that it coves the corner square of each remaining quadrant. Now, we completes both the inductive step and the proof. Home Work 02 3