OFFSET
1,1
COMMENTS
The shortest segment from one side of an angle T through a point P inside T is called the Philo line of P in T. For discussions and guides to related sequences, see A197032, A197008 and A195284.
A root of the polynomial x^3/2 -5*x^2/2 +9*x/2 -5. - R. J. Mathar, Nov 08 2022
EXAMPLE
length of Philo line: 1.481506505...; see A197153
endpoint on x axis: (3.15091, 0)
endpoint on line y=3x: (2.92984, 1.46492)
MATHEMATICA
f[t_] := (t - k*t/(k + m*t - m*h))^2 + (m*k*t/(k + m*t - m*h))^2;
g[t_] := D[f[t], t]; Factor[g[t]]
p[t_] := h^2 k + k^3 - h^3 m - h k^2 m - 3 h k t + 3 h^2 m t + 2 k t^2 - 3 h m t^2 + m t^3
m = 1/2; h = 3; k = 1; (* slope m, point (h, k) *)
t = t1 /. FindRoot[p[t1] == 0, {t1, 1, 2}, WorkingPrecision -> 100]
RealDigits[t] (* A197152 *)
{N[t], 0} (* endpoint on x axis *)
{N[k*t/(k + m*t - m*h)],
N[m*k*t/(k + m*t - m*h)]} (* endpt on line y=x/2 *)
d = N[Sqrt[f[t]], 100]
RealDigits[d] (* A197153 *)
Show[Plot[{k*(x - t)/(h - t), m*x}, {x, 0, 3.5}],
ContourPlot[(x - h)^2 + (y - k)^2 == .002, {x, 0, 4}, {y, 0, 3}],
PlotRange -> {0, 1.5}, AspectRatio -> Automatic]
CROSSREFS
KEYWORD
nonn,cons
AUTHOR
Clark Kimberling, Oct 11 2011
EXTENSIONS
Incorrect trailing digits deleted. - R. J. Mathar, Nov 08 2022
STATUS
approved