鋭角三角形 ABC があり,3 つの長方形 R1,R2,R3 が以下の条件をみたします:
- 長方形 R1 のある一辺は線分 CA であり,その向かい合う辺は点 B を通る.
- 長方形 R2 のある一辺は線分 AB であり,その向かい合う辺は点 C を通る.
- 長方形 R3 のある一辺は線分 BC であり,その向かい合う辺は点 A を通る.
さらに,R1,R2 両方の辺上にあって,いずれの長方形の頂点でもない点がただ 1 つ存在するので,それを点 D とします.同様に R2,R3 に対して点 E を,R3,R1 に対して点 F をそれぞれ定めると,以下が成立しました:
Area(△BDE)=23,Area(△CEF)=24,Area(△AFD)=25.
このとき,
Area(△ABF)=x,Area(△BCD)=y,Area(△CAE)=z
なる実数 x,y,z について,それらの積 xyz を解答してください.
ただし,Area(△XYZ) で △XYZ の面積を表すものとします.