Let O = ( 0 , 0 ) , A = ( a , b ) , B = ( c , d ) be three points on the x y -plane such that they don't lie on the same line and a , b , c , d are all even numbers.
Find the minimum possible area of triangle O A B .
Bonus: Justify your answer with a general proof.
This section requires Javascript.
You are seeing this because something didn't load right. We suggest you, (a) try
refreshing the page, (b) enabling javascript if it is disabled on your browser and,
finally, (c)
loading the
non-javascript version of this page
. We're sorry about the hassle.
Relevant wiki: Pick's Theorem
Since the numbers a , b , c , and d are even numbers, we obtain that the boundary of the triangle contains at least the following points with integer coordinates: ( 0 , 0 ) , ( 2 a , 2 b ) , ( a , b ) , ( 2 a + b , 2 c + d ) , ( c , d ) , and ( 2 c , 2 d ) . Now, we are going to use Pick's theorem , that expresses the area of any lattice polygon by the formula A r e a ( P ) = I ( P ) + 2 1 B ( P ) − 1 , where I ( P ) is the number of lattice points interior to the polygon P , and B ( P ) is the number of lattice points on the boundary of the polygon. Therefore, for the given triangle A r e a = I ( P ) + 2 1 B ( P ) − 1 ≥ I ( P ) + 2 1 6 − 1 ≥ 2
The equality is attained by considering the triangle corresponding to O ( 0 , 0 ) , A ( 2 , 4 ) and B ( 2 , 2 ) .
Problem Loading...
Note Loading...
Set Loading...
Using the vector formula for area of a triangle, we get
Area = 2 1 ∣ ∣ ∣ ∣ ∣ O A × O B ∣ ∣ ∣ ∣ ∣ = 2 1 ∣ ∣ a d − b c ∣ ∣
Since a , b , c , d are all even, a d − b c must be a multiple of 4 , so the lowest possible non-zero value for the above expression is 2 1 ( 4 ) = 2 .
This can be attained for an infinite number of pairs of points A and B , [e.g. ( 2 , 4 ) and ( 4 , 6 ) ], including all pairs ( 2 , 2 n ) and ( 2 , 2 n + 2 ) on the line x = 2 as well as all pairs ( 2 n , 2 ) and ( 2 n + 2 , 2 ) on the line y = 2 .