level 2
别闹别闹心不好
楼主
想请教一下,为什么不管是式子大于0还是小于0,输出的结果都是false呢?这是什么原因?
Reduce[(-18 m t - (dA kA - dB kB + \[CapitalDelta]q +
3 t z)^2 + (\[CapitalDelta]d kf + \[CapitalDelta]q +
3 t (z + \[Beta]))^2) > 0 && \[CapitalDelta]q > 0 kA > kB >
kf && kf > 0 && kA < 1 && dA > dB > 0 && \[CapitalDelta]d > 0 &&
t > 0 && 0 < z < 1 && 0 < \[Beta] < 1 - z && 0 < z + \[Beta] < 1 &&
m > 0 && t > 0 && t > (dA kA - dB kB + \[CapitalDelta]q)/(3 z)]
Reduce[(-18 m t - (dA kA - dB kB + \[CapitalDelta]q +
3 t z)^2 + (\[CapitalDelta]d kf + \[CapitalDelta]q +
3 t (z + \[Beta]))^2) < 0 && \[CapitalDelta]q > 0 kA > kB >
kf && kf > 0 && kA < 1 && dA > dB > 0 && \[CapitalDelta]d > 0 &&
t > 0 && 0 < z < 1 && 0 < \[Beta] < 1 - z && 0 < z + \[Beta] < 1 &&
m > 0 && t > 0 && t > (dA kA - dB kB + \[CapitalDelta]q)/(3 z)]

2024年12月15日 12点12分
1
Reduce[(-18 m t - (dA kA - dB kB + \[CapitalDelta]q +
3 t z)^2 + (\[CapitalDelta]d kf + \[CapitalDelta]q +
3 t (z + \[Beta]))^2) > 0 && \[CapitalDelta]q > 0 kA > kB >
kf && kf > 0 && kA < 1 && dA > dB > 0 && \[CapitalDelta]d > 0 &&
t > 0 && 0 < z < 1 && 0 < \[Beta] < 1 - z && 0 < z + \[Beta] < 1 &&
m > 0 && t > 0 && t > (dA kA - dB kB + \[CapitalDelta]q)/(3 z)]
Reduce[(-18 m t - (dA kA - dB kB + \[CapitalDelta]q +
3 t z)^2 + (\[CapitalDelta]d kf + \[CapitalDelta]q +
3 t (z + \[Beta]))^2) < 0 && \[CapitalDelta]q > 0 kA > kB >
kf && kf > 0 && kA < 1 && dA > dB > 0 && \[CapitalDelta]d > 0 &&
t > 0 && 0 < z < 1 && 0 < \[Beta] < 1 - z && 0 < z + \[Beta] < 1 &&
m > 0 && t > 0 && t > (dA kA - dB kB + \[CapitalDelta]q)/(3 z)]
