CAD demo
5 views
Skip to first unread message
Waldek Hebisch
Sep 1, 2023, 3:04:42 PM9/1/23
to fricas...@googlegroups.com
Recenty in sci.math.symbolic there was a question if
b^2 >= (a - c)^2 AND a^2 >= b^2 implies
c^2 >= (a + b)^2 OR c^2 >= (a - b)^2
That can be solved using CAD, a shown in attachement.
--
Waldek Hebisch
b^2 >= (a - c)^2 AND a^2 >= b^2 implies
c^2 >= (a + b)^2 OR c^2 >= (a - b)^2
That can be solved using CAD, a shown in attachement.
--
Waldek Hebisch
Reply all
Reply to author
Forward
0 new messages