Three Squares Problem

  • Level: High School 
  • Thread starter bob012345
  • Start date
10 replies · 5K views · last reply
bob012345
Gold Member
Messages
2,474
Reaction score
1,136
TL;DR
Using only elementary geometry (not even trigonometry), prove that angle C in the figure equals the sum of angles A and B.
This problem is another from Martin Gardner’s book Mathematical Circus but originates from a fourth grade extra credit question in a Moscow school long ago. It makes me wonder how America won the Space Race! The problem statement is simply;

Using only elementary geometry (not even trigonometry), prove that angle C in the figure equals the sum of angles A and B.

Three side-by-side unit squares in a row, with a diagonal line from the bottom-left corner of each square to the top-right corner of the whole figure; the angles at the bottom of the three squares are labelled A, B and C from left to right.


There are apparently dozens of proofs of this so I suggest just showing your solution and others can come up with different solutions. I selected High School because it probably is at least that level for today’s readers. Have fun!
 
Hand-drawn diagram on square grid: point P at left, Q at upper right, R below. Red line P to Q, green line P to R, blue line Q to R; angles labelled A, B, 90-B and β, with tick marks on equal sides.
The red triangle replicates the 3×1 triangle in the OP; the blue and green ones replicate the 2×1 triangle. These three triangles contribute one side each to the triangle ##PQR##.

The angle ##\angle PRQ## is a right angle, since it is constructed from the green right angled triangle's ##90-B## angle and the blue triangle's ##B## angle. The sides ##PR## and ##QR## are manifestly equal lengths, so the triangle is right angled isoceles and hence angles ##\angle QPR## and ##\angle PQR## are 45°. From the angle ##\angle QPR##, we can see that they are also equal to ##A+B##, so ##A+B=45°##. ##C## is also 45°, obvious from symmetry. Thus ##C=A+B##.
BBC News once posted a challenging geometry problem from a Chinese maths exam taken aged 16, comparing it to the British exams taken at the same age.

A Chinese colleague observed that a Chinese child would have spent a lot of time learning to do similar puzzles and would therefore have solved it faster (using geometry) than I did (using vectors). But was the time spent learning to solve those time well spent? Did it give them maths skills, or just teach them tricks for solving geometry problems that will never come up in any practical situation?
 
Last edited:
  • Like
Likes   Reactions: Lnewqban, FactChecker and bob012345
Here are some more solutions;

Hand-drawn diagram on squared grid paper: a green right isosceles triangle with a right-angle mark at the top, a brown right triangle with its base along the grid, and angles labelled A and B with double-tick equal-length marks.
Two hand-drawn geometry diagrams on squared graph paper, each showing a green triangle beside a brown right triangle, with angles labelled A and B and tick marks on equal sides.


In each case, the triangle constructed in green is similar to the triangle highlighted in brown which has angle B and is added to angle A. The sum is equal to angle C.
 
  • Like
Likes   Reactions: Steve4Physics, Gavran, Lnewqban and 2 others
bob012345 said:
Using only elementary geometry (not even trigonometry), prove that angle C in the figure equals the sum of angles A and B.
Dissection diagram on a dot grid: a green square split by a diagonal into two triangles labelled C, and red and blue squares of sides A and B, each cut into triangles and rectangles labelled A, B and A+B, showing the squares of A and B rearranged.

## C+C=A+A+B+B\implies2C=2(A+B)\implies C=A+B ##
 
  • Like
Likes   Reactions: bob012345 and Lnewqban
The solution below is not mine – I saw it on YouTube, here. This is just my summary.

1. Add 3 squares and consider the triangle containing angle B:
Grid of three squares by two, with a shaded blue triangle in the bottom right whose vertex at the bottom left is labelled B.


2. Add 2 (reflected) copies of the triangle:
Diagram of a rectangle divided by three squares and two copies of a triangle, with labels 90°-B, B, B and B marking angles of the blue and white triangles.


3. Note, below, that triangle PQR (red) is right-angled (at P) and isosceles, so has angles ##90^{\circ} – 45^{\circ} – 45^{\circ}##.
Geometry diagram of three squares with a red triangle PQR joining corners P, Q and R; angles labelled 90°-B, B, 45°, B and A.

4. From the original question we know angle C = ##45^{\circ}##. So,inspecting the bottom left corner, we see that A + C +B = ##90^{\circ}## so A+B = C (= ##45^{\circ}##).
 
  • Like
Likes   Reactions: bob012345 and Lnewqban
bob012345 said:
There are apparently dozens of proofs of this so I suggest just showing your solution and others can come up with different solutions. I selected High School because it probably is at least that level for today’s readers. Have fun!
Based on the previous posts, it can also be shown that A+B+C=D for the angles A, B, C, and D in the next picture.
Geometric diagram of a horizontal line with a point at its right end, joined by four rays to points along the line, labelled A, B, C and D from left to right, forming angles at the apex.

Geometric construction on a square grid: a black triangle with a red segment from its apex, a line of black dots along a red diagonal, a blue horizontal segment with dots, and green and orange angle marks at the left vertex.


