このディレクトリの索引
http://toro.2ch.net/test/read.cgi/tech/1276873238/797
#  問題 
#  長方形ABCDの二辺ABとBCが与えられたとき(AB>BC) 
#  L=AE=BF=CF=DE=EFとなるLを求めよ。 
#  A■■■■■■■■■■■■■B 
#  ■■□□□□□□□□□□□■■ 
#  ■□■□□□□□□□□□■□■ 
#  ■□□■□□□□□□□■□□■ 
#  ■□□□E■■■■■F□□□■ 
#  ■□□■□□□□□□□■□□■ 
#  ■□■□□□□□□□□□■□■ 
#  ■■□□□□□□□□□□□■■ 
#  D■■■■■■■■■■■■■C 
#  例 
#  AB=11、BC=8のとき、L=5 
# 
# 

'長方形ABCDの二辺ABとBCが与えられたとき(AB>BC)L=AE=BF=CF=DE=EFとなるLを求めよ。'(AB,BC,L) :-
        between(0,100000,N),
        L is AB * N / 100000,
        L^2 >= 0.25 * ((BC^2) + (AB - L)^2),!.