Notice on POW 2022-05 (Problem Revision)

I hope you noticed the day this problem appeared was April fool’s day. However, we sincerely apologize to the students got confused about the problem description, and we found that many students already submitted the solution corresponding to the original problem.

Hence We revise the problem as the following:

Show that there do not exist perfect squares a, b, c such that \(a^2 + b^2 = c^2\), provided that a, b, c are nonzero integers.

You should actually provide the full valid proof i.e. the solution like ‘It is the special case of some famous theorem hence it is trivial’ will not be graded. Please resubmit your solution if you already submitted the solution for the previous version.

We accept the solution until April 11 Monday, 6PM.

GD Star Rating
loading...

Solution: 2022-04 Cosine matrix

Prove or disprove the following: There exists a real \( 2 \times 2 \) matrix \( M \) such that \[
\cos M =
\begin{pmatrix}
1 & 2022 \\
0 & 1
\end{pmatrix}.
\]

The best solution was submitted by 이종민 (KAIST 물리학과 21학번, +4). Congratulations!

Here is the best solution of problem 2022-04.

Other solutions were submitted by 조유리 (문현여고 3학년, +3), 김예곤 (KAIST 수리과학과 19학번, +3), 이명규 (KAIST 전산학부 20학번, +3), 문강연 (KAIST 새내기과정학부 22학번, +3), 박기찬 (KAIST 새내기과정학부 22학번, +3), 이호빈 (KAIST 수리과학과 대학원생, +3), 김기수 (KAIST 수리과학과 18학번, +3), 여인영 (KAIST 물리학과 20학번, +3), 권민재 (KAIST 수리과학과 19학번, +3), 채지석 (KAIST 수리과학과 대학원생, +3), 하석민 (KAIST 수리과학과 17학번, +3), 박현영 (KAIST 전자및전자공학부 대학원생, +3), 강한필 (KAIST 전산학부 16학번, +3), 이재욱 (KAIST 전기및전자공학부 대학원생, +3), 나영준 (연세대학교 의학과 18학번, +3).

GD Star Rating
loading...

2022-05 squares of perfect squares

Show that there exist perfect squares a, b, c such that \(a^2 + b^2 = c^2\).

====== REVISED (2022-04-04) ======

I hope you noticed the day this problem appeared was April fool’s day. Show instead that there do not exist perfect squares a, b, c such that \(a^2 + b^2 = c^2\), provided that a, b, c are nonzero integers.

GD Star Rating
loading...

Solution: 2022-02 ordering group elements 

For any positive integer \(n \geq 2\), let \(B_n\) be the group given by the following presentation\[ B_n = < \sigma_1, \ldots, \sigma_{n-1} | \sigma_i \sigma_{i+1} \sigma_i = \sigma_{i+1} \sigma_i \sigma_{i+1}, \sigma_i \sigma_j = \sigma_j \sigma_i > \]where the first relation is for \( 1 \leq i \leq n-2 \) and the second relation is for \(|i-j| \geq 2\). Show that there exists a total order < on \(B_n\) such that for any three elements \(a, b, c\in B_n\), if \(a < b\) then \(ca < cb\). 

The best solution was submitted by 박기찬 ((KAIST 새내기과정학부 22학번, +4). Congratulations!

Here is the best solution of problem 2022-02

.

GD Star Rating
loading...

Solution: 2022-03 Sum of vectors

For \(k,n\geq 1\), let \(v_1,\dots, v_n\) be unit vectors in \(\mathbb{R}^k\). Prove that we can always choose signs \(\varepsilon_1,\dots,\varepsilon_n\in \{-1, +1\}\) such that \(|\sum_{i=1}^{n} \varepsilon_i v_i |\leq \sqrt{n} \).

The best solution was submitted by 조유리 (문현여고 3학년, +4). Congratulations!

Here is the best solution of problem 2022-03.

Other solutions were submitted by 김예곤 (KAIST 수리과학과 19학번, +3), 구재현 (KAIST 전산학부 17학번, +3), 이명규 (KAIST 전산학부 20학번, +3), 문강연 (KAIST 새내기과정학부 22학번, +3), 박기찬 (KAIST 새내기과정학부 22학번, +3), 이호빈 (KAIST 수리과학과 대학원생, +3), 김기수 (KAIST 수리과학과 18학번, +3), 윤창기 (서울대학교 수리과학부 19학번, +3), 권민재 (KAIST 수리과학과 19학번, +3), 유태윤 (KAIST 수리과학과 20학번, +3), 하석민 (KAIST 수리과학과 17학번, +3), 박현영 (KAIST 전자및전자공학부 대학원생, +3), 강한필 (KAIST 전산학부 16학번, +3), 여인영 (KAIST 물리학과 20학번, +2). Late solutions were not graded.

GD Star Rating
loading...

2022-04 Cosine matrix

Prove or disprove the following: There exists a real \( 2 \times 2 \) matrix \( M \) such that
\[
\cos M =
\begin{pmatrix}
1 & 2022 \\
0 & 1
\end{pmatrix}.
\]

GD Star Rating
loading...

2022-03 Sum of vectors

For \(k,n\geq 1\), let \(v_1,\dots, v_n\) be unit vectors in \(\mathbb{R}^k\). Prove that we can always choose signs \(\varepsilon_1,\dots,\varepsilon_n\in \{-1, +1\}\) such that \(|\sum_{i=1}^{n} \varepsilon_i v_i |\leq \sqrt{n} \).

GD Star Rating
loading...

Solution: 2022-01 Alternating series

Evaluate the following:

\[ \frac{1}{1^2 \cdot 3^3 \cdot 5^2} – \frac{1}{3^2 \cdot 5^3 \cdot 7^2} + \frac{1}{5^2 \cdot 7^3 \cdot 9^2} – \dots
\]

The best solution was submitted by 여인영 (KAIST 물리학과 20학번, +4). Congratulations!

Here is the best solution of problem 2022-01.

Other solutions were submitted by 조유리 (문현여고 3학년, +3), 김건우 (KAIST 수리과학과 17학번, +3), 김예곤 (KAIST 수리과학과 19학번, +3), 신민서 (KAIST 수리과학과 20학번, +3), 이명규 (KAIST 전산학부 20학번, +3), 조한슬 (KAIST 김재철AI대학원 대학원생, +3), 양준혁 (KAIST 수리과학과 20학번, +3), 박기찬 (KAIST 새내기과정학부 22학번, +3), 구은한 (KAIST 수리과학과 19학번, +3), 이호빈 (KAIST 수리과학과 대학원생, +3), 김기수 (KAIST 수리과학과 18학번, +3), 이종민 (KAIST 물리학과 21학번, +2). Late solutions were not graded.

GD Star Rating
loading...

2022-02 ordering group elements 

For any positive integer \(n \geq 2\), let \(B_n\) be the group given by the following presentation\[ B_n = < \sigma_1, \ldots, \sigma_{n-1} | \sigma_i \sigma_{i+1} \sigma_i = \sigma_{i+1} \sigma_i \sigma_{i+1}, \sigma_i \sigma_j = \sigma_j \sigma_i > \]where the first relation is for \( 1 \leq i \leq n-2 \) and the second relation is for \(|i-j| \geq 2\). Show that there exists a total order < on \(B_n\) such that for any three elements \(a, b, c\in B_n\), if \(a < b\) then \(ca < cb\). 

GD Star Rating
loading...