怎么想到:要写出精确到0.001的数值,必须给出窄于0.001的上下界;令x = ( 1 + t ) / ( 1 − t ) \htmlData{tutor-start=0,tutor-end=1}{x}\htmlData{tutor-start=1,tutor-end=2}{=}\htmlData{tutor-start=2,tutor-end=3}{(}\htmlData{tutor-start=3,tutor-end=4}{1}\htmlData{tutor-start=4,tutor-end=5}{+}\htmlData{tutor-start=5,tutor-end=6}{t}\htmlData{tutor-start=6,tutor-end=7}{)}\htmlData{tutor-start=7,tutor-end=8}{/}\htmlData{tutor-start=8,tutor-end=9}{(}\htmlData{tutor-start=9,tutor-end=10}{1}\htmlData{tutor-start=10,tutor-end=11}{-}\htmlData{tutor-start=11,tutor-end=12}{t}\htmlData{tutor-start=12,tutor-end=13}{)} x = ( 1 + t ) / ( 1 − t ) 可把∫ 1 2 d x / x \int_{\htmlData{tutor-start=6,tutor-end=7}{1}}^{\htmlData{tutor-start=10,tutor-end=11}{2}}\htmlData{tutor-start=12,tutor-end=13}{d}\htmlData{tutor-start=13,tutor-end=14}{x}\htmlData{tutor-start=14,tutor-end=15}{/}\htmlData{tutor-start=15,tutor-end=16}{x} ∫ 1 2 d x / x 化为在0 ≤ t ≤ 1 / 3 \htmlData{tutor-start=0,tutor-end=1}{0}\htmlData{tutor-start=1,tutor-end=5}{\le }\htmlData{tutor-start=5,tutor-end=6}{t}\htmlData{tutor-start=6,tutor-end=9}{\le}\htmlData{tutor-start=9,tutor-end=10}{1}\htmlData{tutor-start=10,tutor-end=11}{/}\htmlData{tutor-start=11,tutor-end=12}{3} 0 ≤ t ≤ 1 / 3 上快速收敛的几何级数。
为什么从这里入手:目标是“识别结构并建立关系”,而“怎么想到:要写出精确到0.001的数值,必须给出窄于0.001的上下界;令x = ( 1 + t ) / ( 1 − t ) \htmlData{tutor-start=0,tutor-end=1}{x}\htmlData{tutor-start=1,tutor-end=2}{=}\htmlData{tutor-start=2,tutor-end=3}{(}\htmlData{tutor-start=3,tutor-end=4}{1}\htmlData{tutor-start=4,tutor-end=5}{+}\htmlData{tutor-start=5,tutor-end=6}{t}\htmlData{tutor-start=6,tutor-end=7}{)}\htmlData{tutor-start=7,tutor-end=8}{/}\htmlData{tutor-start=8,tutor-end=9}{(}\htmlData{tutor-start=9,tutor-end=10}{1}\htmlData{tutor-start=10,tutor-end=11}{-}\htmlData{tutor-start=11,tutor-end=12}{t}\htmlData{tutor-start=12,tutor-end=13}{)} x = ( 1 + t ) / ( 1 − t ) 可把∫ 1 2 d x / x \int_{\htmlData{tutor-start=6,tutor-end=7}{1}}^{\htmlData{tutor-start=10,tutor-end=11}{2}}\htmlData{tutor-start=12,tutor-end=13}{d}\htmlData{tutor-start=13,tutor-end=14}{x}\htmlData{tutor-start=14,tutor-end=15}{/}\htmlData{tutor-start=15,tutor-end=16}{x} ∫ 1 2 d x / x 化为在0 ≤ t ≤ 1 / 3 \htmlData{tutor-start=0,tutor-end=1}{0}\htmlData{tutor-start=1,tutor-end=5}{\le }\htmlData{tutor-start=5,tutor-end=6}{t}\htmlData{tutor-start=6,tutor-end=9}{\le}\htmlData{tutor-start=9,tutor-end=10}{1}\htmlData{tutor-start=10,tutor-end=11}{/}\htmlData{tutor-start=11,tutor-end=12}{3} 0 ≤ t ≤ 1 / 3 上快速收敛的几何级数。”恰好给出了它所缺的前置量或等价关系。先把这条信息写成可计算的等式,后续只需沿等价变形逐步推进;若跳过这一步,就无法说明答案为何由题设唯一确定。
详细展开:由换元x = ( 1 + t ) / ( 1 − t ) \htmlData{tutor-start=0,tutor-end=1}{x}\htmlData{tutor-start=1,tutor-end=2}{=}\htmlData{tutor-start=2,tutor-end=3}{(}\htmlData{tutor-start=3,tutor-end=4}{1}\htmlData{tutor-start=4,tutor-end=5}{+}\htmlData{tutor-start=5,tutor-end=6}{t}\htmlData{tutor-start=6,tutor-end=7}{)}\htmlData{tutor-start=7,tutor-end=8}{/}\htmlData{tutor-start=8,tutor-end=9}{(}\htmlData{tutor-start=9,tutor-end=10}{1}\htmlData{tutor-start=10,tutor-end=11}{-}\htmlData{tutor-start=11,tutor-end=12}{t}\htmlData{tutor-start=12,tutor-end=13}{)} x = ( 1 + t ) / ( 1 − t ) ,ln 2 = 2 ∫ 0 1 / 3 d t / ( 1 − t 2 ) \ln\htmlData{tutor-start=3,tutor-end=4}{2}\htmlData{tutor-start=4,tutor-end=5}{=}\htmlData{tutor-start=5,tutor-end=6}{2}\int_{\htmlData{tutor-start=12,tutor-end=13}{0}}^{\htmlData{tutor-start=16,tutor-end=17}{1}\htmlData{tutor-start=17,tutor-end=18}{/}\htmlData{tutor-start=18,tutor-end=19}{3}}\htmlData{tutor-start=20,tutor-end=21}{d}\htmlData{tutor-start=21,tutor-end=22}{t}\htmlData{tutor-start=22,tutor-end=23}{/}\htmlData{tutor-start=23,tutor-end=24}{(}\htmlData{tutor-start=24,tutor-end=25}{1}\htmlData{tutor-start=25,tutor-end=26}{-}\htmlData{tutor-start=26,tutor-end=27}{t}^{\htmlData{tutor-start=29,tutor-end=30}{2}}\htmlData{tutor-start=31,tutor-end=32}{)} ln 2 = 2 ∫ 0 1 / 3 d t / ( 1 − t 2 ) 。利用恒等式1 / ( 1 − t 2 ) = 1 + t 2 + t 4 + t 6 + t 8 / ( 1 − t 2 ) \htmlData{tutor-start=0,tutor-end=1}{1}\htmlData{tutor-start=1,tutor-end=2}{/}\htmlData{tutor-start=2,tutor-end=3}{(}\htmlData{tutor-start=3,tutor-end=4}{1}\htmlData{tutor-start=4,tutor-end=5}{-}\htmlData{tutor-start=5,tutor-end=6}{t}^{\htmlData{tutor-start=8,tutor-end=9}{2}}\htmlData{tutor-start=10,tutor-end=11}{)}\htmlData{tutor-start=11,tutor-end=12}{=}\htmlData{tutor-start=12,tutor-end=13}{1}\htmlData{tutor-start=13,tutor-end=14}{+}\htmlData{tutor-start=14,tutor-end=15}{t}^{\htmlData{tutor-start=17,tutor-end=18}{2}}\htmlData{tutor-start=19,tutor-end=20}{+}\htmlData{tutor-start=20,tutor-end=21}{t}^{\htmlData{tutor-start=23,tutor-end=24}{4}}\htmlData{tutor-start=25,tutor-end=26}{+}\htmlData{tutor-start=26,tutor-end=27}{t}^{\htmlData{tutor-start=29,tutor-end=30}{6}}\htmlData{tutor-start=31,tutor-end=32}{+}\htmlData{tutor-start=32,tutor-end=33}{t}^{\htmlData{tutor-start=35,tutor-end=36}{8}}\htmlData{tutor-start=37,tutor-end=38}{/}\htmlData{tutor-start=38,tutor-end=39}{(}\htmlData{tutor-start=39,tutor-end=40}{1}\htmlData{tutor-start=40,tutor-end=41}{-}\htmlData{tutor-start=41,tutor-end=42}{t}^{\htmlData{tutor-start=44,tutor-end=45}{2}}\htmlData{tutor-start=46,tutor-end=47}{)} 1 / ( 1 − t 2 ) = 1 + t 2 + t 4 + t 6 + t 8 / ( 1 − t 2 ) ,前四项积分的两倍为L = 2 ( 1 / 3 + 1 / 81 + 1 / 1215 + 1 / 15309 ) = 0.693134 … \htmlData{tutor-start=0,tutor-end=1}{L}\htmlData{tutor-start=1,tutor-end=2}{=}\htmlData{tutor-start=2,tutor-end=3}{2}\htmlData{tutor-start=3,tutor-end=4}{(}\htmlData{tutor-start=4,tutor-end=5}{1}\htmlData{tutor-start=5,tutor-end=6}{/}\htmlData{tutor-start=6,tutor-end=7}{3}\htmlData{tutor-start=7,tutor-end=8}{+}\htmlData{tutor-start=8,tutor-end=9}{1}\htmlData{tutor-start=9,tutor-end=10}{/}\htmlData{tutor-start=10,tutor-end=11}{8}\htmlData{tutor-start=11,tutor-end=12}{1}\htmlData{tutor-start=12,tutor-end=13}{+}\htmlData{tutor-start=13,tutor-end=14}{1}\htmlData{tutor-start=14,tutor-end=15}{/}\htmlData{tutor-start=15,tutor-end=16}{1}\htmlData{tutor-start=16,tutor-end=17}{2}\htmlData{tutor-start=17,tutor-end=18}{1}\htmlData{tutor-start=18,tutor-end=19}{5}\htmlData{tutor-start=19,tutor-end=20}{+}\htmlData{tutor-start=20,tutor-end=21}{1}\htmlData{tutor-start=21,tutor-end=22}{/}\htmlData{tutor-start=22,tutor-end=23}{1}\htmlData{tutor-start=23,tutor-end=24}{5}\htmlData{tutor-start=24,tutor-end=25}{3}\htmlData{tutor-start=25,tutor-end=26}{0}\htmlData{tutor-start=26,tutor-end=27}{9}\htmlData{tutor-start=27,tutor-end=28}{)}\htmlData{tutor-start=28,tutor-end=29}{=}\htmlData{tutor-start=29,tutor-end=30}{0}\htmlData{tutor-start=30,tutor-end=31}{.}\htmlData{tutor-start=31,tutor-end=32}{6}\htmlData{tutor-start=32,tutor-end=33}{9}\htmlData{tutor-start=33,tutor-end=34}{3}\htmlData{tutor-start=34,tutor-end=35}{1}\htmlData{tutor-start=35,tutor-end=36}{3}\htmlData{tutor-start=36,tutor-end=37}{4}\htmlData{tutor-start=37,tutor-end=43}{\ldots} L = 2 ( 1 / 3 + 1 / 8 1 + 1 / 1 2 1 5 + 1 / 1 5 3 0 9 ) = 0 . 6 9 3 1 3 4 … 。余项为正,且在区间内1 / ( 1 − t 2 ) ≤ 9 / 8 \htmlData{tutor-start=0,tutor-end=1}{1}\htmlData{tutor-start=1,tutor-end=2}{/}\htmlData{tutor-start=2,tutor-end=3}{(}\htmlData{tutor-start=3,tutor-end=4}{1}\htmlData{tutor-start=4,tutor-end=5}{-}\htmlData{tutor-start=5,tutor-end=6}{t}^{\htmlData{tutor-start=8,tutor-end=9}{2}}\htmlData{tutor-start=10,tutor-end=11}{)}\htmlData{tutor-start=11,tutor-end=14}{\le}\htmlData{tutor-start=14,tutor-end=15}{9}\htmlData{tutor-start=15,tutor-end=16}{/}\htmlData{tutor-start=16,tutor-end=17}{8} 1 / ( 1 − t 2 ) ≤ 9 / 8 ,故余项小于2 ⋅ ( 9 / 8 ) ∫ 0 1 / 3 t 8 d t = 1 / ( 4 ⋅ 3 9 ) < 0.000013 \htmlData{tutor-start=0,tutor-end=1}{2}\htmlData{tutor-start=1,tutor-end=6}{\cdot}\htmlData{tutor-start=6,tutor-end=7}{(}\htmlData{tutor-start=7,tutor-end=8}{9}\htmlData{tutor-start=8,tutor-end=9}{/}\htmlData{tutor-start=9,tutor-end=10}{8}\htmlData{tutor-start=10,tutor-end=11}{)}\int_{\htmlData{tutor-start=17,tutor-end=18}{0}}^{\htmlData{tutor-start=21,tutor-end=22}{1}\htmlData{tutor-start=22,tutor-end=23}{/}\htmlData{tutor-start=23,tutor-end=24}{3}}\htmlData{tutor-start=25,tutor-end=26}{t}^{\htmlData{tutor-start=28,tutor-end=29}{8}}\htmlData{tutor-start=30,tutor-end=31}{d}\htmlData{tutor-start=31,tutor-end=32}{t}\htmlData{tutor-start=32,tutor-end=33}{=}\htmlData{tutor-start=33,tutor-end=34}{1}\htmlData{tutor-start=34,tutor-end=35}{/}\htmlData{tutor-start=35,tutor-end=36}{(}\htmlData{tutor-start=36,tutor-end=37}{4}\htmlData{tutor-start=37,tutor-end=42}{\cdot}\htmlData{tutor-start=42,tutor-end=43}{3}^{\htmlData{tutor-start=45,tutor-end=46}{9}}\htmlData{tutor-start=47,tutor-end=48}{)}\htmlData{tutor-start=48,tutor-end=49}{<}\htmlData{tutor-start=49,tutor-end=50}{0}\htmlData{tutor-start=50,tutor-end=51}{.}\htmlData{tutor-start=51,tutor-end=52}{0}\htmlData{tutor-start=52,tutor-end=53}{0}\htmlData{tutor-start=53,tutor-end=54}{0}\htmlData{tutor-start=54,tutor-end=55}{0}\htmlData{tutor-start=55,tutor-end=56}{1}\htmlData{tutor-start=56,tutor-end=57}{3} 2 ⋅ ( 9 / 8 ) ∫ 0 1 / 3 t 8 d t = 1 / ( 4 ⋅ 3 9 ) < 0 . 0 0 0 0 1 3 。于是0.693134 < ln 2 < 0.693148 \htmlData{tutor-start=0,tutor-end=1}{0}\htmlData{tutor-start=1,tutor-end=2}{.}\htmlData{tutor-start=2,tutor-end=3}{6}\htmlData{tutor-start=3,tutor-end=4}{9}\htmlData{tutor-start=4,tutor-end=5}{3}\htmlData{tutor-start=5,tutor-end=6}{1}\htmlData{tutor-start=6,tutor-end=7}{3}\htmlData{tutor-start=7,tutor-end=8}{4}\htmlData{tutor-start=8,tutor-end=9}{<}\ln\htmlData{tutor-start=12,tutor-end=13}{2}\htmlData{tutor-start=13,tutor-end=14}{<}\htmlData{tutor-start=14,tutor-end=15}{0}\htmlData{tutor-start=15,tutor-end=16}{.}\htmlData{tutor-start=16,tutor-end=17}{6}\htmlData{tutor-start=17,tutor-end=18}{9}\htmlData{tutor-start=18,tutor-end=19}{3}\htmlData{tutor-start=19,tutor-end=20}{1}\htmlData{tutor-start=20,tutor-end=21}{4}\htmlData{tutor-start=21,tutor-end=22}{8} 0 . 6 9 3 1 3 4 < ln 2 < 0 . 6 9 3 1 4 8 。题给1.4142 < 2 < 1.4143 \htmlData{tutor-start=0,tutor-end=1}{1}\htmlData{tutor-start=1,tutor-end=2}{.}\htmlData{tutor-start=2,tutor-end=3}{4}\htmlData{tutor-start=3,tutor-end=4}{1}\htmlData{tutor-start=4,tutor-end=5}{4}\htmlData{tutor-start=5,tutor-end=6}{2}\htmlData{tutor-start=6,tutor-end=7}{<}\sqrt{\htmlData{tutor-start=13,tutor-end=14}{2}}\htmlData{tutor-start=15,tutor-end=16}{<}\htmlData{tutor-start=16,tutor-end=17}{1}\htmlData{tutor-start=17,tutor-end=18}{.}\htmlData{tutor-start=18,tutor-end=19}{4}\htmlData{tutor-start=19,tutor-end=20}{1}\htmlData{tutor-start=20,tutor-end=21}{4}\htmlData{tutor-start=21,tutor-end=22}{3} 1 . 4 1 4 2 < 2 < 1 . 4 1 4 3 也与e ( ln 2 ) / 2 = 2 \htmlData{tutor-start=0,tutor-end=1}{e}^{\htmlData{tutor-start=3,tutor-end=4}{(}\ln\htmlData{tutor-start=7,tutor-end=8}{2}\htmlData{tutor-start=8,tutor-end=9}{)}\htmlData{tutor-start=9,tutor-end=10}{/}\htmlData{tutor-start=10,tutor-end=11}{2}}\htmlData{tutor-start=12,tutor-end=13}{=}\sqrt{\htmlData{tutor-start=19,tutor-end=20}{2}} e ( l n 2 ) / 2 = 2 的数量级一致。