187楼畅想未来
(......)
发表于 2010-7-9 17:03
只看此人
2010年第51届国际数学奥林匹克竞赛IMO试题的部分初解
2010年51届IMO部分试题初解
第一题
解 $AA x \in R$,在(*)中用$0$代替$y$得,$f(0) = f(x)[f(0)]$.
取$x = 0$代入上式得,$f(0)([f(0)]-1) = 0.
1) 若$f(0) = 0$. $AA 0 \le x < 1, y \in R$, $f(0) = f(x)[f(y)]$.
1' $AA y \in R, [f(y)] = 0$. 可知 $AA x,y \in R$, $f([x]y) = 0$ 故$f(x) -= 0$ (&)
2' $EE y_0 \in R, [f(y_0)] != 0$. 可知$AA x \in [0,1), f(x) = 0$.
$\AA x \in R, y \in [0,1), f([x]y) = 0$. 取$[x] > y_0, y = (y_0)/([x])$,得到$[f(y_0)] = 0$矛盾!
2) 若[f(0)] = 1. 则$AA x \in R, f(x) = f(0)$. 我们任取$a \in [1,2)$, $f(x) -= a$满足要求. (&&)
综上得到(&),(&&)两解.
第二题
分析&证明
延长$AD$至$D'$,使$ID = DD'$.
$/_GDI = /_FD'I$.
故只要证明$/_FD'A = /_IEA$即$DeltaFAD' ~ DeltaEAE$.
由于$/_FAD' = /_IAE$, 只需证$AE*AF = AI*AD'$.
由$DeltaABF ~ DeltaAEC => AE*AF = AB*AC$
$DeltaABI ~ DeltaAD'C => AB*AC = AI*AD'$. #
第四题
证明
这题比较简单
$SC^2 = SA*SB = SP^2$ (*)
要证$MK = ML$,只要证$/_PCA - /_PCB = /_PAB - /_PBA$.
由(*)导角易知.