We call (x,y) an “m-integral point” if x,y are integers and m∣x, m∣y. By a proper translation, we may assume that the unique interior m-integral point is at (0,0). Extend AO, BO, and CO to meet the opposite sides at points D, E, and F, respectively. Denote
p=ADOD=S△ABCS△OBC,q=BEOE=S△ABCS△OCA,r=CFOF=S△ABCS△OAB.
Evidently, p+q+r=1; assume p≥q≥r>0 (so that p≥31≥m+21). Let A′, B′, and D′ be the respective symmetric points of A, B, and D about O. On the line AD, let UV be the intersection of the segments AD and D′A′, namely, U is A or D′, V is D or A′, whichever is closer to O. Since △BUV⊆△ABC, except for O, there is no m-integral point in the interior of △BUV or in the interior of UV, and neither in the symmetric △B′UV. Together, they imply that the parallelogram BUB′V
(centered at O) does not have interior m-integral points other than O. By Minkowski's theorem,
4m2≥SBUB′V=4SΔOBV=4SΔABC×min{p,1−p}×q+rq;
SΔABC≤4min{p,1−p}4m2×qq+r≤min{p,1−p}2m2.
If p>m+1m, then
OA′OD=AOOD=1−pp>m,
taking OL=m⋅OA′ on segment OD, L must be an m-integral point inside △ABC, which is contradictory.
Therefore, p≤m+1m, min{p,1−p}≥m+21, and we deduce
S△ ABC} ≤ 2m^2(m+2). □