将二次函数y=x2的图象向右平移一个单位长度,再向上平移3个单位长度所得的图象解析式为( )
A:y=(x﹣1)2+3
B:y=(x+1)2+3
C:y=(x﹣1)2﹣3
D:y=(x+1)2﹣3
分析法是从要证明的结论出发,逐步寻求使结论成立的( )