Message Boards Message Boards

1
|
4752 Views
|
1 Reply
|
3 Total Likes
View groups...
Share
Share this post:

[?] Derive an equation for a straight line through a circle?

Posted 5 years ago

Hi all,

I'm wondering if this task can be solved through Wolfram:

===========

Derive the equation y = kx for a straight line which cuts a 90 degrees arc of the circle

x2 + y2 - 6x - 2y + 5 = 0

The line goes through the origin.

===========

I can input them separately, but can't find anywhere to input them together so that I can visualize this and find the data properties. Specifically I need to find out the number k (with decimals).

Thanks in advance for your help!

POSTED BY: Knut Johan Osa

You can complete the square to verify that you have a circle of radius $\sqrt{5}$ centered at (3,1).

x^2 + y^2 - 6 x - 2 y + 5 == (x - 3)^2 + (y - 1)^2 - 5 // Simplify
(* True *)

There are two solutions for $k$. You can use the GeometricScene functionality (new in v12) to create a nice looking scene based on geometric constraints. For example:

positivek = 
 RandomInstance[
  GeometricScene[{{o -> {0, 0}, a, b, 
     c -> {3, 1}}, {r -> Sqrt[5]}}, {circ = Circle[c, r], 
    EuclideanDistance[c, a] == EuclideanDistance[c, b], 
    EuclideanDistance[c, a] == r, 
    PlanarAngle[{a, c, b}] == 90 Degree , 
    GeometricAssertion[{o, a, b}, "Collinear"]}], RandomSeeding -> 1]
negativek = 
 RandomInstance[
  GeometricScene[{{o -> {0, 0}, a, b, 
     c -> {3, 1}}, {r -> Sqrt[5]}}, {circ = Circle[c, r], 
    EuclideanDistance[c, a] == EuclideanDistance[c, b], 
    EuclideanDistance[c, a] == r, 
    PlanarAngle[{a, c, b}] == 90 Degree , 
    GeometricAssertion[{o, a, b}, "Collinear"]}], RandomSeeding -> 4]

Circle Line Intersection

Now, you can calculate the slopes for the positive and negative case using the "Points" property of the scene.

a[[2]]/a[[1]] /. positivek["Points"] (* 1.127711849064953` *)
a[[2]]/a[[1]] /. negativek["Points"](* -0.20463492598802976` *)

If desired, you can view the GeometricScene of both arcs on single plot.

RandomInstance[
 GeometricScene[{{o -> {0, 0}, a, b, c -> {3, 1}, d, 
    e}, {r -> Sqrt[5]}}, {circ = Circle[c, r], 
   EuclideanDistance[c, a] == EuclideanDistance[c, b] == 
    EuclideanDistance[c, d] == EuclideanDistance[c, e] == r, 
   PlanarAngle[{a, c, b}] == PlanarAngle[{d, c, e}] == 90 Degree, 
   GeometricAssertion[{o, a, b}, "Collinear"], 
   GeometricAssertion[{o, d, e}, "Collinear"], 
   GeometricAssertion[{a, d}, "Distinct"]}], RandomSeeding -> 2]

Both arcs

Finally, the FindGeometricConjectures function can help you discover other geometric relationships in the scene.

FindGeometricConjectures[
 RandomInstance[
  GeometricScene[{{o -> {0, 0}, a, b, c -> {3, 1}, d, 
     e}, {r -> Sqrt[5]}}, {circ = Circle[c, r], 
    EuclideanDistance[c, a] == EuclideanDistance[c, b] == 
     EuclideanDistance[c, d] == EuclideanDistance[c, e] == r, 
    PlanarAngle[{a, c, b}] == PlanarAngle[{d, c, e}] == 90 Degree, 
    GeometricAssertion[{o, a, b}, "Collinear"], 
    GeometricAssertion[{o, d, e}, "Collinear"], 
    GeometricAssertion[{a, d}, "Distinct"]}], RandomSeeding -> 2]]

Conjectures

POSTED BY: Tim Laska
Reply to this discussion
Community posts can be styled and formatted using the Markdown syntax.
Reply Preview
Attachments
Remove
or Discard

Group Abstract Group Abstract