点 P P P の位置ベクトルを p ⃗ = ( x , y ) \vec p=(x,y) p = ( x , y ) とする。
(1) 成分で表すと x = 2 r + s , y = r + 4 s . x=2r+s,\qquad y=r+4s. x = 2 r + s , y = r + 4 s . よって 4 x − y = 7 r , 2 y − x = 7 s , 3 x + y = 7 ( r + s ) . 4x-y=7r,\qquad 2y-x=7s,\qquad 3x+y=7(r+s). 4 x − y = 7 r , 2 y − x = 7 s , 3 x + y = 7 ( r + s ) . 条件は 4 x − y ≧ 0 , 2 y − x ≧ 0 , 7 2 ≦ 3 x + y ≦ 7 \displaystyle
4x-y\ge0,\quad 2y-x\ge0,\quad \frac72\le3x+y\le7 4 x − y ≧ 0 , 2 y − x ≧ 0 , 2 7 ≦ 3 x + y ≦ 7 となる。境界は頂点 ( 1 , 1 2 ) , ( 2 , 1 ) , ( 1 , 4 ) , ( 1 2 , 2 ) \displaystyle (1,\frac12),(2,1),(1,4),(\frac12,2) ( 1 , 2 1 ) , ( 2 , 1 ) , ( 1 , 4 ) , ( 2 1 , 2 ) をこの順に結ぶ閉四角形である。 以下の図では、塗りつぶした部分が求める領域であり、実線の境界と頂点はすべて含む。
(2) t = 1 − r − s t=1-r-s t = 1 − r − s を代入すると ( x , y ) = ( 2 r + s − 2 t , r + 4 s − 3 t ) = ( 4 r + 3 s − 2 , 4 r + 7 s − 3 ) . (x,y)=(2r+s-2t,\ r+4s-3t)=(4r+3s-2,\ 4r+7s-3). ( x , y ) = ( 2 r + s − 2 t , r + 4 s − 3 t ) = ( 4 r + 3 s − 2 , 4 r + 7 s − 3 ) . ( r , s , t ) = ( 1 , 0 , 0 ) , ( 0 , 1 , 0 ) , ( 0 , 0 , 1 ) (r,s,t)=(1,0,0),(0,1,0),(0,0,1) ( r , s , t ) = ( 1 , 0 , 0 ) , ( 0 , 1 , 0 ) , ( 0 , 0 , 1 ) に対応する点はそれぞれ ( 2 , 1 ) , ( 1 , 4 ) , ( − 2 , − 3 ) (2,1),(1,4),(-2,-3) ( 2 , 1 ) , ( 1 , 4 ) , ( − 2 , − 3 ) であり、( r , s , t ) (r,s,t) ( r , s , t ) の条件は単位和の三角形なので、その像はこの3点を頂点とする閉三角形である。
(3) v ⃗ 1 = a ⃗ , v ⃗ 2 = b ⃗ , v ⃗ 3 = c ⃗ , v ⃗ 4 = d ⃗ \vec v_1=\vec a,\vec v_2=\vec b,\vec v_3=\vec c,\vec v_4=\vec d v 1 = a , v 2 = b , v 3 = c , v 4 = d とし、λ = r + s + t + u \lambda=r+s+t+u λ = r + s + t + u とおく。1 ≦ λ ≦ 2 1\le\lambda\le2 1 ≦ λ ≦ 2 であり、q 1 = r / λ , q 2 = s / λ , q 3 = t / λ , q 4 = u / λ q_1=r/\lambda,q_2=s/\lambda,q_3=t/\lambda,q_4=u/\lambda q 1 = r / λ , q 2 = s / λ , q 3 = t / λ , q 4 = u / λ とすると q i ≧ 0 q_i\ge0 q i ≧ 0 , ∑ q i = 1 \displaystyle \sum q_i=1 ∑ q i = 1 である。したがって p ⃗ = λ ∑ i = 1 4 q i v ⃗ i = ( 2 − λ ) ∑ i = 1 4 q i v ⃗ i + ( λ − 1 ) ∑ i = 1 4 q i ( 2 v ⃗ i ) . \displaystyle
\vec p=\lambda\sum\limits _{i=1}^4q_i\vec v_i
=(2-\lambda)\sum\limits _{i=1}^4q_i\vec v_i+(\lambda-1)\sum\limits _{i=1}^4q_i(2\vec v_i). p = λ i = 1 ∑ 4 q i v i = ( 2 − λ ) i = 1 ∑ 4 q i v i + ( λ − 1 ) i = 1 ∑ 4 q i ( 2 v i ) . 右辺は v ⃗ i \vec v_i v i と 2 v ⃗ i 2\vec v_i 2 v i の凸結合である。逆に、その8点の任意の凸結合で v ⃗ i \vec v_i v i の係数を α i \alpha_i α i , 2 v ⃗ i 2\vec v_i 2 v i の係数を β i \beta_i β i とすれば、r i = α i + 2 β i ≧ 0 r_i=\alpha_i+2\beta_i\ge0 r i = α i + 2 β i ≧ 0 とおくことで 1 ≦ ∑ r i = 1 + ∑ β i ≦ 2 \displaystyle 1\le\sum r_i=1+\sum\beta_i\le2 1 ≦ ∑ r i = 1 + ∑ β i ≦ 2 となる。従って求める領域は a ⃗ , b ⃗ , c ⃗ , d ⃗ , 2 a ⃗ , 2 b ⃗ , 2 c ⃗ , 2 d ⃗ \vec a,\vec b,\vec c,\vec d,2\vec a,2\vec b,2\vec c,2\vec d a , b , c , d , 2 a , 2 b , 2 c , 2 d の凸包である。 c ⃗ = 1 5 a ⃗ + 2 5 b ⃗ + 2 5 d ⃗ \displaystyle
\vec c=\frac15\vec a+\frac25\vec b+\frac25\vec d c = 5 1 a + 5 2 b + 5 2 d より c ⃗ \vec c c は a ⃗ , b ⃗ , d ⃗ \vec a,\vec b,\vec d a , b , d の三角形内にあり、2 c ⃗ 2\vec c 2 c も 2 a ⃗ , 2 b ⃗ , 2 d ⃗ 2\vec a,2\vec b,2\vec d 2 a , 2 b , 2 d の三角形内にある。また d ⃗ = 9 17 a ⃗ + 3 17 b ⃗ + 5 17 ( 2 d ⃗ ) \displaystyle
\vec d=\frac9{17}\vec a+\frac3{17}\vec b+\frac5{17}(2\vec d) d = 17 9 a + 17 3 b + 17 5 ( 2 d ) なので d ⃗ \vec d d は a ⃗ , b ⃗ , 2 d ⃗ \vec a,\vec b,2\vec d a , b , 2 d の凸包内にある。従って凸包の頂点は a ⃗ , b ⃗ , 2 b ⃗ , 2 d ⃗ , 2 a ⃗ \vec a,\vec b,2\vec b,2\vec d,2\vec a a , b , 2 b , 2 d , 2 a であり、座標では ( 2 , 1 ) , ( 1 , 4 ) , ( 2 , 8 ) , ( 6 , 6 ) , ( 4 , 2 ) (2,1),(1,4),(2,8),(6,6),(4,2) ( 2 , 1 ) , ( 1 , 4 ) , ( 2 , 8 ) , ( 6 , 6 ) , ( 4 , 2 ) の順である。辺の直線は順に 3 x + y = 7 , y = 4 x , x + 2 y = 18 , y = 2 x − 6 , y = x 2 \displaystyle
3x+y=7,\quad y=4x,\quad x+2y=18,\quad y=2x-6,\quad y=\frac{x}{2} 3 x + y = 7 , y = 4 x , x + 2 y = 18 , y = 2 x − 6 , y = 2 x であり、領域はその内側、すなわち 3 x + y ≧ 7 , y ≦ 4 x , x + 2 y ≦ 18 , y ≧ 2 x − 6 , y ≧ x 2 \displaystyle
3x+y\ge7,\quad y\le4x,\quad x+2y\le18,\quad y\ge2x-6,\quad y\ge\frac{x}{2} 3 x + y ≧ 7 , y ≦ 4 x , x + 2 y ≦ 18 , y ≧ 2 x − 6 , y ≧ 2 x で表される。いずれも境界を含む。