Or A+B+C+D=E for the angles A, B, C, D, and E in the next picture.
Geometry diagram: a horizontal baseline with a point at the top right joined by straight lines to several points along the baseline, with angles labelled A, B, C, D and E at the baseline points.
 
  • Like
Likes   Reactions: Lnewqban and bob012345
Here is another way but it’s just a variation of @coquelicot above in post #7 but the lengths are not obvious so they must be calculated.

Hand-drawn diagram on grid paper: a rectangle with corners O, N and M, lines from O and from a point on the bottom edge rising to M, point P on a vertical line, and a perpendicular from P to point Q on segment MQ, with angles A, B and C marked at the base.

Drop a perpendicular at point Q. Since point P is at the midpoint of the vertical line the distance PQ is $$\frac{1}{2\sqrt{2}}$$

Then the distance QM is $$\sqrt{2}-\frac{1}{2\sqrt{2}}= \frac{3}{2\sqrt{2}}$$
then the triangle formed from points PQM is similar to that formed with angle A. So angle PMQ is angle A but angle PMQ=A=C-B so A+B=C.
 
  • Like
Likes   Reactions: Gavran and Lnewqban
bob012345 said:
TL;DR: Using only elementary geometry (not even trigonometry), prove that angle C in the figure equals the sum of angles A and B.
The equation ## C=A+B ## is actually Euler's formula
$$ \arctan\frac12+\arctan\frac13=\frac\pi4 $$, and there are three more formulas of this kind.
Hermann's formula
$$ 2\arctan\frac12-\arctan\frac17=\frac\pi4 $$
, Hutton's or Vega's formula
$$ 2\arctan\frac13+\arctan\frac17=\frac\pi4 $$
, and Machin's formula
$$ 4\arctan\frac15-\arctan\frac1{239}=\frac\pi4 $$.
Hermann's formula and Hutton's formula can also be easily proved by using the approach presented in the above posts.

Hermann's formula
Geometric construction on a square grid: points A, B, C, D, E, F, G with segments from A forming angles, C above B on the right, E above D, and F and G along a line from A.

## \tan\measuredangle BAC=1/7 ##
## \tan\measuredangle DAE=1/2 ##
## \tan\measuredangle EAF=1/2 ##
## \measuredangle DAE+\measuredangle EAF-\measuredangle BAC=\measuredangle CAG ##
## \tan\measuredangle CAG=1\implies\measuredangle CAG=\pi/4 ##

Hutton's formula
Geometric construction on grid paper: point A at left with segments to F, G, D, C and B; points D, E and F stacked vertically, with A, E, and lines to G and B; segment from G down to B and from B up to C.

## \tan\measuredangle BAC=1/7 ##
## \tan\measuredangle DAE=1/3 ##
## \tan\measuredangle EAF=1/3 ##
## \measuredangle DAE+\measuredangle EAF+\measuredangle BAC=\measuredangle BAG ##
## \tan\measuredangle BAG=1\implies\measuredangle BAG=\pi/4 ##

It would be hard to use this method in the case of Machin's formula because of ## \arctan (1/239) ##.
 
Last edited:
  • Like
Likes   Reactions: Lnewqban, bob012345 and Ibix
Expanding the original problem to be an ## nx1## rectangle, it turns out the angle B to add to angle A (defined by the ratio ##\large\frac{1}{n}##) to get ##\pi/4## is defined by the ratio ##\large\frac{n-1}{n+1}##. Here is an example by construction for ##n=4##.

First, construct a circle of radius ##n+1## centered on the origin and draw the line segment ##y=\large\frac{x}{n}## to intersect it.

Desmos graph of a dashed red circle centered at the origin, a blue line from the origin through the point (4, 1), and a black rectangle with corners at the origin, (4, 0), (4, 1) and (0, 1).


Then construct a circle of radius ##n-1## centered on the intersection point.


Geometric construction on a coordinate grid: a dashed red circle of radius 5 centred at the origin, a dashed green circle of radius 3 centred at (5, 0), a 4 by 1 rectangle from the origin, and a blue line from the origin to the upper point of the green circle.


Then construct a perpendicular line segment from that intersection point to the green circle.

Geometric construction on a coordinate grid with two dashed circles centered on the x-axis, a smaller green circle near the origin, and a rectangle and line segments from the origin drawn in blue.



Finally, draw the line segment from the origin to the point where that perpendicular line segment intersects the green circle. It will go through the point ##(1,1)## showing the sum of the angles is ##\large\frac{\pi}{4}##. I believe this works for any integer ##n##.

Desmos graph of a construction on a coordinate grid: a 4 by 1 black rectangle from the origin, a red dashed circle centered at the origin, two green dashed circles, and blue line segments from the origin meeting the circles.


In the original problem angle A is defined by the ratio ##\large\frac{1}{3}## so ##n=3## so angle B is defined by the ratio ##\large\frac{3-1}{3+1}=\large\frac{1}{2}##.