test if a plane is tangent to a sphere
The routine returns true if the plane p is tangent to the sphere s; false if they are not; and FAIL if it is unable to reach a conclusion.
In case of FAIL, if the third optional argument is given, the condition that makes p tangent to s is assigned to this argument.
The command with(geom3d,IsTangent) allows the use of the abbreviated form of this command.
Find the condition that makes the plane a⁢x+b⁢y+c⁢z+d=0 tangent to the sphere s
IsTangent: "unable to determine if 1-abs(c+d)/(a^2+b^2+c^2)^(1/2) is zero"
Hence, the condition is:
Download Help Document
What kind of issue would you like to report? (Optional)
Thank you for submitting feedback on this help document. Your feedback will be used
to improve Maple's help in the future.