A195380 - OEIS

%I #6 Mar 30 2012 18:57:45

%S 5,5,7,5,7,0,1,7,6,9,1,7,0,9,3,8,0,3,7,2,1,1,2,9,1,4,6,0,4,2,9,2,3,1,

%T 8,7,2,1,1,5,2,6,1,0,0,8,9,0,3,0,5,5,9,9,2,1,6,7,9,5,5,8,9,0,9,5,8,8,

%U 2,5,6,8,1,9,4,3,6,5,6,9,3,1,0,6,8,1,8,1,7,7,7,1,2,4,7,7,1,9,3,5

%N Decimal expansion of normalized Philo sum, Philo(ABC,I), where I=incenter of a 1,sqrt(3),sqrt(1) right triangle ABC (angles 30, 60, 90).

%C See A195284 for definitions and a general discussion.

%e Philo(ABC,I)=0.55757017691709380372112914604292318...

%t a = 1; b = Sqrt[3]; c = 2;

%t f = 2 a*b/(a + b + c);

%t x1 = Simplify[f*Sqrt[a^2 + (b + c)^2]/(b + c) ]

%t x2 = Simplify[f*Sqrt[b^2 + (c + a)^2]/(c + a) ]

%t x3 = f*Sqrt[2]

%t N[x1, 100]

%t RealDigits[%] (* (A) A195348 *)

%t N[x2, 100]

%t RealDigits[%] (* (B) A093821 *)

%t N[x3, 100]

%t RealDigits[%] (* (C) A120683 *)

%t N[(x1 + x2 + x3)/(a + b + c), 100]

%t RealDigits[%] (* A195380 *)

%Y Cf. A195284.

%K nonn,cons

%O 0,1

%A _Clark Kimberling_, Sep 17 2011