%I #10 Mar 30 2012 18:57:45
%S 6,1,8,4,6,5,8,4,3,8,4,2,6,4,9,0,8,2,4,7,3,2,1,1,4,7,8,3,9,6,1,1,1,5,
%T 5,3,7,7,2,0,7,9,8,8,3,8,0,6,0,4,3,0,6,5,1,5,9,7,9,5,0,3,5,9,6,4,2,4,
%U 3,1,5,1,9,5,0,6,4,3,2,3,9,0,3,8,1,7,9,5,4,7,6,2,1,6,0,2,6,4,4
%N Decimal expansion of shortest length, (A), of segment from side AB through incenter to side AC in right triangle ABC with sidelengths (a,b,c)=(8,15,17).
%C See A195284 for definitions and a general discussion.
%e (A)=6.18465843842649082473211478396111...
%t a = 8; b = 15; c = 17;
%t h = a (a + c)/(a + b + c); k = a*b/(a + b + c);
%t f[t_] := (t - a)^2 + ((t - a)^2) ((a*k - b*t)/(a*h - a*t))^2;
%t s = NSolve[D[f[t], t] == 0, t, 150]
%t f1 = (f[t])^(1/2) /. Part[s, 4]
%t RealDigits[%, 10, 100] (* (A) A195293 *)
%t f[t_] := (b*t/a)^2 + ((b*t/a)^2) ((a*h - a*t)/(b*t - a*k))^2
%t s = NSolve[D[f[t], t] == 0, t, 150]
%t f3 = (f[t])^(1/2) /. Part[s, 1]
%t RealDigits[%, 10, 100] (* (B) A195296 *)
%t f[t_] := (t - a)^2 + ((t - a)^2) (k/(h - t))^2
%t s = NSolve[D[f[t], t] == 0, t, 150]
%t f2 = (f[t])^(1/2) /. Part[s, 4]
%t RealDigits[%, 10, 100] (* (C) A010524 *)
%t (f1 + f2 + f3)/(a + b + c)
%t RealDigits[%, 10, 100] (* Philo(ABC,I), A195297 *)
%Y Cf. A195284, A010524, A195296, A195297.
%K nonn,cons
%O 1,1
%A _Clark Kimberling_, Sep 14 2011
|