2014-10-01から1ヶ月間の記事一覧

2014-10-28

1988年東大前期理科第６問

これも「Vがその四面体の体積となる」という論理式を，mmaに RS = Reduce[ Exists[{a, b, c}, And[0 <= a, 0 <= b, 0 <= c, 0 <= S == a*b*c/(4*R), (a/(2*R))^2 + ((b^2 + c^2 - a^2)/(2*b*c))^2 == 1]], Reals] Reduce[Exists[{S, R, d, x, y, z}, And[RS,…

2014-10-27

QEPCAD B の Xk の利用例

1988年東大前期理科第３問 mmaだと https://kaigi.org/jsai/webprogram/2014/paper-768.html のような感じでしょうが，qepmaxだととなります．