20a07sin02m
次のmaximaコマンドを実行せよ。
assume(x>0,y>0,z>0) /*x,y,z>0*/;
a:2*x /* a=2*x */;
b:5/2*y /* b=5/2*y */;
c:3*z /* c=3*z */;
e1:2^x=(5/2)^y /* 2^x=(5/2)^yをe1 */;
e2:(5/2)^y=3^z /* (5/2)^y=3^zをe2 */;
e3:2^x=3^z /* 2^x=3^zをe3 */;
xa:solve(e1,x) /* e1をxで解く */;
bMa:factor(subst(xa[1],b-a)) /* b-aにxaを代入 */;
if bMa>0 then "a < b" elseif bMa=0 then "b = a" else "b < a" /* b-a>0ならb > a */;
xa:solve(e3,x) /* e3をxで解く */;
cMa:factor(subst(xa[1],c-a)) /* c-aにxaを代入 */;
if cMa>0 then "a < c" elseif cMa=0 then "c = a" else "c < a" /* c-a>0ならc > a */;
za:solve(e2,z) /* e2をzで解く */;
cMb:factor(subst(za[1],c-b)),logexpand=super,numer /* c-bにzaを代入●●● */;
if cMb>0 then "b < c" elseif cMb=0 then "c = b" else "c < b" /* c-b>0ならc > b */;
(1)●●●の「,numer」を削除するとどう変わるか、考察せよ。
(2)●●●の「,logexpand」を削除するとどう変わるか、考察せよ。