%I #10 May 29 2019 08:37:34
%S 5,9,7,7,2,3,3,5,0,7,5,2,0,7,4,9,4,5,7,2,3,2,0,6,6,7,8,8,9,7,7,0,7,0,
%T 6,2,3,6,6,0,8,3,2,3,9,1,5,9,6,3,0,5,3,5,1,5,5,2,1,6,1,0,7,4,9,3,3,6,
%U 5,1,8,1,2,4,9,0,1,4,8,1,5,9,4,5,3,9,0,6,8,4,6,6,2,7,9,9,9,1,2,5
%N Decimal expansion of normalized Philo sum, Philo(ABC,I), where I=incenter of a 3,4,5 right triangle ABC.
%C See A195284 for a definition of Philo(ABC,I) and general discussion.
%e Philo(ABC,I)=0.59772335075207494572...
%t a = 3; b = 4; c = 5;
%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) 195284 *)
%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 A002163 *)
%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) A010466 *)
%t (f1 + f2 + f3)/(a + b + c)
%t RealDigits[%, 10, 100] (* Philo(ABC,I) A195285 *)
%Y Cf. A195284.
%K nonn,cons
%O 0,1
%A _Clark Kimberling_, Sep 14 2011
|