直線y = a x y=ax y = a x と直交し原点を通る直線はx + a y = 0 x+ay=0 x + a y = 0 である(a = 0 a=0 a = 0 のときはx = 0 x=0 x = 0 となる)。折れ線上でy = a x y=ax y = a x と交わる点をP P P ,x + a y = 0 x+ay=0 x + a y = 0 と交わる点をQ Q Q とする。各辺の方程式を用いるとP = { ( 3 2 a − 1 , 3 a 2 a − 1 ) ( − 1 ≦ a ≦ 0 ) , ( − 3 a + 1 , − 3 a a + 1 ) ( 0 ≦ a ≦ 1 2 ) , Q = { ( 3 a 1 − a , − 3 1 − a ) ( − 1 ≦ a ≦ − 1 2 ) , ( 2 a , − 2 ) ( − 1 2 ≦ a ≦ 1 2 ) . \displaystyle P=\begin{cases}\left(\dfrac{3}{2a-1},\dfrac{3a}{2a-1}\right)&(-1\le a\le0),\\\left(-\dfrac{3}{a+1},-\dfrac{3a}{a+1}\right)&(0\le a\le\tfrac12),\end{cases}\qquad Q=\begin{cases}\left(\dfrac{3a}{1-a},-\dfrac{3}{1-a}\right)&(-1\le a\le-\tfrac12),\\(2a,-2)&(-\tfrac12\le a\le\tfrac12).\end{cases} P = ⎩ ⎨ ⎧ ( 2 a − 1 3 , 2 a − 1 3 a ) ( − a + 1 3 , − a + 1 3 a ) ( − 1 ≦ a ≦ 0 ) , ( 0 ≦ a ≦ 2 1 ) , Q = ⎩ ⎨ ⎧ ( 1 − a 3 a , − 1 − a 3 ) ( 2 a , − 2 ) ( − 1 ≦ a ≦ − 2 1 ) , ( − 2 1 ≦ a ≦ 2 1 ) . 前者ではP P P は辺A B AB A B またはB C BC B C 上,後者ではQ Q Q は辺B C BC B C またはC D CD C D 上にある。
(1) 各場合で,原点O O O からの三角形に分け,座標と底辺・高さから面積を求める。A = ( − 1 , 1 ) , B = ( − 3 , 0 ) , C = ( − 1 , − 2 ) , D = ( 1 , − 2 ) A=(-1,1),B=(-3,0),C=(-1,-2),D=(1,-2) A = ( − 1 , 1 ) , B = ( − 3 , 0 ) , C = ( − 1 , − 2 ) , D = ( 1 , − 2 ) とする。− 1 ≦ a ≦ − 1 2 \displaystyle -1\le a\le-\tfrac12 − 1 ≦ a ≦ − 2 1 では領域はO , P , B , Q O,P,B,Q O , P , B , Q を頂点とし,S = 1 2 ( 3 y P − 3 y Q ) = 3 2 ( 3 a 2 a − 1 + 3 1 − a ) = 9 2 ( a 2 a − 1 + 1 1 − a ) . \displaystyle S=\frac12(3y_P-3y_Q)=\frac32\left(\frac{3a}{2a-1}+\frac{3}{1-a}\right)=\frac92\left(\frac{a}{2a-1}+\frac{1}{1-a}\right). S = 2 1 ( 3 y P − 3 y Q ) = 2 3 ( 2 a − 1 3 a + 1 − a 3 ) = 2 9 ( 2 a − 1 a + 1 − a 1 ) . − 1 2 ≦ a ≦ 0 \displaystyle -\tfrac12\le a\le0 − 2 1 ≦ a ≦ 0 では領域を三角形O P B , O B C , O C Q OPB,OBC,OCQ O P B , O B C , O C Q に分けられる。各面積は3 2 y P , 3 , 1 + 2 a \displaystyle \frac32y_P,3,1+2a 2 3 y P , 3 , 1 + 2 a なのでS = 3 2 ⋅ 3 a 2 a − 1 + 3 + ( 1 + 2 a ) = 4 + 2 a + 9 a 2 ( 2 a − 1 ) . \displaystyle S=\frac32\cdot\frac{3a}{2a-1}+3+(1+2a)=4+2a+\frac{9a}{2(2a-1)}. S = 2 3 ⋅ 2 a − 1 3 a + 3 + ( 1 + 2 a ) = 4 + 2 a + 2 ( 2 a − 1 ) 9 a . 0 ≦ a ≦ 1 2 \displaystyle 0\le a\le\tfrac12 0 ≦ a ≦ 2 1 では領域を三角形O P C , O C Q OPC,OCQ O P C , O C Q に分ける。座標からその面積の2倍はそれぞれ3 ( 2 − a ) a + 1 \displaystyle \frac{3(2-a)}{a+1} a + 1 3 ( 2 − a ) と2 + 4 a 2+4a 2 + 4 a であるからS = 1 2 ( 3 ( 2 − a ) a + 1 + 2 + 4 a ) . \displaystyle S=\frac12\left(\frac{3(2-a)}{a+1}+2+4a\right). S = 2 1 ( a + 1 3 ( 2 − a ) + 2 + 4 a ) . 三つの式はa = − 1 2 , 0 \displaystyle a=-\tfrac12,0 a = − 2 1 , 0 でそれぞれ一致する。
(2) 第1区間でu = 1 − a u=1-a u = 1 − a とおくと3 2 ≦ u ≦ 2 \displaystyle \tfrac32\le u\le2 2 3 ≦ u ≦ 2 であり,S = 9 2 ( u − 1 2 u − 1 + 1 u ) . \displaystyle S=\frac92\left(\frac{u-1}{2u-1}+\frac1u\right). S = 2 9 ( 2 u − 1 u − 1 + u 1 ) . 括弧内をg ( u ) g(u) g ( u ) とする。3 2 ≦ u 1 < u 2 ≦ 2 \displaystyle \tfrac32\le u_1<u_2\le2 2 3 ≦ u 1 < u 2 ≦ 2 ならg ( u 2 ) − g ( u 1 ) = ( u 2 − u 1 ) ( 1 ( 2 u 2 − 1 ) ( 2 u 1 − 1 ) − 1 u 1 u 2 ) < 0 , \displaystyle g(u_2)-g(u_1)=(u_2-u_1)\left(\frac1{(2u_2-1)(2u_1-1)}-\frac1{u_1u_2}\right)<0, g ( u 2 ) − g ( u 1 ) = ( u 2 − u 1 ) ( ( 2 u 2 − 1 ) ( 2 u 1 − 1 ) 1 − u 1 u 2 1 ) < 0 , なぜならu i > 1 u_i>1 u i > 1 より( 2 u 2 − 1 ) ( 2 u 1 − 1 ) > u 1 u 2 (2u_2-1)(2u_1-1)>u_1u_2 ( 2 u 2 − 1 ) ( 2 u 1 − 1 ) > u 1 u 2 だからである。よってこの区間でS S S はa a a とともに増加し,15 4 ≦ S ≦ 33 8 \displaystyle \frac{15}{4}\le S\le\frac{33}{8} 4 15 ≦ S ≦ 8 33 である。
第2区間でt = 1 − 2 a t=1-2a t = 1 − 2 a とおくと1 ≦ t ≦ 2 1\le t\le2 1 ≦ t ≦ 2 であり,S = 29 4 − t − 9 4 t . \displaystyle S=\frac{29}{4}-t-\frac{9}{4t}. S = 4 29 − t − 4 t 9 . 相加平均・相乗平均よりt + 9 4 t ≧ 3 \displaystyle t+\frac{9}{4t}\ge3 t + 4 t 9 ≧ 3 で,等号はt = 3 2 \displaystyle t=\tfrac32 t = 2 3 ,すなわちa = − 1 4 \displaystyle a=-\tfrac14 a = − 4 1 のときに成り立つ。したがってS ≦ 17 4 \displaystyle S\le\frac{17}{4} S ≦ 4 17 である。またS − 4 = ( 9 − 4 t ) ( t − 1 ) 4 t ≧ 0 \displaystyle S-4=\frac{(9-4t)(t-1)}{4t}\ge0 S − 4 = 4 t ( 9 − 4 t ) ( t − 1 ) ≧ 0 だからこの区間ではS ≧ 4 S\ge4 S ≧ 4 でもある。
第3区間でu = a + 1 u=a+1 u = a + 1 とおくと1 ≦ u ≦ 3 2 \displaystyle 1\le u\le\tfrac32 1 ≦ u ≦ 2 3 であり,S = 2 u − 5 2 + 9 2 u . \displaystyle S=2u-\frac52+\frac{9}{2u}. S = 2 u − 2 5 + 2 u 9 . 1 ≦ u 1 < u 2 ≦ 3 2 \displaystyle 1\le u_1<u_2\le\tfrac32 1 ≦ u 1 < u 2 ≦ 2 3 ならS ( u 2 ) − S ( u 1 ) = ( u 2 − u 1 ) ( 2 − 9 2 u 1 u 2 ) ≦ 0 , \displaystyle S(u_2)-S(u_1)=(u_2-u_1)\left(2-\frac{9}{2u_1u_2}\right)\le0, S ( u 2 ) − S ( u 1 ) = ( u 2 − u 1 ) ( 2 − 2 u 1 u 2 9 ) ≦ 0 , なぜならu 1 u 2 ≦ 9 4 \displaystyle u_1u_2\le\frac94 u 1 u 2 ≦ 4 9 だからである。よってこの区間でS S S は減少し,7 2 ≦ S ≦ 4 \displaystyle \frac72\le S\le4 2 7 ≦ S ≦ 4 である。以上より全体の最大値は17 4 \displaystyle \frac{17}{4} 4 17 (a = − 1 4 \displaystyle a=-\frac14 a = − 4 1 ),最小値は7 2 \displaystyle \frac72 2 7 (a = 1 2 \displaystyle a=\frac12 a = 2 1 )である。