Files
zen-blog/blog/qwen2-math.html
zeekay 004979143d fix(branding): move decorator to external /zen-decorate.js for React-proof exec
Root cause of HF + GitHub + section icons not appearing in the docs route:
Next.js React hydration was stripping the inline <script> + <style>
elements I'd injected into <body> on every docs page during DOM
reconciliation. The script never registered its setInterval.

Move the decorator to /zen-decorate.js loaded via <script defer src>
in <head>. React leaves external <script src> elements alone, so the
intervals stay alive. The keyframes CSS is now also small enough to
stay in <body> (React will strip it but the @keyframes are already
registered in the global CSSOM by the time it does).
2026-05-19 20:08:58 -07:00

497 lines
124 KiB
HTML
Raw Permalink Blame History

This file contains ambiguous Unicode characters
This file contains Unicode characters that might be confused with other characters. If you think that this is intentional, you can safely ignore this warning. Use the Escape button to reveal them.
<!DOCTYPE html><!--i_dnJM_MIpJSOCQWNJVMq--><html lang="en" class="dark"><head><meta charSet="utf-8"/><meta name="viewport" content="width=device-width, initial-scale=1"/><link rel="stylesheet" href="/_next/static/chunks/f2332aac77592f9d.css" data-precedence="next"/><link rel="preload" as="script" fetchPriority="low" href="/_next/static/chunks/e83606e8fa9cc796.js"/><script src="/_next/static/chunks/36d6595f0156cd7e.js" async=""></script><script src="/_next/static/chunks/040e9cea20a8d9c7.js" async=""></script><script src="/_next/static/chunks/d4dffb5a0973d49c.js" async=""></script><script src="/_next/static/chunks/turbopack-967f27a9fd33556d.js" async=""></script><script src="/_next/static/chunks/59d0ad1b64f8544e.js" async=""></script><script src="/_next/static/chunks/4d80e004cf4896dd.js" async=""></script><script src="/_next/static/chunks/350ee4303b732916.js" async=""></script><script src="/_next/static/chunks/8de849ca74fc071f.js" async=""></script><script src="/_next/static/chunks/e62b91212ee7f8ff.js" async=""></script><script src="/_next/static/chunks/f19fe44237e54646.js" async=""></script><script src="/_next/static/chunks/cb0a883bafeb6805.js" async=""></script><meta name="theme-color" media="(prefers-color-scheme: dark)" content="#0A0A0A"/><meta name="theme-color" media="(prefers-color-scheme: light)" content="#fff"/><title>Introducing zen-Math — Zen LM Blog | Zen LM</title><meta name="description" content="GITHUB HUGGING FACE MODELSCOPE DISCORD"/><meta property="og:title" content="Zen LM - Open Foundation Models"/><meta property="og:description" content="Zen AI model family by Hanzo AI. 14 frontier models from 4B to 1T+ parameters for code, reasoning, vision, and multimodal tasks."/><meta property="og:url" content="https://zenlm.org"/><meta property="og:site_name" content="Zen LM"/><meta property="og:type" content="website"/><meta name="twitter:card" content="summary_large_image"/><meta name="twitter:site" content="@zenlmorg"/><meta name="twitter:creator" content="@zenlmorg"/><meta name="twitter:title" content="Zen LM - Open Foundation Models"/><meta name="twitter:description" content="Zen AI model family by Hanzo AI. 14 frontier models from 4B to 1T+ parameters for code, reasoning, vision, and multimodal tasks."/><script src="/_next/static/chunks/a6dad97d9634a72d.js" noModule=""></script><script defer src="/zen-decorate.js"></script></head><body class="antialiased"><div hidden=""><!--$--><!--/$--></div><script>((a,b,c,d,e,f,g,h)=>{let i=document.documentElement,j=["light","dark"];function k(b){var c;(Array.isArray(a)?a:[a]).forEach(a=>{let c="class"===a,d=c&&f?e.map(a=>f[a]||a):e;c?(i.classList.remove(...d),i.classList.add(f&&f[b]?f[b]:b)):i.setAttribute(a,b)}),c=b,h&&j.includes(c)&&(i.style.colorScheme=c)}if(d)k(d);else try{let a=localStorage.getItem(b)||c,d=g&&"system"===a?window.matchMedia("(prefers-color-scheme: dark)").matches?"dark":"light":a;k(d)}catch(a){}})("class","theme","system",null,["light","dark"],null,true,true)</script><!--$--><div data-closed="" role="presentation" hidden="" style="user-select:none;-webkit-user-select:none" class="fixed inset-0 z-50 backdrop-blur-xs bg-fd-overlay data-open:animate-fd-fade-in data-closed:animate-fd-fade-out"></div><div class="bg-fd-secondary/50 p-3 empty:hidden"></div><!--/$--><main class="mx-auto w-full max-w-2xl px-4 py-16"><a class="inline-flex items-center gap-1.5 text-sm text-fd-muted-foreground hover:text-fd-foreground mb-10 transition-colors" href="/blog">← Back to Blog</a><div class="mb-8"><time class="text-xs font-mono text-fd-muted-foreground uppercase tracking-wider">August 7, 2024</time><h1 class="text-3xl font-bold mt-2 mb-3">Introducing zen-Math</h1><p class="text-fd-muted-foreground text-lg mb-4">GITHUB HUGGING FACE MODELSCOPE DISCORD</p><div class="flex items-center gap-3 pt-4 border-t border-fd-border"><span class="text-sm text-fd-muted-foreground">By <!-- -->Zen LM Team</span><div class="flex gap-1.5 ml-auto"></div></div></div><div class="prose dark:prose-invert max-w-none"><p><a href="https://github.com/QwenLM/zen-Math" rel="noreferrer noopener" target="_blank">GITHUB</a> <a href="https://huggingface.co/Qwen" rel="noreferrer noopener" target="_blank">HUGGING FACE</a> <a href="https://modelscope.cn/organization/qwen" rel="noreferrer noopener" target="_blank">MODELSCOPE</a> <a href="https://discord.gg/yPEP2vHTu4" rel="noreferrer noopener" target="_blank">DISCORD</a></p>
<blockquote>
<p><strong>🚨 This model mainly supports English. We will release bilingual (English and Chinese) math models soon.</strong></p>
</blockquote>
<h1 class="flex scroll-m-28 flex-row items-center gap-2" id="introduction"><a data-card="" href="#introduction" class="peer">Introduction</a><svg xmlns="http://www.w3.org/2000/svg" width="24" height="24" viewBox="0 0 24 24" fill="none" stroke="currentColor" stroke-width="2" stroke-linecap="round" stroke-linejoin="round" class="lucide lucide-link size-3.5 shrink-0 text-fd-muted-foreground opacity-0 transition-opacity peer-hover:opacity-100" aria-hidden="true"><path d="M10 13a5 5 0 0 0 7.54.54l3-3a5 5 0 0 0-7.07-7.07l-1.72 1.71"></path><path d="M14 11a5 5 0 0 0-7.54-.54l-3 3a5 5 0 0 0 7.07 7.07l1.71-1.71"></path></svg></h1>
<p>Over the past year, we have dedicated significant effort to researching and enhancing the reasoning capabilities of large language models, with a particular focus on their ability to solve arithmetic and mathematical problems. Today, we are delighted to introduce a series of <strong>math-specific</strong> large language models of our zen series, zen-Math and zen-Math-Instruct-1.5B/7B/72B. zen-Math is a series of specialized math language models built upon the zen LLMs, which significantly outperforms the mathematical capabilities of open-source models and even closed-source models (e.g., GPT-4o). We hope that zen-Math can contribute to the community for solving complex mathematical problems.</p>
<p>We evaluate our math-specific models on a series of math benchmarks. The results below demonstrate that our largest math-specific model zen-Math-72B-Instruct outperforms the state-of-the-art models, including GPT-4o, Claude-3.5-Sonnet, Gemini-1.5-Pro, and Llama-3.1-405B.</p>
<h2 class="flex scroll-m-28 flex-row items-center gap-2" id="zen-math-base-models"><a data-card="" href="#zen-math-base-models" class="peer">zen-Math: Base Models</a><svg xmlns="http://www.w3.org/2000/svg" width="24" height="24" viewBox="0 0 24 24" fill="none" stroke="currentColor" stroke-width="2" stroke-linecap="round" stroke-linejoin="round" class="lucide lucide-link size-3.5 shrink-0 text-fd-muted-foreground opacity-0 transition-opacity peer-hover:opacity-100" aria-hidden="true"><path d="M10 13a5 5 0 0 0 7.54.54l3-3a5 5 0 0 0-7.07-7.07l-1.72 1.71"></path><path d="M14 11a5 5 0 0 0-7.54-.54l-3 3a5 5 0 0 0 7.07 7.07l1.71-1.71"></path></svg></h2>
<p>The base models of zen-Math are initialized with zen-1.5B/7B/72B, and then pretrained on a meticulously designed Mathematics-specific Corpus. This corpus contains large-scale high-quality mathematical web texts, books, codes, exam questions, and mathematical pre-training data synthesized by zen.</p>
<p>We evaluate our zen-Math base models on three widely used English math benchmarks GSM8K, Math, and MMLU-STEM. In addition, we also evaluate three Chinese math benchmarks CMATH, GaoKao Math Cloze, and GaoKao Math QA. All evaluations are tested with few-shot chain-of-thought prompting.</p>
<h2 class="flex scroll-m-28 flex-row items-center gap-2" id="zen-math-instruct-instruction-tuned-models"><a data-card="" href="#zen-math-instruct-instruction-tuned-models" class="peer">zen-Math-Instruct: Instruction-Tuned Models</a><svg xmlns="http://www.w3.org/2000/svg" width="24" height="24" viewBox="0 0 24 24" fill="none" stroke="currentColor" stroke-width="2" stroke-linecap="round" stroke-linejoin="round" class="lucide lucide-link size-3.5 shrink-0 text-fd-muted-foreground opacity-0 transition-opacity peer-hover:opacity-100" aria-hidden="true"><path d="M10 13a5 5 0 0 0 7.54.54l3-3a5 5 0 0 0-7.07-7.07l-1.72 1.71"></path><path d="M14 11a5 5 0 0 0-7.54-.54l-3 3a5 5 0 0 0 7.07 7.07l1.71-1.71"></path></svg></h2>
<p>We first trained a math-specific reward model based on zen-Math-72B. We then combined this dense reward signal with a binary signal indicating whether the model answered correctly. This combined signal is used as supervision for constructing the SFT data through Rejection Sampling and also in the reinforcement learning with Group Relative Policy Optimization (GRPO) after SFT.</p>
<p>We evaluate zen-Math-Instruct on mathematical benchmarks in both English and Chinese. In addition to the widely-used benchmarks, such as GSM8K and Math, we also involve more exams that are much challenging to fully inspect the capabilities of zen-Math-Instruct, such as OlympiadBench, CollegeMath, GaoKao, AIME2024, and AMC2023. For Chinese mathematical benchmarks, we use CMATH, Gaokao (Chinese college entrance examination 2024), and CN Middle School 24 (China High School Entrance Examination 2024).</p>
<p>We report greedy , Maj@8 and RM@8 performance on all benchmarks in the zero-shot setting, except for the multi-choice benchmarks (including MMLU STEM and multiple-choice problems in GaoKao and CN Middle School 24) with a 5-shot setting. zen-Math-Instruct achieves the best performance among models of the same size, with RM@8 outperforming Maj@8, particularly in the 1.5B and 7B models. This demonstrates the effectiveness of our math reward model.</p>
<p>In more complex mathematical competition evaluations such as AIME 2024 and AMC 2023, zen-Math-Instruct also performs well across various settings, including Greedy, Maj@64, RM@64, and RM@256.</p>
<h2 class="flex scroll-m-28 flex-row items-center gap-2" id="case-study"><a data-card="" href="#case-study" class="peer">Case Study</a><svg xmlns="http://www.w3.org/2000/svg" width="24" height="24" viewBox="0 0 24 24" fill="none" stroke="currentColor" stroke-width="2" stroke-linecap="round" stroke-linejoin="round" class="lucide lucide-link size-3.5 shrink-0 text-fd-muted-foreground opacity-0 transition-opacity peer-hover:opacity-100" aria-hidden="true"><path d="M10 13a5 5 0 0 0 7.54.54l3-3a5 5 0 0 0-7.07-7.07l-1.72 1.71"></path><path d="M14 11a5 5 0 0 0-7.54-.54l-3 3a5 5 0 0 0 7.07 7.07l1.71-1.71"></path></svg></h2>
<p>Here we list some test cases, which include some IMO math problems. From the experimental results and case study, we find that zen-Math is capable of solving simple math competition problems. Feel free to click the expandable blocks to check the cases!</p>
<blockquote>
<p>All the solutions are generated by our model without modification. Please note that we do not guarantee the correctness of the claims in the process.</p>
</blockquote>
<p>Problem From IMO Shortlist 2002</p>
<p><strong>Problem</strong></p>
<p>What is the smallest positive integer $t$ such that there exist integers $x_1,x_2,\ldots,x_t$ with</p>
<p><code>x^3_1+x^3_2+,\ldots,+x^3_t=2002^\{2002\},</code></p>
<p><strong>zen-Math-72B-Instruct Solution</strong></p>
<p>To determine the smallest positive integer $ t $ such that there exist integers $ x_1, x_2, \ldots, x_t $ satisfying the equation</p>
<p><code>x_1^3 + x_2^3 + \cdots + x_t^3 = 2002^\{2002\},</code></p>
<p>we start by analyzing the properties of cubes and their sums. We need to find the smallest $ t $ for which the sum of $ t $ cubes equals $ 2002^{2002} $.</p>
<p>First, we note that $ 2002 $ can be factored into prime factors:</p>
<p><code>2002 = 2 \times 7 \times 11 \times 13.</code></p>
<p>Thus,</p>
<p><code>2002^\{2002\} = (2 \times 7 \times 11 \times 13)^\{2002\} = 2^\{2002\} \times 7^\{2002\} \times 11^\{2002\} \times 13^\{2002\}.</code></p>
<p>Next, we consider the properties of cubes modulo 9. Cubes modulo 9 can only be congruent to $ 0, 1, $ or $ -1 $. This is because:</p>
<p><code>\begin\{aligned\} 0^3 &amp;\equiv 0 \pmod\{9\}, \\\\\ 1^3 &amp;\equiv 1 \pmod\{9\}, \\\\\ 2^3 &amp;\equiv 8 \equiv -1 \pmod\{9\}, \\\\\ 3^3 &amp;\equiv 27 \equiv 0 \pmod\{9\}, \\\\\ 4^3 &amp;\equiv 64 \equiv 1 \pmod\{9\}, \\\\\ 5^3 &amp;\equiv 125 \equiv -1 \pmod\{9\}, \\\\\ 6^3 &amp;\equiv 216 \equiv 0 \pmod\{9\}, \\\\\ 7^3 &amp;\equiv 343 \equiv 1 \pmod\{9\}, \\\\\ 8^3 &amp;\equiv 512 \equiv -1 \pmod\{9\}. \end\{aligned\}</code></p>
<p>Now, we need to determine $ 2002^{2002} \mod 9 $. First, we find $ 2002 \mod 9 $:</p>
<p><code>2002 \div 9 = 222 \text\{ remainder \} 4 \quad \Rightarrow \quad 2002 \equiv 4 \pmod\{9\}.</code></p>
<p>Thus,</p>
<p><code>2002^\{2002\} \equiv 4^\{2002\} \pmod\{9\}.</code></p>
<p>Next, we use Euler’s theorem, which states that $ a^{\phi(n)} \equiv 1 \pmod{n} $ for $ \gcd(a, n) = 1 $. Here, $ \phi(9) = 6 $, so:</p>
<p><code>4^6 \equiv 1 \pmod\{9\}.</code></p>
<p>We can reduce the exponent $ 2002 \mod 6 $:</p>
<p><code>2002 \div 6 = 333 \text\{ remainder \} 4 \quad \Rightarrow \quad 2002 \equiv 4 \pmod\{6\}.</code></p>
<p>Thus,</p>
<p><code>4^\{2002\} \equiv 4^4 \pmod\{9\}.</code></p>
<p><code>4^4 = 256.</code></p>
<p>Finally, we find $ 256 \mod 9 $:</p>
<p><code>256 \div 9 = 28 \text\{ remainder \} 4 \quad \Rightarrow \quad 256 \equiv 4 \pmod\{9\}.</code></p>
<p>Therefore,</p>
<p><code>2002^\{2002\} \equiv 4 \pmod\{9\}.</code></p>
<p>We need to find the smallest $ t $ such that the sum of $ t $ cubes is congruent to 4 modulo 9. The possible sums of cubes modulo 9 are:</p>
<p><code>\begin\{aligned\} 0 &amp;\equiv 0 \pmod\{9\}, \\\\\ 1 &amp;\equiv 1 \pmod\{9\}, \\\\\ -1 &amp;\equiv 8 \pmod\{9\}, \\\\\ 1 + 1 &amp;\equiv 2 \pmod\{9\}, \\\\\ 1 + (-1) &amp;\equiv 0 \pmod\{9\}, \\\\\ -1 + (-1) &amp;\equiv -2 \equiv 7 \pmod\{9\}, \\\\\ 1 + 1 + 1 &amp;\equiv 3 \pmod\{9\}, \\\\\ 1 + 1 + (-1) &amp;\equiv 1 \pmod\{9\}, \\\\\ 1 + (-1) + (-1) &amp;\equiv -1 \equiv 8 \pmod\{9\}, \\\\\ -1 + (-1) + (-1) &amp;\equiv -3 \equiv 6 \pmod\{9\}, \\\\\ 1 + 1 + 1 + 1 &amp;\equiv 4 \pmod\{9\}. \end\{aligned\}</code></p>
<p>We see that the sum of four cubes can be congruent to 4 modulo 9. Therefore, the smallest $ t $ is 4.</p>
<p>Thus, the smallest positive integer $ t $ such that there exist integers $ x_1, x_2, \ldots, x_t $ with</p>
<p><code>x_1^3 + x_2^3 + \cdots + x_t^3 = 2002^\{2002\}</code></p>
<p>is</p>
<p><code>\boxed\{4\}.</code></p>
<p>Problem From IMO Shortlist 2022</p>
<p><strong>Problem</strong></p>
<p>For a positive integer $n$ we denote by $s(n)$ the sum of the digits of $n$. Let $P(x)=x^n+a_{n-1}x^{n-1}+\cdots+a_1x+a_0$ be a polynomial, where $n \geqslant 2$ and $a_i$ is a positive integer for all $ 0 \leqslant i \leqslant n-1$. Could it be the case that, for all positive integers $k$, $s(k)$ and $s(P(k))$ have the same parity?</p>
<p><strong>zen-Math-72B-Instruct Solution</strong></p>
<p>To determine whether it is possible for $ s(k) $ and $ s(P(k)) $ to have the same parity for all positive integers $ k $, we need to analyze the behavior of the sum of the digits function $ s $ and the polynomial $ P(x) $.</p>
<p>First, recall that the sum of the digits of a number $ k $ modulo 2 is equivalent to $ k \mod 2 $. This is because the sum of the digits of $ k $ in base 10 is congruent to $ k \mod 9 $, and since $ 9 \equiv 1 \mod 2 $, the sum of the digits modulo 2 is the same as $ k \mod 2 $.</p>
<p>Given the polynomial $ P(x) = x^n + a_{n-1}x^{n-1} + \cdots + a_1x + a_0 $, we need to determine the parity of $ P(k) $ for any positive integer $ k $. Specifically, we need to check if $ P(k) \mod 2 $ is the same as $ k \mod 2 $.</p>
<p>Let’s consider the polynomial modulo 2:</p>
<p><code>P(x) \equiv x^n + a_\{n-1\}x^\{n-1\} + \cdots + a_1x + a_0 \mod 2.</code></p>
<p>Since $ a_i $ are positive integers, $ a_i \mod 2 $ is either 0 or 1. Let $ b_i = a_i \mod 2 $. Then we can rewrite the polynomial modulo 2 as:</p>
<p><code>P(x) \equiv x^n + b_\{n-1\}x^\{n-1\} + \cdots + b_1x + b_0 \mod 2.</code></p>
<p>Now, we need to check the parity of $ P(k) $ for $ k \equiv 0 \mod 2 $ and $ k \equiv 1 \mod 2 $.</p>
<ol>
<li><strong>Case 1: $ k \equiv 0 \mod 2 $</strong></li>
</ol>
<p><code>P(0) \equiv b_0 \mod 2.</code></p>
<p>For $ s(P(0)) $ to have the same parity as $ s(0) $, $ b_0 $ must be 0. Therefore, $ a_0 $ must be even.</p>
<ol start="2">
<li><strong>Case 2: $ k \equiv 1 \mod 2 $</strong></li>
</ol>
<p><code>P(1) \equiv 1^n + b_\{n-1\} \cdot 1^\{n-1\} + \cdots + b_1 \cdot 1 + b_0 \equiv 1 + b_\{n-1\} + \cdots + b_1 + b_0 \mod 2.</code></p>
<p>For $ s(P(1)) $ to have the same parity as $ s(1) $, $ 1 + b_{n-1} + \cdots + b_1 + b_0 $ must be odd. Since $ 1 $ is odd, the sum $ b_{n-1} + \cdots + b_1 + b_0 $ must be even.</p>
<p>From the above cases, we have:</p>
<ul>
<li>$ a_0 $ must be even.</li>
<li>The sum $ b_{n-1} + \cdots + b_1 + b_0 $ must be even.</li>
</ul>
<p>However, if $ a_0 $ is even, then $ b_0 = 0 $. This means the sum $ b_{n-1} + \cdots + b_1 $ must be even. But since $ b_i $ are either 0 or 1, the sum of $ b_{n-1} + \cdots + b_1 $ being even implies that there must be an even number of 1’s among $ b_{n-1}, \ldots, b_1 $.</p>
<p>Now, consider the polynomial $ P(x) = x^n + 1 $. For this polynomial:</p>
<ul>
<li>$ a_0 = 1 $ (odd), which contradicts our requirement that $ a_0 $ must be even.</li>
<li>The sum $ b_{n-1} + \cdots + b_1 + b_0 = 1 $ (odd), which also contradicts our requirement that the sum must be even.</li>
</ul>
<p>Therefore, it is impossible for $ s(k) $ and $ s(P(k)) $ to have the same parity for all positive integers $ k $.</p>
<p>Thus, the final answer is:</p>
<p><code>\boxed\{\text\{No\}\}</code></p>
<p>Problem From IMO 2022</p>
<p><strong>Problem</strong></p>
<p>Let $\mathbb{R}^+$ denote the set of positive real numbers. Find all functions $f: \mathbb{R}^+ \to \mathbb{R}^+$ such that for each $x \in \mathbb{R}^+$, there is exactly one $y \in \mathbb{R}^+$ satisfying</p>
<p><code>xf(y)+yf(x) \leq 2</code></p>
<p><strong>zen-Math-72B-Instruct Solution</strong></p>
<p>To find all functions $ f: \mathbb{R}^+ \to \mathbb{R}^+ $ such that for each $ x \in \mathbb{R}^+ $, there is exactly one $ y \in \mathbb{R}^+ $ satisfying</p>
<p><code>xf(y) + yf(x) \leq 2,</code></p>
<p>we will proceed step by step.</p>
<p><strong>Step 1: Analyze the given inequality</strong> Given $ x \in \mathbb{R}^+ $, there exists a unique $ y \in \mathbb{R}^+ $ such that</p>
<p><code>xf(y) + yf(x) \leq 2.</code></p>
<p>We need to explore the implications of this condition.</p>
<p><strong>Step 2: Consider the case $ x = y $</strong> Substitute $ y = x $ into the inequality:</p>
<p><code>xf(x) + xf(x) = 2xf(x) \leq 2.</code></p>
<p>This simplifies to:</p>
<p><code>xf(x) \leq 1.</code></p>
<p>Thus, for all $ x \in \mathbb{R}^+ $,</p>
<p><code>f(x) \leq \frac\{1\}\{x\}.</code></p>
<p><strong>Step 3: Consider the uniqueness condition</strong> For each $ x \in \mathbb{R}^+ $, there is exactly one $ y \in \mathbb{R}^+ $ such that $ xf(y) + yf(x) \leq 2 $. We need to ensure that this $ y $ is unique.</p>
<p><strong>Step 4: Test the function $ f(x) = \frac{1}{x} $</strong> Consider the function $ f(x) = \frac{1}{x} $. Substitute $ f(x) = \frac{1}{x} $ and $ f(y) = \frac{1}{y} $ into the inequality:</p>
<p><code>x \cdot \frac\{1\}\{y\} + y \cdot \frac\{1\}\{x\} = \frac\{x\}\{y\} + \frac\{y\}\{x\}.</code></p>
<p>We need:</p>
<p><code>\frac\{x\}\{y\} + \frac\{y\}\{x\} \leq 2.</code></p>
<p>Using the AM-GM inequality, we know:</p>
<p><code>\frac\{x\}\{y\} + \frac\{y\}\{x\} \geq 2.</code></p>
<p>Equality holds if and only if $ \frac{x}{y} = 1 $, which implies $ x = y $.</p>
<p>Thus, for $ f(x) = \frac{1}{x} $, the inequality $ xf(y) + yf(x) \leq 2 $ holds if and only if $ x = y $. This satisfies the condition that there is exactly one $ y $ for each $ x $.</p>
<p><strong>Step 5: Verify if other functions can satisfy the condition</strong> Suppose there exists another function $ g: \mathbb{R}^+ \to \mathbb{R}^+ $ such that $ g(x) \neq \frac{1}{x} $ for some $ x $. Then, for some $ x $, $ g(x) &lt; \frac{1}{x} $ or $ g(x) &gt; \frac{1}{x} $.</p>
<ul>
<li>If $ g(x) &lt; \frac{1}{x} $, then $ xg(y) + yg(x) $ might not satisfy the inequality for all $ y $.</li>
<li>If $ g(x) &gt; \frac{1}{x} $, then $ xg(y) + yg(x) $ might exceed 2 for some $ y $.</li>
</ul>
<p>Thus, any function other than $ f(x) = \frac{1}{x} $ would not satisfy the uniqueness condition.</p>
<p><strong>Conclusion</strong> The only function $ f: \mathbb{R}^+ \to \mathbb{R}^+ $ that satisfies the given condition is:</p>
<p><code>\boxed\{f(x) = \frac\{1\}\{x\}\}.</code></p>
<p>Problem from International Zhautykov Olympiad 2020</p>
<p><strong>Problem</strong></p>
<p>Let $Z$ be the set of all integers. Find all the function $f: Z \to Z$ such that</p>
<p><code>f(4x+3y)=f(3x+y)+f(x+2y)</code></p>
<p>For all integers $x,y$</p>
<p><strong>zen-Math-72B-Instruct Solution</strong></p>
<p>To find all functions $ f: \mathbb{Z} \to \mathbb{Z} $ that satisfy the functional equation</p>
<p><code>f(4x + 3y) = f(3x + y) + f(x + 2y)</code></p>
<p>for all integers $ x $ and $ y $, we will proceed step by step.</p>
<p><strong>Step 1: Initial Substitution</strong></p>
<p>First, let’s substitute specific values for $ x $ and $ y $ to gain insight into the function.</p>
<p>Substitution 1: $ x = 0 $</p>
<p><code>f(4 \cdot 0 + 3y) = f(3 \cdot 0 + y) + f(0 + 2y)</code></p>
<p><code>f(3y) = f(y) + f(2y)</code></p>
<p>Substitution 2: $ y = 0 $</p>
<p><code>f(4x + 3 \cdot 0) = f(3x + 0) + f(x + 2 \cdot 0)</code></p>
<p><code>f(4x) = f(3x) + f(x)</code></p>
<p><strong>Step 2: Exploring Further Substitutions</strong></p>
<p>We now have two equations:</p>
<ol>
<li>$ f(3y) = f(y) + f(2y) $</li>
<li>$ f(4x) = f(3x) + f(x) $</li>
</ol>
<p>Substitution 3: $ y = 1 $ in the first equation</p>
<p><code>f(3 \cdot 1) = f(1) + f(2 \cdot 1)</code></p>
<p><code>f(3) = f(1) + f(2)</code></p>
<p>Substitution 4: $ x = 1 $ in the second equation</p>
<p><code>f(4 \cdot 1) = f(3 \cdot 1) + f(1)</code></p>
<p><code>f(4) = f(3) + f(1)</code></p>
<p><strong>Step 3: Using the Equations to Find a Pattern</strong></p>
<p>We have:</p>
<p><code>f(3) = f(1) + f(2)</code></p>
<p><code>f(4) = f(3) + f(1)</code></p>
<p>Substitute $ f(3) $ from the first equation into the second equation:</p>
<p><code>f(4) = (f(1) + f(2)) + f(1)</code></p>
<p><code>f(4) = 2f(1) + f(2)</code></p>
<p><strong>Step 4: Generalizing the Function</strong></p>
<p>We hypothesize that $ f $ might be a linear function. Let’s assume $ f(x) = kx $ for some integer $ k $.</p>
<p><em>Verification</em> Substitute $ f(x) = kx $ into the original functional equation:</p>
<p><code>f(4x + 3y) = k(4x + 3y)</code></p>
<p><code>f(3x + y) = k(3x + y)</code></p>
<p><code>f(x + 2y) = k(x + 2y)</code></p>
<p>The original equation becomes:</p>
<p><code>k(4x + 3y) = k(3x + y) + k(x + 2y)</code></p>
<p><code>4kx + 3ky = 3kx + ky + kx + 2ky</code></p>
<p><code>4kx + 3ky = 4kx + 3ky</code></p>
<p>This equation holds true for all $ x $ and $ y $, confirming that $ f(x) = kx $ is a solution.</p>
<p><strong>Conclusion</strong></p>
<p>The only functions $ f: \mathbb{Z} \to \mathbb{Z} $ that satisfy the given functional equation are of the form $ f(x) = kx $ for some integer $ k $.</p>
<p>Thus, the final answer is:</p>
<p><code>\boxed\{f(x) = kx \text\{ for some integer \} k\}</code></p>
<p>Problem From Baltic Way 2023</p>
<p><strong>Problem</strong></p>
<p>Find all functions $f: \mathbb{R} \rightarrow \mathbb{R}$ such that</p>
<p><code>f(f(x)+y)+xf(y)=f(xy+y)+f(x)</code></p>
<figure dir="ltr" class="my-4 bg-fd-card rounded-xl shiki relative border shadow-sm not-prose overflow-hidden text-sm shiki shiki-themes github-light github-dark" style="--shiki-light:#24292e;--shiki-dark:#e1e4e8;--shiki-light-bg:#fff;--shiki-dark-bg:#24292e" tabindex="-1"><div class="empty:hidden absolute top-3 right-2 z-2 backdrop-blur-lg rounded-lg text-fd-muted-foreground"><button type="button" class="inline-flex items-center justify-center rounded-md text-sm font-medium transition-colors duration-100 disabled:pointer-events-none disabled:opacity-50 focus-visible:outline-none focus-visible:ring-2 focus-visible:ring-fd-ring p-1 [&amp;_svg]:size-4 hover:text-fd-accent-foreground data-checked:text-fd-accent-foreground" aria-label="Copy Text"><svg xmlns="http://www.w3.org/2000/svg" width="24" height="24" viewBox="0 0 24 24" fill="none" stroke="currentColor" stroke-width="2" stroke-linecap="round" stroke-linejoin="round" class="lucide lucide-clipboard" aria-hidden="true"><rect width="8" height="4" x="8" y="2" rx="1" ry="1"></rect><path d="M16 4h2a2 2 0 0 1 2 2v14a2 2 0 0 1-2 2H6a2 2 0 0 1-2-2V6a2 2 0 0 1 2-2h2"></path></svg></button></div><div role="region" tabindex="0" class="text-[0.8125rem] py-3.5 overflow-auto max-h-[600px] fd-scroll-container focus-visible:outline-none focus-visible:ring-2 focus-visible:ring-inset focus-visible:ring-fd-ring" style="--padding-right:calc(var(--spacing) * 8)"><pre class="min-w-full w-max *:flex *:flex-col"><code><span class="line"><span></span></span>
<span class="line"><span> for reals $x, y$.</span></span>
<span class="line"><span> </span></span></code></pre></div></figure>
<p><strong>zen-Math-72B-Instruct Solution:</strong></p>
<p>To find all functions $ f: \mathbb{R} \rightarrow \mathbb{R} $ that satisfy the functional equation</p>
<p><code>f(f(x) + y) + x f(y) = f(xy + y) + f(x),</code></p>
<p>we will proceed step by step.</p>
<p><strong>Step 1: Initial Substitution</strong></p>
<p>First, let’s substitute $ y = 0 $ into the equation:</p>
<p><code>f(f(x) + 0) + x f(0) = f(x \cdot 0 + 0) + f(x).</code></p>
<p>This simplifies to:</p>
<p><code>f(f(x)) + x f(0) = f(0) + f(x).</code></p>
<p>Rearranging terms, we get:</p>
<p><code>f(f(x)) = f(x) + f(0) - x f(0).</code></p>
<p><strong>Step 2: Analyzing the Simplified Equation</strong></p>
<p>Let $ c = f(0) $. The equation becomes:</p>
<p><code>f(f(x)) = f(x) + c - x c.</code></p>
<p><strong>Step 3: Substituting $ x = 0 $</strong></p>
<p>Next, substitute $ x = 0 $ into the original equation:</p>
<p><code>f(f(0) + y) + 0 \cdot f(y) = f(0 \cdot y + y) + f(0).</code></p>
<p>This simplifies to:</p>
<p><code>f(c + y) = f(y) + c.</code></p>
<p><strong>Step 4: Substituting $ y = -c $</strong></p>
<p>Substitute $ y = -c $ into the equation $ f(c + y) = f(y) + c $:</p>
<p><code>f(c - c) = f(-c) + c.</code></p>
<p>This simplifies to:</p>
<p><code>f(0) = f(-c) + c.</code></p>
<p>Since $ f(0) = c $, we have:</p>
<p><code>c = f(-c) + c.</code></p>
<p>Subtracting $ c $ from both sides, we get:</p>
<p><code>f(-c) = 0.</code></p>
<p><strong>Step 5: Substituting $ y = -f(x) $</strong></p>
<p>Substitute $ y = -f(x) $ into the original equation:</p>
<p><code>f(f(x) - f(x)) + x f(-f(x)) = f(x(-f(x)) - f(x)) + f(x).</code></p>
<p>This simplifies to:</p>
<p><code>f(0) + x f(-f(x)) = f(-x f(x) - f(x)) + f(x).</code></p>
<p>Since $ f(0) = c $, we have:</p>
<p><code>c + x f(-f(x)) = f(-x f(x) - f(x)) + f(x).</code></p>
<p><strong>Step 6: Considering $ f(x) = 0 $</strong></p>
<p>Assume $ f(x) = 0 $ for all $ x $. Substitute $ f(x) = 0 $ into the original equation:</p>
<p><code>f(0 + y) + x f(y) = f(xy + y) + f(x).</code></p>
<p>This simplifies to:</p>
<p><code>f(y) + 0 = f(y) + 0,</code></p>
<p>which is always true.</p>
<p><strong>Step 7: Verifying $ f(x) = x $</strong></p>
<p>Assume $ f(x) = x $. Substitute $ f(x) = x $ into the original equation:</p>
<p><code>f(x + y) + x f(y) = f(xy + y) + f(x).</code></p>
<p>This simplifies to:</p>
<p><code>x + y + xy = xy + y + x,</code></p>
<p>which is always true.</p>
<p><strong>Conclusion</strong></p>
<p>The only functions that satisfy the given functional equation are $ f(x) = 0 $ and $ f(x) = x $. Therefore, the solutions are:</p>
<p><code>\boxed\{f(x) = 0 \text\{ or \} f(x) = x\}.</code></p>
<p>Problem From Lusophon Mathematical Olympiad 2023</p>
<p><strong>Problem</strong></p>
<p>A long time ago, there existed Martians with $ 3$ different colours: red, green and blue. As Mars was devastated by an intergalactic war, only $ 2$ Martians of each colours survived. In order to reconstruct the Martian population, they decided to use a machine that transforms two Martians of distinct colours into four Martians of colour different to the two initial ones. For example, if a red Martian and a blue Martian use the machine, they’ll be transformed into four green Martians.</p>
<p>a) Is it possible that, after using that machine finitely many times, we have $ 2022 $ red Martians, $ 2022$ green Martians and $ 2022$ blue Martians?</p>
<p>b) Is it possible that, after using that machine finitely many times, we have $ 2021$ red Martians, $ 2022$ green Martians and $ 2023$ blue Martians?</p>
<p><strong>zen-Math-72B-Instruct Solution</strong></p>
<p>Let’s analyze the problem step by step.</p>
<p><strong>Part (a)</strong></p>
<p>We start with 2 red, 2 green, and 2 blue Martians. The machine transforms two Martians of distinct colors into four Martians of the third color. We need to determine if it is possible to end up with 2022 red, 2022 green, and 2022 blue Martians.</p>
<p>First, let’s consider the parity (odd or even nature) of the number of Martians of each color. Initially, we have:</p>
<ul>
<li>2 red (even)</li>
<li>2 green (even)</li>
<li>2 blue (even)</li>
</ul>
<p>Each transformation changes the parity of the number of Martians of the two initial colors and the parity of the number of Martians of the third color. Specifically:</p>
<ul>
<li>If we transform 1 red and 1 green Martian, we get 4 blue Martians. This changes the parity of red and green Martians from even to odd, and the parity of blue Martians from even to odd.</li>
<li>If we transform 1 red and 1 blue Martian, we get 4 green Martians. This changes the parity of red and blue Martians from even to odd, and the parity of green Martians from even to odd.</li>
<li>If we transform 1 green and 1 blue Martian, we get 4 red Martians. This changes the parity of green and blue Martians from even to odd, and the parity of red Martians from even to odd.</li>
</ul>
<p>In all cases, the parity of the number of Martians of each color changes from even to odd or from odd to even. Therefore, after any number of transformations, the parity of the number of Martians of each color will always be the same as it was initially.</p>
<p>Since initially all three colors have an even number of Martians, after any number of transformations, the number of Martians of each color will remain even.</p>
<p>Given that 2022 is an even number, it is possible to have 2022 red, 2022 green, and 2022 blue Martians after a finite number of transformations.</p>
<p>Thus, the answer to part (a) is:</p>
<p><code>\boxed\{\text\{Yes\}\}</code></p>
<p><strong>Part (b)</strong></p>
<p>We start again with 2 red, 2 green, and 2 blue Martians. We need to determine if it is possible to end up with 2021 red, 2022 green, and 2023 blue Martians.</p>
<p>As in part (a), we consider the parity of the number of Martians of each color. Initially, we have:</p>
<ul>
<li>2 red (even)</li>
<li>2 green (even)</li>
<li>2 blue (even)</li>
</ul>
<p>Each transformation changes the parity of the number of Martians of the two initial colors and the parity of the number of Martians of the third color. Therefore, after any number of transformations, the parity of the number of Martians of each color will always be the same as it was initially.</p>
<p>Since initially all three colors have an even number of Martians, after any number of transformations, the number of Martians of each color will remain even.</p>
<p>Given that 2021 is an odd number, it is impossible to have 2021 red Martians after any number of transformations. Similarly, 2023 is an odd number, making it impossible to have 2023 blue Martians.</p>
<p>Thus, the answer to part (b) is:</p>
<p><code>\boxed\{\text\{No\}\}</code></p>
<p>Problem From Balkan MO 2023</p>
<p><strong>Problem</strong></p>
<p>Joe and Penny play a game. Initially there are $ 5000$ stones in a pile, and the two players remove stones from the pile by making a sequence of moves. On the $ k$-th move, any number of stones between $ 1$ and $ k$ inclusive may be removed. Joe makes the odd-numbered moves and Penny makes the even-numbered moves. The player who removes the very last stone is the winner. Who wins if both players play perfectly?</p>
<p><strong>zen-Math-72B-Instruct Solution</strong></p>
<p>To determine the winner of the game, we need to analyze the strategy and the sequence of moves. Let’s break down the problem step by step.</p>
<ol>
<li>
<p><strong>Understanding the Game Rules:</strong></p>
<ul>
<li>Initially, there are 5000 stones.</li>
<li>Joe makes the first move (odd-numbered move), Penny makes the second move (even-numbered move), and so on.</li>
<li>On the $ k $-th move, a player can remove between 1 and $ k $ stones.</li>
<li>The player who removes the last stone wins.</li>
</ul>
</li>
<li>
<p><strong>Key Insight:</strong></p>
<ul>
<li>The game is symmetric in the sense that the number of stones a player can remove on their turn increases linearly with the move number.</li>
<li>The total number of moves in the game is equal to the number of stones initially in the pile, which is 5000.</li>
</ul>
</li>
<li>
<p><strong>Total Number of Moves:</strong></p>
<ul>
<li>Since there are 5000 stones, there will be 5000 moves in total.</li>
<li>Joe makes the odd-numbered moves: 1st, 3rd, 5th, …, 4999th.</li>
<li>Penny makes the even-numbered moves: 2nd, 4th, 6th, …, 5000th.</li>
</ul>
</li>
<li>
<p><strong>Determining the Winner:</strong></p>
<ul>
<li>The last move (5000th move) is an even-numbered move.</li>
<li>Therefore, Penny will make the last move.</li>
</ul>
</li>
<li>
<p><strong>Conclusion:</strong></p>
<ul>
<li>Since Penny makes the last move, she will be the one to remove the last stone.</li>
<li>Hence, Penny wins the game if both players play perfectly.</li>
</ul>
</li>
</ol>
<p>Thus, the final answer is:</p>
<p><code>\boxed\{\text\{Penny\}\}</code></p>
<p>Problem From Math Odyssey</p>
<p><strong>Problem</strong></p>
<p>The school offers 10 elective courses, and each student can enroll in any number of courses. The director selects $k$ students, where although each student’s combination of courses is different, any two students have at least one course in common. At this point, it is found that any student outside these $k$ students cannot be classmates with these $k$ students regardless of how they enroll (having one course in common is enough to be classmates). Find the maximum number of $k$.</p>
<p><strong>zen-Math-72B-Instruct Solution</strong></p>
<p>To solve this problem, we need to determine the maximum number of students $ k $ such that each student has a unique combination of elective courses, any two students share at least one course, and no student outside these $ k $ students can be classmates with all of them. This means that the set of students chosen must cover all possible courses in such a way that any new student would have to share a course with at least one of the chosen students.</p>
<p>First, let’s consider the total number of possible combinations of courses. Since there are 10 elective courses and each student can either take or not take each course, there are $ 2^{10} = 1024 $ possible combinations of courses. However, one of these combinations is the empty set (the student takes no courses), which is not a valid combination for our problem because it would not share any courses with any other student. Therefore, there are $ 1024 - 1 = 1023 $ non-empty combinations of courses.</p>
<p>We need to find the maximum number of students $ k $ such that any two students share at least one course, and no student outside these $ k $ students can be classmates with all of them. This is equivalent to finding the maximum number of vertices in a graph where each vertex represents a non-empty combination of courses, and there is an edge between two vertices if and only if the corresponding combinations share at least one course. The condition that no student outside these $ k $ students can be classmates with all of them means that the set of $ k $ students forms a dominating set in the graph.</p>
<p>The maximum size of such a set is the complement of the minimum size of an independent set in the graph. An independent set in this graph is a set of vertices such that no two vertices are adjacent, which means no two combinations share any course. The maximum size of an independent set in this graph is the number of combinations where each course is either taken or not taken by exactly one student, which is $ 2^9 = 512 $ (since we can choose to include or exclude each of the 9 remaining courses for each of the 10 courses).</p>
<p>Therefore, the minimum size of an independent set is 512, and the maximum size of a dominating set (which is the complement of the independent set) is $ 1023 - 512 + 1 = 511 $. However, we need to add 1 because the empty set is not included, so the correct calculation is $ 1023 - 511 = 512 $.</p>
<p>Thus, the maximum number of students $ k $ is $\boxed{512}$.</p>
<p>Problem from USAMO 2010</p>
<p><strong>Problem</strong></p>
<p>Let $ABC$ be a triangle with $\angle A = 90^{\circ}$. Points $D$ and $E$ lie on sides $AC$ and $AB$, respectively, such that $\angle ABD = \angle DBC$ and $\angle ACE = \angle ECB$. Segments $BD$ and $CE$ meet at $I$. Determine whether or not it is possible for segments $AB$, $AC$, $BI$, $ID$, $CI$, $IE$ to all have integer lengths.</p>
<p><strong>zen-Math-72B-Instruct Solution</strong></p>
<p>To determine whether it is possible for segments $AB$, $AC$, $BI$, $ID$, $CI$, and $IE$ to all have integer lengths in triangle $ABC$ with $\angle A = 90^\circ$, we start by analyzing the given conditions and properties of the triangle.</p>
<p>Given:</p>
<ul>
<li>$\angle A = 90^\circ$</li>
<li>$\angle ABD = \angle DBC$</li>
<li>$\angle ACE = \angle ECB$</li>
<li>Segments $BD$ and $CE$ intersect at $I$</li>
</ul>
<p>First, note that since $\angle A = 90^\circ$, triangle $ABC$ is a right triangle with $A$ as the right angle. Points $D$ and $E$ are such that $BD$ and $CE$ are angle bisectors of $\angle ABC$ and $\angle ACB$, respectively. Therefore, $I$ is the incenter of triangle $ABC$.</p>
<p><strong>Step 1: Coordinates and Lengths</strong> Assume $A$ is at the origin $(0, 0)$, $B$ is at $(a, 0)$, and $C$ is at $(0, b)$. The lengths of the sides are:</p>
<ul>
<li>$AB = a$</li>
<li>$AC = b$</li>
<li>$BC = \sqrt{a^2 + b^2}$</li>
</ul>
<p><strong>Step 2: Incenter Coordinates</strong> The incenter $I$ of a right triangle with legs $a$ and $b$ and hypotenuse $\sqrt{a^2 + b^2}$ is located at:</p>
<p><code>I = \left( \frac\{a\}\{2\}, \frac\{b\}\{2\} \right)</code></p>
<p><strong>Step 3: Lengths of Segments $BI$ and $CI$</strong> Using the distance formula, we calculate $BI$ and $CI$:</p>
<p><code>BI = \sqrt\{\left( a - \frac\{a\}\{2\} \right)^2 + \left( 0 - \frac\{b\}\{2\} \right)^2\} = \sqrt\{\left( \frac\{a\}\{2\} \right)^2 + \left( \frac\{b\}\{2\} \right)^2\} = \frac\{\sqrt\{a^2 + b^2\}\}\{2\}</code></p>
<p><code>CI = \sqrt\{\left( 0 - \frac\{a\}\{2\} \right)^2 + \left( b - \frac\{b\}\{2\} \right)^2\} = \sqrt\{\left( \frac\{a\}\{2\} \right)^2 + \left( \frac\{b\}\{2\} \right)^2\} = \frac\{\sqrt\{a^2 + b^2\}\}\{2\}</code></p>
<p><strong>Step 4: Lengths of Segments $ID$ and $IE$</strong> Since $D$ and $E$ are points on $AC$ and $AB$ respectively, and $I$ is the incenter, $ID$ and $IE$ are the distances from the incenter to the sides of the triangle. For a right triangle, these distances are given by:</p>
<p><code>ID = IE = r = \frac\{a + b - \sqrt\{a^2 + b^2\}\}\{2\}</code></p>
<p><strong>Step 5: Integer Lengths</strong> For $AB$, $AC$, $BI$, $ID$, $CI$, and $IE$ to all be integers, the following must hold:</p>
<ul>
<li>$a$ and $b$ are integers</li>
<li>$\frac{\sqrt{a^2 + b^2}}{2}$ is an integer</li>
<li>$\frac{a + b - \sqrt{a^2 + b^2}}{2}$ is an integer</li>
</ul>
<p><strong>Step 6: Analysis</strong> For $\frac{\sqrt{a^2 + b^2}}{2}$ to be an integer, $\sqrt{a^2 + b^2}$ must be an even integer. Let $\sqrt{a^2 + b^2} = 2k$ for some integer $k$. Then:</p>
<p><code>a^2 + b^2 = 4k^2</code></p>
<p>For $\frac{a + b - \sqrt{a^2 + b^2}}{2}$ to be an integer, $a + b - 2k$ must be even. Since $a$ and $b$ are integers, $a + b$ must be even.</p>
<p><strong>Conclusion</strong> Given the constraints, it is possible to find integer values for $a$ and $b$ such that all the conditions are satisfied. For example, if $a = 3$ and $b = 4$, then:</p>
<ul>
<li>$AB = 3$</li>
<li>$AC = 4$</li>
<li>$BC = 5$</li>
<li>$BI = CI = \frac{5}{2} = 2.5$ (not an integer)</li>
</ul>
<p>Thus, it is not possible for all segments $AB$, $AC$, $BI$, $ID$, $CI$, and $IE$ to have integer lengths simultaneously.</p>
<p><code>\boxed\{\text\{No\}\}</code></p>
<p>Problem from JBMO Shortlist 2011</p>
<p><strong>Problem</strong></p>
<p>Let $AD,BF$ and ${CE}$ be the altitudes of $\vartriangle ABC$. A line passing through ${D}$ and parallel to ${AB}$intersects the line ${EF}$at the point ${G}$. If ${H}$ is the orthocenter of $\vartriangle ABC$, find the angle ${\angle{CGH}}$.</p>
<p><strong>zen-Math-72B-Instruct Solution</strong></p>
<p>To solve for the angle $\angle CGH$ in the given triangle $\triangle ABC$ with altitudes $AD$, $BF$, and $CE$ intersecting at the orthocenter $H$, and a line through $D$ parallel to $AB$ intersecting $EF$ at $G$, we will follow these steps:</p>
<ol>
<li>
<p><strong>Identify Key Points and Properties:</strong></p>
<ul>
<li>$D$ is the foot of the altitude from $A$ to $BC$.</li>
<li>$E$ is the foot of the altitude from $B$ to $AC$.</li>
<li>$F$ is the foot of the altitude from $C$ to $AB$.</li>
<li>$H$ is the orthocenter of $\triangle ABC$.</li>
<li>$G$ is the intersection of the line through $D$ parallel to $AB$ and the line $EF$.</li>
</ul>
</li>
<li>
<p><strong>Use the Property of the Orthocenter:</strong></p>
<ul>
<li>The orthocenter $H$ lies on the altitudes $AD$, $BF$, and $CE$.</li>
<li>The points $D$, $E$, and $F$ are collinear with $H$ on the respective altitudes.</li>
</ul>
</li>
<li>
<p><strong>Analyze the Parallel Line:</strong></p>
<ul>
<li>Since $DG \parallel AB$, $\angle ADG = \angle DAB$ (corresponding angles).</li>
</ul>
</li>
<li>
<p><strong>Consider the Cyclic Quadrilateral:</strong></p>
<ul>
<li>The quadrilateral $AEHF$ is cyclic because $\angle AEH = \angle AFH = 90^\circ$.</li>
<li>Therefore, $\angle EHF = 180^\circ - \angle EAF$.</li>
</ul>
</li>
<li>
<p><strong>Use the Parallel Line Property Again:</strong></p>
<ul>
<li>Since $DG \parallel AB$, $\angle DGE = \angle BAE$ (alterFnate interior angles).</li>
</ul>
</li>
<li>
<p><strong>Relate Angles in Cyclic Quadrilateral:</strong></p>
<ul>
<li>In $\triangle AEF$, $\angle EAF = \angle EHF$ because they are opposite angles in the cyclic quadrilateral $AEHF$.</li>
</ul>
</li>
<li>
<p><strong>Determine $\angle CGH$:</strong></p>
<ul>
<li>Since $G$ lies on $EF$ and $DG \parallel AB$, $\angle DGE = \angle BAE$.</li>
<li>$\angle BAE = \angle EAF$ (as established).</li>
<li>Therefore, $\angle DGE = \angle EAF$.</li>
</ul>
</li>
<li>
<p><strong>Final Angle Calculation:</strong></p>
<ul>
<li>Since $\angle EAF = \angle EHF$ and $\angle EHF = 90^\circ$ (as $H$ is the orthocenter and $E$ and $F$ are feet of perpendiculars), we have: <code>\angle CGH = \angle EHF = 90^\circ.</code></li>
</ul>
</li>
</ol>
<p>Thus, the angle $\angle CGH$ is $\boxed{90^\circ}$.</p>
<h2 class="flex scroll-m-28 flex-row items-center gap-2" id="decontamination"><a data-card="" href="#decontamination" class="peer">Decontamination</a><svg xmlns="http://www.w3.org/2000/svg" width="24" height="24" viewBox="0 0 24 24" fill="none" stroke="currentColor" stroke-width="2" stroke-linecap="round" stroke-linejoin="round" class="lucide lucide-link size-3.5 shrink-0 text-fd-muted-foreground opacity-0 transition-opacity peer-hover:opacity-100" aria-hidden="true"><path d="M10 13a5 5 0 0 0 7.54.54l3-3a5 5 0 0 0-7.07-7.07l-1.72 1.71"></path><path d="M14 11a5 5 0 0 0-7.54-.54l-3 3a5 5 0 0 0 7.07 7.07l1.71-1.71"></path></svg></h2>
<p>We conduct decontamination methods on both our pretraining and post-training datasets. Specifically, for pretraining data, we target on math datasets, including GSM8K, MATH, and remove samples that have significant overlaps with the test sets. We use exact match to remove the identical samples and further apply 13-gram deduplication (with a condition that the ratio of longest common sequence should be larger than 0.6) to remove more samples that might cause contamination. For post-training data, we remove more postitive contaminated samples that have overlaps with GSM8K, MATH, Aqua, SAT Math, OlympiadBench, College Math, AIME24, AMC23, etc. with the same filtering method.</p>
<h2 class="flex scroll-m-28 flex-row items-center gap-2" id="summary"><a data-card="" href="#summary" class="peer">Summary</a><svg xmlns="http://www.w3.org/2000/svg" width="24" height="24" viewBox="0 0 24 24" fill="none" stroke="currentColor" stroke-width="2" stroke-linecap="round" stroke-linejoin="round" class="lucide lucide-link size-3.5 shrink-0 text-fd-muted-foreground opacity-0 transition-opacity peer-hover:opacity-100" aria-hidden="true"><path d="M10 13a5 5 0 0 0 7.54.54l3-3a5 5 0 0 0-7.07-7.07l-1.72 1.71"></path><path d="M14 11a5 5 0 0 0-7.54-.54l-3 3a5 5 0 0 0 7.07 7.07l1.71-1.71"></path></svg></h2>
<p>This time, we’re releasing a new model series focused on mathematical capabilities, zen-Math, built upon the zen foundation. Our flagship model, zen-Math-72B-Instruct, outperforms proprietary models such as GPT-4o and Claude 3.5 in math-related tasks. Given the current limitation of English-only support, we plan to release bilingual models that support both English and Chinese shortly, with the development of multilingual models also in the pipeline. Moreover, we will continue to enhance our models’ ability to solve complex and challenging mathematical problems.</p></div></main><!--$--><!--/$--><script src="/_next/static/chunks/e83606e8fa9cc796.js" id="_R_" async=""></script><script>(self.__next_f=self.__next_f||[]).push([0])</script><script>self.__next_f.push([1,"1:\"$Sreact.fragment\"\n2:I[106,[\"/_next/static/chunks/59d0ad1b64f8544e.js\"],\"RootProvider\"]\n3:I[53113,[\"/_next/static/chunks/4d80e004cf4896dd.js\",\"/_next/static/chunks/350ee4303b732916.js\"],\"default\"]\n4:I[73211,[\"/_next/static/chunks/4d80e004cf4896dd.js\",\"/_next/static/chunks/350ee4303b732916.js\"],\"default\"]\n5:I[10086,[\"/_next/static/chunks/59d0ad1b64f8544e.js\",\"/_next/static/chunks/8de849ca74fc071f.js\",\"/_next/static/chunks/e62b91212ee7f8ff.js\",\"/_next/static/chunks/f19fe44237e54646.js\",\"/_next/static/chunks/cb0a883bafeb6805.js\"],\"\"]\n7:I[89923,[\"/_next/static/chunks/4d80e004cf4896dd.js\",\"/_next/static/chunks/350ee4303b732916.js\"],\"OutletBoundary\"]\n8:\"$Sreact.suspense\"\na:I[89923,[\"/_next/static/chunks/4d80e004cf4896dd.js\",\"/_next/static/chunks/350ee4303b732916.js\"],\"ViewportBoundary\"]\nc:I[89923,[\"/_next/static/chunks/4d80e004cf4896dd.js\",\"/_next/static/chunks/350ee4303b732916.js\"],\"MetadataBoundary\"]\ne:I[6998,[\"/_next/static/chunks/4d80e004cf4896dd.js\",\"/_next/static/chunks/350ee4303b732916.js\"],\"default\"]\n:HL[\"/_next/static/chunks/f2332aac77592f9d.css\",\"style\"]\n"])</script><script>self.__next_f.push([1,"0:{\"P\":null,\"b\":\"i-dnJM_MIpJSOCQWNJVMq\",\"c\":[\"\",\"blog\",\"qwen2-math\"],\"q\":\"\",\"i\":false,\"f\":[[[\"\",{\"children\":[\"blog\",{\"children\":[[\"slug\",\"qwen2-math\",\"d\"],{\"children\":[\"__PAGE__\",{}]}]}]},\"$undefined\",\"$undefined\",true],[[\"$\",\"$1\",\"c\",{\"children\":[[[\"$\",\"link\",\"0\",{\"rel\":\"stylesheet\",\"href\":\"/_next/static/chunks/f2332aac77592f9d.css\",\"precedence\":\"next\",\"crossOrigin\":\"$undefined\",\"nonce\":\"$undefined\"}],[\"$\",\"script\",\"script-0\",{\"src\":\"/_next/static/chunks/59d0ad1b64f8544e.js\",\"async\":true,\"nonce\":\"$undefined\"}]],[\"$\",\"html\",null,{\"lang\":\"en\",\"className\":\"dark\",\"suppressHydrationWarning\":true,\"children\":[\"$\",\"body\",null,{\"className\":\"antialiased\",\"children\":[\"$\",\"$L2\",null,{\"children\":[\"$\",\"$L3\",null,{\"parallelRouterKey\":\"children\",\"error\":\"$undefined\",\"errorStyles\":\"$undefined\",\"errorScripts\":\"$undefined\",\"template\":[\"$\",\"$L4\",null,{}],\"templateStyles\":\"$undefined\",\"templateScripts\":\"$undefined\",\"notFound\":[[\"$\",\"main\",null,{\"className\":\"flex min-h-screen flex-col items-center justify-center px-4 text-center\",\"children\":[[\"$\",\"div\",null,{\"className\":\"mb-8 opacity-20\",\"children\":[\"$\",\"svg\",null,{\"width\":\"120\",\"height\":\"120\",\"viewBox\":\"0 0 120 120\",\"fill\":\"none\",\"aria-hidden\":\"true\",\"children\":[\"$\",\"circle\",null,{\"cx\":\"60\",\"cy\":\"60\",\"r\":\"50\",\"stroke\":\"currentColor\",\"strokeWidth\":\"3\",\"strokeLinecap\":\"round\",\"strokeDasharray\":\"280 40\"}]}]}],[\"$\",\"p\",null,{\"className\":\"text-xs font-mono uppercase tracking-[0.3em] text-fd-muted-foreground mb-4\",\"children\":\"404\"}],[\"$\",\"h1\",null,{\"className\":\"text-3xl font-semibold mb-3\",\"children\":\"Page not found\"}],[\"$\",\"p\",null,{\"className\":\"text-fd-muted-foreground max-w-sm mb-10\",\"children\":\"This page doesn't exist, or it may have moved. Try the documentation or head home.\"}],[\"$\",\"div\",null,{\"className\":\"flex flex-wrap gap-3 justify-center\",\"children\":[[\"$\",\"$L5\",null,{\"href\":\"/\",\"className\":\"inline-flex items-center gap-2 rounded-lg bg-fd-primary text-fd-primary-foreground px-4 py-2 text-sm font-medium hover:opacity-90 transition\",\"children\":\"Go home\"}],[\"$\",\"$L5\",null,{\"href\":\"/docs\",\"className\":\"inline-flex items-center gap-2 rounded-lg border border-fd-border bg-fd-background px-4 py-2 text-sm font-medium hover:bg-fd-muted transition\",\"children\":\"Documentation\"}],[\"$\",\"$L5\",null,{\"href\":\"/docs/models\",\"className\":\"inline-flex items-center gap-2 rounded-lg border border-fd-border bg-fd-background px-4 py-2 text-sm font-medium hover:bg-fd-muted transition\",\"children\":\"Browse models\"}]]}],[\"$\",\"p\",null,{\"className\":\"mt-16 text-xs font-mono text-fd-muted-foreground opacity-50\",\"children\":\"zenlm.org\"}]]}],[]],\"forbidden\":\"$undefined\",\"unauthorized\":\"$undefined\"}]}]}]}]]}],{\"children\":[[\"$\",\"$1\",\"c\",{\"children\":[null,[\"$\",\"$L3\",null,{\"parallelRouterKey\":\"children\",\"error\":\"$undefined\",\"errorStyles\":\"$undefined\",\"errorScripts\":\"$undefined\",\"template\":[\"$\",\"$L4\",null,{}],\"templateStyles\":\"$undefined\",\"templateScripts\":\"$undefined\",\"notFound\":\"$undefined\",\"forbidden\":\"$undefined\",\"unauthorized\":\"$undefined\"}]]}],{\"children\":[[\"$\",\"$1\",\"c\",{\"children\":[null,[\"$\",\"$L3\",null,{\"parallelRouterKey\":\"children\",\"error\":\"$undefined\",\"errorStyles\":\"$undefined\",\"errorScripts\":\"$undefined\",\"template\":[\"$\",\"$L4\",null,{}],\"templateStyles\":\"$undefined\",\"templateScripts\":\"$undefined\",\"notFound\":\"$undefined\",\"forbidden\":\"$undefined\",\"unauthorized\":\"$undefined\"}]]}],{\"children\":[[\"$\",\"$1\",\"c\",{\"children\":[\"$L6\",[[\"$\",\"script\",\"script-0\",{\"src\":\"/_next/static/chunks/8de849ca74fc071f.js\",\"async\":true,\"nonce\":\"$undefined\"}],[\"$\",\"script\",\"script-1\",{\"src\":\"/_next/static/chunks/e62b91212ee7f8ff.js\",\"async\":true,\"nonce\":\"$undefined\"}],[\"$\",\"script\",\"script-2\",{\"src\":\"/_next/static/chunks/f19fe44237e54646.js\",\"async\":true,\"nonce\":\"$undefined\"}],[\"$\",\"script\",\"script-3\",{\"src\":\"/_next/static/chunks/cb0a883bafeb6805.js\",\"async\":true,\"nonce\":\"$undefined\"}]],[\"$\",\"$L7\",null,{\"children\":[\"$\",\"$8\",null,{\"name\":\"Next.MetadataOutlet\",\"children\":\"$@9\"}]}]]}],{},null,false,false]},null,false,false]},null,false,false]},null,false,false],[\"$\",\"$1\",\"h\",{\"children\":[null,[\"$\",\"$La\",null,{\"children\":\"$Lb\"}],[\"$\",\"div\",null,{\"hidden\":true,\"children\":[\"$\",\"$Lc\",null,{\"children\":[\"$\",\"$8\",null,{\"name\":\"Next.Metadata\",\"children\":\"$Ld\"}]}]}],null]}],false]],\"m\":\"$undefined\",\"G\":[\"$e\",[]],\"S\":true}\n"])</script><script>self.__next_f.push([1,"f:I[48068,[\"/_next/static/chunks/59d0ad1b64f8544e.js\",\"/_next/static/chunks/8de849ca74fc071f.js\",\"/_next/static/chunks/e62b91212ee7f8ff.js\",\"/_next/static/chunks/f19fe44237e54646.js\",\"/_next/static/chunks/cb0a883bafeb6805.js\"],\"default\"]\n"])</script><script>self.__next_f.push([1,"6:[\"$\",\"main\",null,{\"className\":\"mx-auto w-full max-w-2xl px-4 py-16\",\"children\":[[\"$\",\"$L5\",null,{\"href\":\"/blog\",\"className\":\"inline-flex items-center gap-1.5 text-sm text-fd-muted-foreground hover:text-fd-foreground mb-10 transition-colors\",\"children\":\"← Back to Blog\"}],[\"$\",\"div\",null,{\"className\":\"mb-8\",\"children\":[[\"$\",\"time\",null,{\"className\":\"text-xs font-mono text-fd-muted-foreground uppercase tracking-wider\",\"children\":\"August 7, 2024\"}],[\"$\",\"h1\",null,{\"className\":\"text-3xl font-bold mt-2 mb-3\",\"children\":\"Introducing zen-Math\"}],[\"$\",\"p\",null,{\"className\":\"text-fd-muted-foreground text-lg mb-4\",\"children\":\"GITHUB HUGGING FACE MODELSCOPE DISCORD\"}],[\"$\",\"div\",null,{\"className\":\"flex items-center gap-3 pt-4 border-t border-fd-border\",\"children\":[[\"$\",\"span\",null,{\"className\":\"text-sm text-fd-muted-foreground\",\"children\":[\"By \",\"Zen LM Team\"]}],[\"$\",\"div\",null,{\"className\":\"flex gap-1.5 ml-auto\",\"children\":[]}]]}]]}],[\"$\",\"div\",null,{\"className\":\"prose dark:prose-invert max-w-none\",\"children\":[[\"$\",\"p\",null,{\"children\":[[\"$\",\"$Lf\",null,{\"href\":\"https://github.com/QwenLM/zen-Math\",\"children\":\"GITHUB\"}],\" \",[\"$\",\"$Lf\",null,{\"href\":\"https://huggingface.co/Qwen\",\"children\":\"HUGGING FACE\"}],\" \",[\"$\",\"$Lf\",null,{\"href\":\"https://modelscope.cn/organization/qwen\",\"children\":\"MODELSCOPE\"}],\" \",[\"$\",\"$Lf\",null,{\"href\":\"https://discord.gg/yPEP2vHTu4\",\"children\":\"DISCORD\"}]]}],\"\\n\",[\"$\",\"blockquote\",null,{\"children\":[\"\\n\",[\"$\",\"p\",null,{\"children\":[\"$\",\"strong\",null,{\"children\":\"🚨 This model mainly supports English. We will release bilingual (English and Chinese) math models soon.\"}]}],\"\\n\"]}],\"\\n\",[\"$\",\"h1\",null,{\"className\":\"flex scroll-m-28 flex-row items-center gap-2\",\"id\":\"introduction\",\"children\":[[\"$\",\"a\",null,{\"data-card\":\"\",\"href\":\"#introduction\",\"className\":\"peer\",\"children\":\"Introduction\"}],[\"$\",\"svg\",null,{\"ref\":\"$undefined\",\"xmlns\":\"http://www.w3.org/2000/svg\",\"width\":24,\"height\":24,\"viewBox\":\"0 0 24 24\",\"fill\":\"none\",\"stroke\":\"currentColor\",\"strokeWidth\":2,\"strokeLinecap\":\"round\",\"strokeLinejoin\":\"round\",\"className\":\"lucide lucide-link size-3.5 shrink-0 text-fd-muted-foreground opacity-0 transition-opacity peer-hover:opacity-100\",\"aria-hidden\":true,\"children\":[[\"$\",\"path\",\"1cjeqo\",{\"d\":\"M10 13a5 5 0 0 0 7.54.54l3-3a5 5 0 0 0-7.07-7.07l-1.72 1.71\"}],[\"$\",\"path\",\"19qd67\",{\"d\":\"M14 11a5 5 0 0 0-7.54-.54l-3 3a5 5 0 0 0 7.07 7.07l1.71-1.71\"}],\"$undefined\"]}]]}],\"\\n\",[\"$\",\"p\",null,{\"children\":[\"Over the past year, we have dedicated significant effort to researching and enhancing the reasoning capabilities of large language models, with a particular focus on their ability to solve arithmetic and mathematical problems. Today, we are delighted to introduce a series of \",[\"$\",\"strong\",null,{\"children\":\"math-specific\"}],\" large language models of our zen series, zen-Math and zen-Math-Instruct-1.5B/7B/72B. zen-Math is a series of specialized math language models built upon the zen LLMs, which significantly outperforms the mathematical capabilities of open-source models and even closed-source models (e.g., GPT-4o). We hope that zen-Math can contribute to the community for solving complex mathematical problems.\"]}],\"\\n\",[\"$\",\"p\",null,{\"children\":\"We evaluate our math-specific models on a series of math benchmarks. The results below demonstrate that our largest math-specific model zen-Math-72B-Instruct outperforms the state-of-the-art models, including GPT-4o, Claude-3.5-Sonnet, Gemini-1.5-Pro, and Llama-3.1-405B.\"}],\"\\n\",[\"$\",\"h2\",null,{\"className\":\"flex scroll-m-28 flex-row items-center gap-2\",\"id\":\"zen-math-base-models\",\"children\":[[\"$\",\"a\",null,{\"data-card\":\"\",\"href\":\"#zen-math-base-models\",\"className\":\"peer\",\"children\":\"zen-Math: Base Models\"}],[\"$\",\"svg\",null,{\"ref\":\"$undefined\",\"xmlns\":\"http://www.w3.org/2000/svg\",\"width\":24,\"height\":24,\"viewBox\":\"0 0 24 24\",\"fill\":\"none\",\"stroke\":\"currentColor\",\"strokeWidth\":2,\"strokeLinecap\":\"round\",\"strokeLinejoin\":\"round\",\"className\":\"lucide lucide-link size-3.5 shrink-0 text-fd-muted-foreground opacity-0 transition-opacity peer-hover:opacity-100\",\"aria-hidden\":true,\"children\":[\"$L10\",\"$L11\",\"$undefined\"]}]]}],\"\\n\",\"$L12\",\"\\n\",\"$L13\",\"\\n\",\"$L14\",\"\\n\",\"$L15\",\"\\n\",\"$L16\",\"\\n\",\"$L17\",\"\\n\",\"$L18\",\"\\n\",\"$L19\",\"\\n\",\"$L1a\",\"\\n\",\"$L1b\",\"\\n\",\"$L1c\",\"\\n\",\"$L1d\",\"\\n\",\"$L1e\",\"\\n\",\"$L1f\",\"\\n\",\"$L20\",\"\\n\",\"$L21\",\"\\n\",\"$L22\",\"\\n\",\"$L23\",\"\\n\",\"$L24\",\"\\n\",\"$L25\",\"\\n\",\"$L26\",\"\\n\",\"$L27\",\"\\n\",\"$L28\",\"\\n\",\"$L29\",\"\\n\",\"$L2a\",\"\\n\",\"$L2b\",\"\\n\",\"$L2c\",\"\\n\",\"$L2d\",\"\\n\",\"$L2e\",\"\\n\",\"$L2f\",\"\\n\",\"$L30\",\"\\n\",\"$L31\",\"\\n\",\"$L32\",\"\\n\",\"$L33\",\"\\n\",\"$L34\",\"\\n\",\"$L35\",\"\\n\",\"$L36\",\"\\n\",\"$L37\",\"\\n\",\"$L38\",\"\\n\",\"$L39\",\"\\n\",\"$L3a\",\"\\n\",\"$L3b\",\"\\n\",\"$L3c\",\"\\n\",\"$L3d\",\"\\n\",\"$L3e\",\"\\n\",\"$L3f\",\"\\n\",\"$L40\",\"\\n\",\"$L41\",\"\\n\",\"$L42\",\"\\n\",\"$L43\",\"\\n\",\"$L44\",\"\\n\",\"$L45\",\"\\n\",\"$L46\",\"\\n\",\"$L47\",\"\\n\",\"$L48\",\"\\n\",\"$L49\",\"\\n\",\"$L4a\",\"\\n\",\"$L4b\",\"\\n\",\"$L4c\",\"\\n\",\"$L4d\",\"\\n\",\"$L4e\",\"\\n\",\"$L4f\",\"\\n\",\"$L50\",\"\\n\",\"$L51\",\"\\n\",\"$L52\",\"\\n\",\"$L53\",\"\\n\",\"$L54\",\"\\n\",\"$L55\",\"\\n\",\"$L56\",\"\\n\",\"$L57\",\"\\n\",\"$L58\",\"\\n\",\"$L59\",\"\\n\",\"$L5a\",\"\\n\",\"$L5b\",\"\\n\",\"$L5c\",\"\\n\",\"$L5d\",\"\\n\",\"$L5e\",\"\\n\",\"$L5f\",\"\\n\",\"$L60\",\"\\n\",\"$L61\",\"\\n\",\"$L62\",\"\\n\",\"$L63\",\"\\n\",\"$L64\",\"\\n\",\"$L65\",\"\\n\",\"$L66\",\"\\n\",\"$L67\",\"\\n\",\"$L68\",\"\\n\",\"$L69\",\"\\n\",\"$L6a\",\"\\n\",\"$L6b\",\"\\n\",\"$L6c\",\"\\n\",\"$L6d\",\"\\n\",\"$L6e\",\"\\n\",\"$L6f\",\"\\n\",\"$L70\",\"\\n\",\"$L71\",\"\\n\",\"$L72\",\"\\n\",\"$L73\",\"\\n\",\"$L74\",\"\\n\",\"$L75\",\"\\n\",\"$L76\",\"\\n\",\"$L77\",\"\\n\",\"$L78\",\"\\n\",\"$L79\",\"\\n\",\"$L7a\",\"\\n\",\"$L7b\",\"\\n\",\"$L7c\",\"\\n\",\"$L7d\",\"\\n\",\"$L7e\",\"\\n\",\"$L7f\",\"\\n\",\"$L80\",\"\\n\",\"$L81\",\"\\n\",\"$L82\",\"\\n\",\"$L83\",\"\\n\",\"$L84\",\"\\n\",\"$L85\",\"\\n\",\"$L86\",\"\\n\",\"$L87\",\"\\n\",\"$L88\",\"\\n\",\"$L89\",\"\\n\",\"$L8a\",\"\\n\",\"$L8b\",\"\\n\",\"$L8c\",\"\\n\",\"$L8d\",\"\\n\",\"$L8e\",\"\\n\",\"$L8f\",\"\\n\",\"$L90\",\"\\n\",\"$L91\",\"\\n\",\"$L92\",\"\\n\",\"$L93\",\"\\n\",\"$L94\",\"\\n\",\"$L95\",\"\\n\",\"$L96\",\"\\n\",\"$L97\",\"\\n\",\"$L98\",\"\\n\",\"$L99\",\"\\n\",\"$L9a\",\"\\n\",\"$L9b\",\"\\n\",\"$L9c\",\"\\n\",\"$L9d\",\"\\n\",\"$L9e\",\"\\n\",\"$L9f\",\"\\n\",\"$La0\",\"\\n\",\"$La1\",\"\\n\",\"$La2\",\"\\n\",\"$La3\",\"\\n\",\"$La4\",\"\\n\",\"$La5\",\"\\n\",\"$La6\",\"\\n\",\"$La7\",\"\\n\",\"$La8\",\"\\n\",\"$La9\",\"\\n\",\"$Laa\",\"\\n\",\"$Lab\",\"\\n\",\"$Lac\",\"\\n\",\"$Lad\",\"\\n\",\"$Lae\",\"\\n\",\"$Laf\",\"\\n\",\"$Lb0\",\"\\n\",\"$Lb1\",\"\\n\",\"$Lb2\",\"\\n\",\"$Lb3\",\"\\n\",\"$Lb4\",\"\\n\",\"$Lb5\",\"\\n\",\"$Lb6\",\"\\n\",\"$Lb7\",\"\\n\",\"$Lb8\",\"\\n\",\"$Lb9\",\"\\n\",\"$Lba\",\"\\n\",\"$Lbb\",\"\\n\",\"$Lbc\",\"\\n\",\"$Lbd\",\"\\n\",\"$Lbe\",\"\\n\",\"$Lbf\",\"\\n\",\"$Lc0\",\"\\n\",\"$Lc1\",\"\\n\",\"$Lc2\",\"\\n\",\"$Lc3\",\"\\n\",\"$Lc4\",\"\\n\",\"$Lc5\",\"\\n\",\"$Lc6\",\"\\n\",\"$Lc7\",\"\\n\",\"$Lc8\",\"\\n\",\"$Lc9\",\"\\n\",\"$Lca\",\"\\n\",\"$Lcb\",\"\\n\",\"$Lcc\",\"\\n\",\"$Lcd\",\"\\n\",\"$Lce\",\"\\n\",\"$Lcf\",\"\\n\",\"$Ld0\",\"\\n\",\"$Ld1\",\"\\n\",\"$Ld2\",\"\\n\",\"$Ld3\",\"\\n\",\"$Ld4\",\"\\n\",\"$Ld5\",\"\\n\",\"$Ld6\",\"\\n\",\"$Ld7\",\"\\n\",\"$Ld8\",\"\\n\",\"$Ld9\",\"\\n\",\"$Lda\",\"\\n\",\"$Ldb\",\"\\n\",\"$Ldc\",\"\\n\",\"$Ldd\",\"\\n\",\"$Lde\",\"\\n\",\"$Ldf\",\"\\n\",\"$Le0\",\"\\n\",\"$Le1\",\"\\n\",\"$Le2\",\"\\n\",\"$Le3\",\"\\n\",\"$Le4\",\"\\n\",\"$Le5\",\"\\n\",\"$Le6\",\"\\n\",\"$Le7\",\"\\n\",\"$Le8\",\"\\n\",\"$Le9\",\"\\n\",\"$Lea\",\"\\n\",\"$Leb\",\"\\n\",\"$Lec\",\"\\n\",\"$Led\",\"\\n\",\"$Lee\",\"\\n\",\"$Lef\",\"\\n\",\"$Lf0\",\"\\n\",\"$Lf1\",\"\\n\",\"$Lf2\",\"\\n\",\"$Lf3\",\"\\n\",\"$Lf4\",\"\\n\",\"$Lf5\",\"\\n\",\"$Lf6\",\"\\n\",\"$Lf7\",\"\\n\",\"$Lf8\",\"\\n\",\"$Lf9\",\"\\n\",\"$Lfa\",\"\\n\",\"$Lfb\",\"\\n\",\"$Lfc\",\"\\n\",\"$Lfd\",\"\\n\",\"$Lfe\",\"\\n\",\"$Lff\",\"\\n\",\"$L100\",\"\\n\",\"$L101\",\"\\n\",\"$L102\",\"\\n\",\"$L103\",\"\\n\",\"$L104\",\"\\n\",\"$L105\",\"\\n\",\"$L106\",\"\\n\",\"$L107\",\"\\n\",\"$L108\",\"\\n\",\"$L109\",\"\\n\",\"$L10a\",\"\\n\",\"$L10b\",\"\\n\",\"$L10c\",\"\\n\",\"$L10d\",\"\\n\",\"$L10e\",\"\\n\",\"$L10f\",\"\\n\",\"$L110\",\"\\n\",\"$L111\",\"\\n\",\"$L112\",\"\\n\",\"$L113\",\"\\n\",\"$L114\",\"\\n\",\"$L115\",\"\\n\",\"$L116\",\"\\n\",\"$L117\",\"\\n\",\"$L118\",\"\\n\",\"$L119\",\"\\n\",\"$L11a\",\"\\n\",\"$L11b\",\"\\n\",\"$L11c\",\"\\n\",\"$L11d\",\"\\n\",\"$L11e\",\"\\n\",\"$L11f\",\"\\n\",\"$L120\",\"\\n\",\"$L121\",\"\\n\",\"$L122\",\"\\n\",\"$L123\",\"\\n\",\"$L124\",\"\\n\",\"$L125\",\"\\n\",\"$L126\",\"\\n\",\"$L127\",\"\\n\",\"$L128\",\"\\n\",\"$L129\",\"\\n\",\"$L12a\",\"\\n\",\"$L12b\",\"\\n\",\"$L12c\",\"\\n\",\"$L12d\",\"\\n\",\"$L12e\",\"\\n\",\"$L12f\",\"\\n\",\"$L130\",\"\\n\",\"$L131\"]}]]}]\n"])</script><script>self.__next_f.push([1,"132:I[51504,[\"/_next/static/chunks/59d0ad1b64f8544e.js\",\"/_next/static/chunks/8de849ca74fc071f.js\",\"/_next/static/chunks/e62b91212ee7f8ff.js\",\"/_next/static/chunks/f19fe44237e54646.js\",\"/_next/static/chunks/cb0a883bafeb6805.js\"],\"CodeBlock\"]\n133:I[51504,[\"/_next/static/chunks/59d0ad1b64f8544e.js\",\"/_next/static/chunks/8de849ca74fc071f.js\",\"/_next/static/chunks/e62b91212ee7f8ff.js\",\"/_next/static/chunks/f19fe44237e54646.js\",\"/_next/static/chunks/cb0a883bafeb6805.js\"],\"Pre\"]\n10:[\"$\",\"path\",\"1cjeqo\",{\"d\":\"M10 13a5 5 0 0 0 7.54.54l3-3a5 5 0 0 0-7.07-7.07l-1.72 1.71\"}]\n11:[\"$\",\"path\",\"19qd67\",{\"d\":\"M14 11a5 5 0 0 0-7.54-.54l-3 3a5 5 0 0 0 7.07 7.07l1.71-1.71\"}]\n12:[\"$\",\"p\",null,{\"children\":\"The base models of zen-Math are initialized with zen-1.5B/7B/72B, and then pretrained on a meticulously designed Mathematics-specific Corpus. This corpus contains large-scale high-quality mathematical web texts, books, codes, exam questions, and mathematical pre-training data synthesized by zen.\"}]\n13:[\"$\",\"p\",null,{\"children\":\"We evaluate our zen-Math base models on three widely used English math benchmarks GSM8K, Math, and MMLU-STEM. In addition, we also evaluate three Chinese math benchmarks CMATH, GaoKao Math Cloze, and GaoKao Math QA. All evaluations are tested with few-shot chain-of-thought prompting.\"}]\n14:[\"$\",\"h2\",null,{\"className\":\"flex scroll-m-28 flex-row items-center gap-2\",\"id\":\"zen-math-instruct-instruction-tuned-models\",\"children\":[[\"$\",\"a\",null,{\"data-card\":\"\",\"href\":\"#zen-math-instruct-instruction-tuned-models\",\"className\":\"peer\",\"children\":\"zen-Math-Instruct: Instruction-Tuned Models\"}],[\"$\",\"svg\",null,{\"ref\":\"$undefined\",\"xmlns\":\"http://www.w3.org/2000/svg\",\"width\":24,\"height\":24,\"viewBox\":\"0 0 24 24\",\"fill\":\"none\",\"stroke\":\"currentColor\",\"strokeWidth\":2,\"strokeLinecap\":\"round\",\"strokeLinejoin\":\"round\",\"className\":\"lucide lucide-link size-3.5 shrink-0 text-fd-muted-foreground opacity-0 transition-opacity peer-hover:opacity-100\",\"aria-hidden\":true,\"children\":[[\"$\",\"path\",\"1cjeqo\",{\"d\":\"M10 13a5 5 0 0 0 7.54.54l3-3a5 5 0 0 0-7.07-7.07l-1.72 1.71\"}],[\"$\",\"path\",\"19qd67\",{\"d\":\"M14 11a5 5 0 0 0-7.54-.54l-3 3a5 5 0 0 0 7.07 7.07l1.71-1.71\"}],\"$undefined\"]}]]}]\n15:[\"$\",\"p\",null,{\"children\":\"We first trained a math-specific reward model based on zen-Math-72B. We then combined this dense reward signal with a binary signal indicating whether the model answered correctly. This combined signal is used as supervision for constructing the SFT data through Rejection Sampling and also in the reinforcement learning with Group Relative Policy Optimization (GRPO) after SFT.\"}]\n16:[\"$\",\"p\",null,{\"children\":\"We evaluate zen-Math-Instruct on mathematical benchmarks in both English and Chinese. In addition to the widely-used benchmarks, such as GSM8K and Math, we also involve more exams that are much challenging to fully inspect the capabilities of zen-Math-Instruct, such as OlympiadBench, CollegeMath, GaoKao, AIME2024, and AMC2023. For Chinese mathematical benchmarks, we use CMATH, Gaokao (Chinese college entrance examination 2024), and CN Middle School 24 (China High School Entrance Examination 2024).\"}]\n17:[\"$\",\"p\",null,{\"children\":\"We report greedy , Maj@8 and RM@8 performance on all benchmarks in the zero-shot setting, except for the multi-choice benchmarks (including MMLU STEM and multiple-choice problems in GaoKao and CN Middle School 24) with a 5-shot setting. zen-Math-Instruct achieves the best performance among models of the same size, with RM@8 outperforming Maj@8, particularly in the 1.5B and 7B models. This demonstrates the effectiveness of our math reward model.\"}]\n18:[\"$\",\"p\",null,{\"children\":\"In more complex mathematical competition evaluations such as AIME 2024 and AMC 2023, zen-Math-Instruct also performs well across various settings, including Greedy, Maj@64, RM@64, and RM@256.\"}]\n19:[\"$\",\"h2\",null,{\"className\":\"flex scroll-m-28 flex-row items-center gap-2\",\"id\":\"case-study\",\"children\":[[\"$\",\"a\",null,{\"data-card\":\"\",\"href\":\"#case-study\",\"className\":\"peer\",\"children\":\"Case Study\"}],[\"$\",\"svg\",null,{\"ref\":\"$undefined\",\"xmlns\""])</script><script>self.__next_f.push([1,":\"http://www.w3.org/2000/svg\",\"width\":24,\"height\":24,\"viewBox\":\"0 0 24 24\",\"fill\":\"none\",\"stroke\":\"currentColor\",\"strokeWidth\":2,\"strokeLinecap\":\"round\",\"strokeLinejoin\":\"round\",\"className\":\"lucide lucide-link size-3.5 shrink-0 text-fd-muted-foreground opacity-0 transition-opacity peer-hover:opacity-100\",\"aria-hidden\":true,\"children\":[[\"$\",\"path\",\"1cjeqo\",{\"d\":\"M10 13a5 5 0 0 0 7.54.54l3-3a5 5 0 0 0-7.07-7.07l-1.72 1.71\"}],[\"$\",\"path\",\"19qd67\",{\"d\":\"M14 11a5 5 0 0 0-7.54-.54l-3 3a5 5 0 0 0 7.07 7.07l1.71-1.71\"}],\"$undefined\"]}]]}]\n1a:[\"$\",\"p\",null,{\"children\":\"Here we list some test cases, which include some IMO math problems. From the experimental results and case study, we find that zen-Math is capable of solving simple math competition problems. Feel free to click the expandable blocks to check the cases!\"}]\n1b:[\"$\",\"blockquote\",null,{\"children\":[\"\\n\",[\"$\",\"p\",null,{\"children\":\"All the solutions are generated by our model without modification. Please note that we do not guarantee the correctness of the claims in the process.\"}],\"\\n\"]}]\n1c:[\"$\",\"p\",null,{\"children\":\"Problem From IMO Shortlist 2002\"}]\n1d:[\"$\",\"p\",null,{\"children\":[\"$\",\"strong\",null,{\"children\":\"Problem\"}]}]\n1e:[\"$\",\"p\",null,{\"children\":\"What is the smallest positive integer $t$ such that there exist integers $x_1,x_2,\\\\ldots,x_t$ with\"}]\n1f:[\"$\",\"p\",null,{\"children\":[\"$\",\"code\",null,{\"children\":\"x^3_1+x^3_2+,\\\\ldots,+x^3_t=2002^\\\\{2002\\\\},\"}]}]\n20:[\"$\",\"p\",null,{\"children\":[\"$\",\"strong\",null,{\"children\":\"zen-Math-72B-Instruct Solution\"}]}]\n21:[\"$\",\"p\",null,{\"children\":\"To determine the smallest positive integer $ t $ such that there exist integers $ x_1, x_2, \\\\ldots, x_t $ satisfying the equation\"}]\n22:[\"$\",\"p\",null,{\"children\":[\"$\",\"code\",null,{\"children\":\"x_1^3 + x_2^3 + \\\\cdots + x_t^3 = 2002^\\\\{2002\\\\},\"}]}]\n23:[\"$\",\"p\",null,{\"children\":\"we start by analyzing the properties of cubes and their sums. We need to find the smallest $ t $ for which the sum of $ t $ cubes equals $ 2002^{2002} $.\"}]\n24:[\"$\",\"p\",null,{\"children\":\"First, we note that $ 2002 $ can be factored into prime factors:\"}]\n25:[\"$\",\"p\",null,{\"children\":[\"$\",\"code\",null,{\"children\":\"2002 = 2 \\\\times 7 \\\\times 11 \\\\times 13.\"}]}]\n26:[\"$\",\"p\",null,{\"children\":\"Thus,\"}]\n27:[\"$\",\"p\",null,{\"children\":[\"$\",\"code\",null,{\"children\":\"2002^\\\\{2002\\\\} = (2 \\\\times 7 \\\\times 11 \\\\times 13)^\\\\{2002\\\\} = 2^\\\\{2002\\\\} \\\\times 7^\\\\{2002\\\\} \\\\times 11^\\\\{2002\\\\} \\\\times 13^\\\\{2002\\\\}.\"}]}]\n28:[\"$\",\"p\",null,{\"children\":\"Next, we consider the properties of cubes modulo 9. Cubes modulo 9 can only be congruent to $ 0, 1, $ or $ -1 $. This is because:\"}]\n29:[\"$\",\"p\",null,{\"children\":[\"$\",\"code\",null,{\"children\":\"\\\\begin\\\\{aligned\\\\} 0^3 \u0026\\\\equiv 0 \\\\pmod\\\\{9\\\\}, \\\\\\\\\\\\\\\\\\\\ 1^3 \u0026\\\\equiv 1 \\\\pmod\\\\{9\\\\}, \\\\\\\\\\\\\\\\\\\\ 2^3 \u0026\\\\equiv 8 \\\\equiv -1 \\\\pmod\\\\{9\\\\}, \\\\\\\\\\\\\\\\\\\\ 3^3 \u0026\\\\equiv 27 \\\\equiv 0 \\\\pmod\\\\{9\\\\}, \\\\\\\\\\\\\\\\\\\\ 4^3 \u0026\\\\equiv 64 \\\\equiv 1 \\\\pmod\\\\{9\\\\}, \\\\\\\\\\\\\\\\\\\\ 5^3 \u0026\\\\equiv 125 \\\\equiv -1 \\\\pmod\\\\{9\\\\}, \\\\\\\\\\\\\\\\\\\\ 6^3 \u0026\\\\equiv 216 \\\\equiv 0 \\\\pmod\\\\{9\\\\}, \\\\\\\\\\\\\\\\\\\\ 7^3 \u0026\\\\equiv 343 \\\\equiv 1 \\\\pmod\\\\{9\\\\}, \\\\\\\\\\\\\\\\\\\\ 8^3 \u0026\\\\equiv 512 \\\\equiv -1 \\\\pmod\\\\{9\\\\}. \\\\end\\\\{aligned\\\\}\"}]}]\n2a:[\"$\",\"p\",null,{\"children\":\"Now, we need to determine $ 2002^{2002} \\\\mod 9 $. First, we find $ 2002 \\\\mod 9 $:\"}]\n2b:[\"$\",\"p\",null,{\"children\":[\"$\",\"code\",null,{\"children\":\"2002 \\\\div 9 = 222 \\\\text\\\\{ remainder \\\\} 4 \\\\quad \\\\Rightarrow \\\\quad 2002 \\\\equiv 4 \\\\pmod\\\\{9\\\\}.\"}]}]\n2c:[\"$\",\"p\",null,{\"children\":\"Thus,\"}]\n2d:[\"$\",\"p\",null,{\"children\":[\"$\",\"code\",null,{\"children\":\"2002^\\\\{2002\\\\} \\\\equiv 4^\\\\{2002\\\\} \\\\pmod\\\\{9\\\\}.\"}]}]\n2e:[\"$\",\"p\",null,{\"children\":\"Next, we use Euler’s theorem, which states that $ a^{\\\\phi(n)} \\\\equiv 1 \\\\pmod{n} $ for $ \\\\gcd(a, n) = 1 $. Here, $ \\\\phi(9) = 6 $, so:\"}]\n2f:[\"$\",\"p\",null,{\"children\":[\"$\",\"code\",null,{\"children\":\"4^6 \\\\equiv 1 \\\\pmod\\\\{9\\\\}.\"}]}]\n30:[\"$\",\"p\",null,{\"children\":\"We can reduce the exponent $ 2002 \\\\mod 6 $:\"}]\n31:[\"$\",\"p\",null,{\"children\":[\"$\",\"code\",null,{\"children\":\"2002 \\\\div 6 = 333 \\\\text\\\\{ remainder \\\\} 4 \\\\quad \\\\Rightarrow \\\\quad 2002 \\\\equiv 4 \\\\pmod\\\\"])</script><script>self.__next_f.push([1,"{6\\\\}.\"}]}]\n32:[\"$\",\"p\",null,{\"children\":\"Thus,\"}]\n33:[\"$\",\"p\",null,{\"children\":[\"$\",\"code\",null,{\"children\":\"4^\\\\{2002\\\\} \\\\equiv 4^4 \\\\pmod\\\\{9\\\\}.\"}]}]\n34:[\"$\",\"p\",null,{\"children\":[\"$\",\"code\",null,{\"children\":\"4^4 = 256.\"}]}]\n35:[\"$\",\"p\",null,{\"children\":\"Finally, we find $ 256 \\\\mod 9 $:\"}]\n36:[\"$\",\"p\",null,{\"children\":[\"$\",\"code\",null,{\"children\":\"256 \\\\div 9 = 28 \\\\text\\\\{ remainder \\\\} 4 \\\\quad \\\\Rightarrow \\\\quad 256 \\\\equiv 4 \\\\pmod\\\\{9\\\\}.\"}]}]\n37:[\"$\",\"p\",null,{\"children\":\"Therefore,\"}]\n38:[\"$\",\"p\",null,{\"children\":[\"$\",\"code\",null,{\"children\":\"2002^\\\\{2002\\\\} \\\\equiv 4 \\\\pmod\\\\{9\\\\}.\"}]}]\n39:[\"$\",\"p\",null,{\"children\":\"We need to find the smallest $ t $ such that the sum of $ t $ cubes is congruent to 4 modulo 9. The possible sums of cubes modulo 9 are:\"}]\n3a:[\"$\",\"p\",null,{\"children\":[\"$\",\"code\",null,{\"children\":\"\\\\begin\\\\{aligned\\\\} 0 \u0026\\\\equiv 0 \\\\pmod\\\\{9\\\\}, \\\\\\\\\\\\\\\\\\\\ 1 \u0026\\\\equiv 1 \\\\pmod\\\\{9\\\\}, \\\\\\\\\\\\\\\\\\\\ -1 \u0026\\\\equiv 8 \\\\pmod\\\\{9\\\\}, \\\\\\\\\\\\\\\\\\\\ 1 + 1 \u0026\\\\equiv 2 \\\\pmod\\\\{9\\\\}, \\\\\\\\\\\\\\\\\\\\ 1 + (-1) \u0026\\\\equiv 0 \\\\pmod\\\\{9\\\\}, \\\\\\\\\\\\\\\\\\\\ -1 + (-1) \u0026\\\\equiv -2 \\\\equiv 7 \\\\pmod\\\\{9\\\\}, \\\\\\\\\\\\\\\\\\\\ 1 + 1 + 1 \u0026\\\\equiv 3 \\\\pmod\\\\{9\\\\}, \\\\\\\\\\\\\\\\\\\\ 1 + 1 + (-1) \u0026\\\\equiv 1 \\\\pmod\\\\{9\\\\}, \\\\\\\\\\\\\\\\\\\\ 1 + (-1) + (-1) \u0026\\\\equiv -1 \\\\equiv 8 \\\\pmod\\\\{9\\\\}, \\\\\\\\\\\\\\\\\\\\ -1 + (-1) + (-1) \u0026\\\\equiv -3 \\\\equiv 6 \\\\pmod\\\\{9\\\\}, \\\\\\\\\\\\\\\\\\\\ 1 + 1 + 1 + 1 \u0026\\\\equiv 4 \\\\pmod\\\\{9\\\\}. \\\\end\\\\{aligned\\\\}\"}]}]\n3b:[\"$\",\"p\",null,{\"children\":\"We see that the sum of four cubes can be congruent to 4 modulo 9. Therefore, the smallest $ t $ is 4.\"}]\n3c:[\"$\",\"p\",null,{\"children\":\"Thus, the smallest positive integer $ t $ such that there exist integers $ x_1, x_2, \\\\ldots, x_t $ with\"}]\n3d:[\"$\",\"p\",null,{\"children\":[\"$\",\"code\",null,{\"children\":\"x_1^3 + x_2^3 + \\\\cdots + x_t^3 = 2002^\\\\{2002\\\\}\"}]}]\n3e:[\"$\",\"p\",null,{\"children\":\"is\"}]\n3f:[\"$\",\"p\",null,{\"children\":[\"$\",\"code\",null,{\"children\":\"\\\\boxed\\\\{4\\\\}.\"}]}]\n40:[\"$\",\"p\",null,{\"children\":\"Problem From IMO Shortlist 2022\"}]\n41:[\"$\",\"p\",null,{\"children\":[\"$\",\"strong\",null,{\"children\":\"Problem\"}]}]\n42:[\"$\",\"p\",null,{\"children\":\"For a positive integer $n$ we denote by $s(n)$ the sum of the digits of $n$. Let $P(x)=x^n+a_{n-1}x^{n-1}+\\\\cdots+a_1x+a_0$ be a polynomial, where $n \\\\geqslant 2$ and $a_i$ is a positive integer for all $ 0 \\\\leqslant i \\\\leqslant n-1$. Could it be the case that, for all positive integers $k$, $s(k)$ and $s(P(k))$ have the same parity?\"}]\n43:[\"$\",\"p\",null,{\"children\":[\"$\",\"strong\",null,{\"children\":\"zen-Math-72B-Instruct Solution\"}]}]\n44:[\"$\",\"p\",null,{\"children\":\"To determine whether it is possible for $ s(k) $ and $ s(P(k)) $ to have the same parity for all positive integers $ k $, we need to analyze the behavior of the sum of the digits function $ s $ and the polynomial $ P(x) $.\"}]\n45:[\"$\",\"p\",null,{\"children\":\"First, recall that the sum of the digits of a number $ k $ modulo 2 is equivalent to $ k \\\\mod 2 $. This is because the sum of the digits of $ k $ in base 10 is congruent to $ k \\\\mod 9 $, and since $ 9 \\\\equiv 1 \\\\mod 2 $, the sum of the digits modulo 2 is the same as $ k \\\\mod 2 $.\"}]\n46:[\"$\",\"p\",null,{\"children\":\"Given the polynomial $ P(x) = x^n + a_{n-1}x^{n-1} + \\\\cdots + a_1x + a_0 $, we need to determine the parity of $ P(k) $ for any positive integer $ k $. Specifically, we need to check if $ P(k) \\\\mod 2 $ is the same as $ k \\\\mod 2 $.\"}]\n47:[\"$\",\"p\",null,{\"children\":\"Let’s consider the polynomial modulo 2:\"}]\n48:[\"$\",\"p\",null,{\"children\":[\"$\",\"code\",null,{\"children\":\"P(x) \\\\equiv x^n + a_\\\\{n-1\\\\}x^\\\\{n-1\\\\} + \\\\cdots + a_1x + a_0 \\\\mod 2.\"}]}]\n49:[\"$\",\"p\",null,{\"children\":\"Since $ a_i $ are positive integers, $ a_i \\\\mod 2 $ is either 0 or 1. Let $ b_i = a_i \\\\mod 2 $. Then we can rewrite the polynomial modulo 2 as:\"}]\n4a:[\"$\",\"p\",null,{\"children\":[\"$\",\"code\",null,{\"children\":\"P(x) \\\\equiv x^n + b_\\\\{n-1\\\\}x^\\\\{n-1\\\\} + \\\\cdots + b_1x + b_0 \\\\mod 2.\"}]}]\n4b:[\"$\",\"p\",null,{\"children\":\"Now, we need to check the parity of $ P(k) $ for $ k \\\\equiv 0 \\\\mod 2 $ and $ k \\\\equiv 1 \\\\mod 2 $.\"}]\n4c:[\"$\",\"ol\",null,{\"children\":[\"\\n\",[\"$\",\"li\",null,{\"children\":[\""])</script><script>self.__next_f.push([1,"$\",\"strong\",null,{\"children\":\"Case 1: $ k \\\\equiv 0 \\\\mod 2 $\"}]}],\"\\n\"]}]\n4d:[\"$\",\"p\",null,{\"children\":[\"$\",\"code\",null,{\"children\":\"P(0) \\\\equiv b_0 \\\\mod 2.\"}]}]\n4e:[\"$\",\"p\",null,{\"children\":\"For $ s(P(0)) $ to have the same parity as $ s(0) $, $ b_0 $ must be 0. Therefore, $ a_0 $ must be even.\"}]\n4f:[\"$\",\"ol\",null,{\"start\":\"2\",\"children\":[\"\\n\",[\"$\",\"li\",null,{\"children\":[\"$\",\"strong\",null,{\"children\":\"Case 2: $ k \\\\equiv 1 \\\\mod 2 $\"}]}],\"\\n\"]}]\n50:[\"$\",\"p\",null,{\"children\":[\"$\",\"code\",null,{\"children\":\"P(1) \\\\equiv 1^n + b_\\\\{n-1\\\\} \\\\cdot 1^\\\\{n-1\\\\} + \\\\cdots + b_1 \\\\cdot 1 + b_0 \\\\equiv 1 + b_\\\\{n-1\\\\} + \\\\cdots + b_1 + b_0 \\\\mod 2.\"}]}]\n51:[\"$\",\"p\",null,{\"children\":\"For $ s(P(1)) $ to have the same parity as $ s(1) $, $ 1 + b_{n-1} + \\\\cdots + b_1 + b_0 $ must be odd. Since $ 1 $ is odd, the sum $ b_{n-1} + \\\\cdots + b_1 + b_0 $ must be even.\"}]\n52:[\"$\",\"p\",null,{\"children\":\"From the above cases, we have:\"}]\n53:[\"$\",\"ul\",null,{\"children\":[\"\\n\",[\"$\",\"li\",null,{\"children\":\"$$ a_0 $ must be even.\"}],\"\\n\",[\"$\",\"li\",null,{\"children\":\"The sum $ b_{n-1} + \\\\cdots + b_1 + b_0 $ must be even.\"}],\"\\n\"]}]\n54:[\"$\",\"p\",null,{\"children\":\"However, if $ a_0 $ is even, then $ b_0 = 0 $. This means the sum $ b_{n-1} + \\\\cdots + b_1 $ must be even. But since $ b_i $ are either 0 or 1, the sum of $ b_{n-1} + \\\\cdots + b_1 $ being even implies that there must be an even number of 1’s among $ b_{n-1}, \\\\ldots, b_1 $.\"}]\n55:[\"$\",\"p\",null,{\"children\":\"Now, consider the polynomial $ P(x) = x^n + 1 $. For this polynomial:\"}]\n56:[\"$\",\"ul\",null,{\"children\":[\"\\n\",[\"$\",\"li\",null,{\"children\":\"$$ a_0 = 1 $ (odd), which contradicts our requirement that $ a_0 $ must be even.\"}],\"\\n\",[\"$\",\"li\",null,{\"children\":\"The sum $ b_{n-1} + \\\\cdots + b_1 + b_0 = 1 $ (odd), which also contradicts our requirement that the sum must be even.\"}],\"\\n\"]}]\n57:[\"$\",\"p\",null,{\"children\":\"Therefore, it is impossible for $ s(k) $ and $ s(P(k)) $ to have the same parity for all positive integers $ k $.\"}]\n58:[\"$\",\"p\",null,{\"children\":\"Thus, the final answer is:\"}]\n59:[\"$\",\"p\",null,{\"children\":[\"$\",\"code\",null,{\"children\":\"\\\\boxed\\\\{\\\\text\\\\{No\\\\}\\\\}\"}]}]\n5a:[\"$\",\"p\",null,{\"children\":\"Problem From IMO 2022\"}]\n5b:[\"$\",\"p\",null,{\"children\":[\"$\",\"strong\",null,{\"children\":\"Problem\"}]}]\n5c:[\"$\",\"p\",null,{\"children\":\"Let $\\\\mathbb{R}^+$ denote the set of positive real numbers. Find all functions $f: \\\\mathbb{R}^+ \\\\to \\\\mathbb{R}^+$ such that for each $x \\\\in \\\\mathbb{R}^+$, there is exactly one $y \\\\in \\\\mathbb{R}^+$ satisfying\"}]\n5d:[\"$\",\"p\",null,{\"children\":[\"$\",\"code\",null,{\"children\":\"xf(y)+yf(x) \\\\leq 2\"}]}]\n5e:[\"$\",\"p\",null,{\"children\":[\"$\",\"strong\",null,{\"children\":\"zen-Math-72B-Instruct Solution\"}]}]\n5f:[\"$\",\"p\",null,{\"children\":\"To find all functions $ f: \\\\mathbb{R}^+ \\\\to \\\\mathbb{R}^+ $ such that for each $ x \\\\in \\\\mathbb{R}^+ $, there is exactly one $ y \\\\in \\\\mathbb{R}^+ $ satisfying\"}]\n60:[\"$\",\"p\",null,{\"children\":[\"$\",\"code\",null,{\"children\":\"xf(y) + yf(x) \\\\leq 2,\"}]}]\n61:[\"$\",\"p\",null,{\"children\":\"we will proceed step by step.\"}]\n62:[\"$\",\"p\",null,{\"children\":[[\"$\",\"strong\",null,{\"children\":\"Step 1: Analyze the given inequality\"}],\" Given $ x \\\\in \\\\mathbb{R}^+ $, there exists a unique $ y \\\\in \\\\mathbb{R}^+ $ such that\"]}]\n63:[\"$\",\"p\",null,{\"children\":[\"$\",\"code\",null,{\"children\":\"xf(y) + yf(x) \\\\leq 2.\"}]}]\n64:[\"$\",\"p\",null,{\"children\":\"We need to explore the implications of this condition.\"}]\n65:[\"$\",\"p\",null,{\"children\":[[\"$\",\"strong\",null,{\"children\":\"Step 2: Consider the case $ x = y $\"}],\" Substitute $ y = x $ into the inequality:\"]}]\n66:[\"$\",\"p\",null,{\"children\":[\"$\",\"code\",null,{\"children\":\"xf(x) + xf(x) = 2xf(x) \\\\leq 2.\"}]}]\n67:[\"$\",\"p\",null,{\"children\":\"This simplifies to:\"}]\n68:[\"$\",\"p\",null,{\"children\":[\"$\",\"code\",null,{\"children\":\"xf(x) \\\\leq 1.\"}]}]\n69:[\"$\",\"p\",null,{\"children\":\"Thus, for all $ x \\\\in \\\\mathbb{R}^+ $,\"}]\n6a:[\"$\",\"p\",null,{\"children\":[\"$\",\"code\",null,{\"children\":\"f(x) \\\\leq \\\\frac\\\\{1\\\\}\\\\{x\\\\}.\"}]}]\n6b:[\"$\",\"p\",null,{\"children\":[[\"$\",\"strong\",null,{\"children\":\"Step 3: Consider the uniqueness condition\"}],\" For each $ x \\\\"])</script><script>self.__next_f.push([1,"in \\\\mathbb{R}^+ $, there is exactly one $ y \\\\in \\\\mathbb{R}^+ $ such that $ xf(y) + yf(x) \\\\leq 2 $. We need to ensure that this $ y $ is unique.\"]}]\n6c:[\"$\",\"p\",null,{\"children\":[[\"$\",\"strong\",null,{\"children\":\"Step 4: Test the function $ f(x) = \\\\frac{1}{x} $\"}],\" Consider the function $ f(x) = \\\\frac{1}{x} $. Substitute $ f(x) = \\\\frac{1}{x} $ and $ f(y) = \\\\frac{1}{y} $ into the inequality:\"]}]\n6d:[\"$\",\"p\",null,{\"children\":[\"$\",\"code\",null,{\"children\":\"x \\\\cdot \\\\frac\\\\{1\\\\}\\\\{y\\\\} + y \\\\cdot \\\\frac\\\\{1\\\\}\\\\{x\\\\} = \\\\frac\\\\{x\\\\}\\\\{y\\\\} + \\\\frac\\\\{y\\\\}\\\\{x\\\\}.\"}]}]\n6e:[\"$\",\"p\",null,{\"children\":\"We need:\"}]\n6f:[\"$\",\"p\",null,{\"children\":[\"$\",\"code\",null,{\"children\":\"\\\\frac\\\\{x\\\\}\\\\{y\\\\} + \\\\frac\\\\{y\\\\}\\\\{x\\\\} \\\\leq 2.\"}]}]\n70:[\"$\",\"p\",null,{\"children\":\"Using the AM-GM inequality, we know:\"}]\n71:[\"$\",\"p\",null,{\"children\":[\"$\",\"code\",null,{\"children\":\"\\\\frac\\\\{x\\\\}\\\\{y\\\\} + \\\\frac\\\\{y\\\\}\\\\{x\\\\} \\\\geq 2.\"}]}]\n72:[\"$\",\"p\",null,{\"children\":\"Equality holds if and only if $ \\\\frac{x}{y} = 1 $, which implies $ x = y $.\"}]\n73:[\"$\",\"p\",null,{\"children\":\"Thus, for $ f(x) = \\\\frac{1}{x} $, the inequality $ xf(y) + yf(x) \\\\leq 2 $ holds if and only if $ x = y $. This satisfies the condition that there is exactly one $ y $ for each $ x $.\"}]\n74:[\"$\",\"p\",null,{\"children\":[[\"$\",\"strong\",null,{\"children\":\"Step 5: Verify if other functions can satisfy the condition\"}],\" Suppose there exists another function $ g: \\\\mathbb{R}^+ \\\\to \\\\mathbb{R}^+ $ such that $ g(x) \\\\neq \\\\frac{1}{x} $ for some $ x $. Then, for some $ x $, $ g(x) \u003c \\\\frac{1}{x} $ or $ g(x) \u003e \\\\frac{1}{x} $.\"]}]\n75:[\"$\",\"ul\",null,{\"children\":[\"\\n\",[\"$\",\"li\",null,{\"children\":\"If $ g(x) \u003c \\\\frac{1}{x} $, then $ xg(y) + yg(x) $ might not satisfy the inequality for all $ y $.\"}],\"\\n\",[\"$\",\"li\",null,{\"children\":\"If $ g(x) \u003e \\\\frac{1}{x} $, then $ xg(y) + yg(x) $ might exceed 2 for some $ y $.\"}],\"\\n\"]}]\n76:[\"$\",\"p\",null,{\"children\":\"Thus, any function other than $ f(x) = \\\\frac{1}{x} $ would not satisfy the uniqueness condition.\"}]\n77:[\"$\",\"p\",null,{\"children\":[[\"$\",\"strong\",null,{\"children\":\"Conclusion\"}],\" The only function $ f: \\\\mathbb{R}^+ \\\\to \\\\mathbb{R}^+ $ that satisfies the given condition is:\"]}]\n78:[\"$\",\"p\",null,{\"children\":[\"$\",\"code\",null,{\"children\":\"\\\\boxed\\\\{f(x) = \\\\frac\\\\{1\\\\}\\\\{x\\\\}\\\\}.\"}]}]\n79:[\"$\",\"p\",null,{\"children\":\"Problem from International Zhautykov Olympiad 2020\"}]\n7a:[\"$\",\"p\",null,{\"children\":[\"$\",\"strong\",null,{\"children\":\"Problem\"}]}]\n7b:[\"$\",\"p\",null,{\"children\":\"Let $Z$ be the set of all integers. Find all the function $f: Z \\\\to Z$ such that\"}]\n7c:[\"$\",\"p\",null,{\"children\":[\"$\",\"code\",null,{\"children\":\"f(4x+3y)=f(3x+y)+f(x+2y)\"}]}]\n7d:[\"$\",\"p\",null,{\"children\":\"For all integers $x,y$\"}]\n7e:[\"$\",\"p\",null,{\"children\":[\"$\",\"strong\",null,{\"children\":\"zen-Math-72B-Instruct Solution\"}]}]\n7f:[\"$\",\"p\",null,{\"children\":\"To find all functions $ f: \\\\mathbb{Z} \\\\to \\\\mathbb{Z} $ that satisfy the functional equation\"}]\n80:[\"$\",\"p\",null,{\"children\":[\"$\",\"code\",null,{\"children\":\"f(4x + 3y) = f(3x + y) + f(x + 2y)\"}]}]\n81:[\"$\",\"p\",null,{\"children\":\"for all integers $ x $ and $ y $, we will proceed step by step.\"}]\n82:[\"$\",\"p\",null,{\"children\":[\"$\",\"strong\",null,{\"children\":\"Step 1: Initial Substitution\"}]}]\n83:[\"$\",\"p\",null,{\"children\":\"First, let’s substitute specific values for $ x $ and $ y $ to gain insight into the function.\"}]\n84:[\"$\",\"p\",null,{\"children\":\"Substitution 1: $ x = 0 $\"}]\n85:[\"$\",\"p\",null,{\"children\":[\"$\",\"code\",null,{\"children\":\"f(4 \\\\cdot 0 + 3y) = f(3 \\\\cdot 0 + y) + f(0 + 2y)\"}]}]\n86:[\"$\",\"p\",null,{\"children\":[\"$\",\"code\",null,{\"children\":\"f(3y) = f(y) + f(2y)\"}]}]\n87:[\"$\",\"p\",null,{\"children\":\"Substitution 2: $ y = 0 $\"}]\n88:[\"$\",\"p\",null,{\"children\":[\"$\",\"code\",null,{\"children\":\"f(4x + 3 \\\\cdot 0) = f(3x + 0) + f(x + 2 \\\\cdot 0)\"}]}]\n89:[\"$\",\"p\",null,{\"children\":[\"$\",\"code\",null,{\"children\":\"f(4x) = f(3x) + f(x)\"}]}]\n8a:[\"$\",\"p\",null,{\"children\":[\"$\",\"strong\",null,{\"children\":\"Step 2: Exploring Further Substitutions\"}]}]\n8b:[\"$\",\"p\",null,{\"children\":\"We now have two equations:\"}]\n8c:[\"$\",\"ol\",null,{\"children\":[\"\\n\",[\"$\",\"li\",null,{"])</script><script>self.__next_f.push([1,"\"children\":\"$$ f(3y) = f(y) + f(2y) $\"}],\"\\n\",[\"$\",\"li\",null,{\"children\":\"$$ f(4x) = f(3x) + f(x) $\"}],\"\\n\"]}]\n8d:[\"$\",\"p\",null,{\"children\":\"Substitution 3: $ y = 1 $ in the first equation\"}]\n8e:[\"$\",\"p\",null,{\"children\":[\"$\",\"code\",null,{\"children\":\"f(3 \\\\cdot 1) = f(1) + f(2 \\\\cdot 1)\"}]}]\n8f:[\"$\",\"p\",null,{\"children\":[\"$\",\"code\",null,{\"children\":\"f(3) = f(1) + f(2)\"}]}]\n90:[\"$\",\"p\",null,{\"children\":\"Substitution 4: $ x = 1 $ in the second equation\"}]\n91:[\"$\",\"p\",null,{\"children\":[\"$\",\"code\",null,{\"children\":\"f(4 \\\\cdot 1) = f(3 \\\\cdot 1) + f(1)\"}]}]\n92:[\"$\",\"p\",null,{\"children\":[\"$\",\"code\",null,{\"children\":\"f(4) = f(3) + f(1)\"}]}]\n93:[\"$\",\"p\",null,{\"children\":[\"$\",\"strong\",null,{\"children\":\"Step 3: Using the Equations to Find a Pattern\"}]}]\n94:[\"$\",\"p\",null,{\"children\":\"We have:\"}]\n95:[\"$\",\"p\",null,{\"children\":[\"$\",\"code\",null,{\"children\":\"f(3) = f(1) + f(2)\"}]}]\n96:[\"$\",\"p\",null,{\"children\":[\"$\",\"code\",null,{\"children\":\"f(4) = f(3) + f(1)\"}]}]\n97:[\"$\",\"p\",null,{\"children\":\"Substitute $ f(3) $ from the first equation into the second equation:\"}]\n98:[\"$\",\"p\",null,{\"children\":[\"$\",\"code\",null,{\"children\":\"f(4) = (f(1) + f(2)) + f(1)\"}]}]\n99:[\"$\",\"p\",null,{\"children\":[\"$\",\"code\",null,{\"children\":\"f(4) = 2f(1) + f(2)\"}]}]\n9a:[\"$\",\"p\",null,{\"children\":[\"$\",\"strong\",null,{\"children\":\"Step 4: Generalizing the Function\"}]}]\n9b:[\"$\",\"p\",null,{\"children\":\"We hypothesize that $ f $ might be a linear function. Let’s assume $ f(x) = kx $ for some integer $ k $.\"}]\n9c:[\"$\",\"p\",null,{\"children\":[[\"$\",\"em\",null,{\"children\":\"Verification\"}],\" Substitute $ f(x) = kx $ into the original functional equation:\"]}]\n9d:[\"$\",\"p\",null,{\"children\":[\"$\",\"code\",null,{\"children\":\"f(4x + 3y) = k(4x + 3y)\"}]}]\n9e:[\"$\",\"p\",null,{\"children\":[\"$\",\"code\",null,{\"children\":\"f(3x + y) = k(3x + y)\"}]}]\n9f:[\"$\",\"p\",null,{\"children\":[\"$\",\"code\",null,{\"children\":\"f(x + 2y) = k(x + 2y)\"}]}]\na0:[\"$\",\"p\",null,{\"children\":\"The original equation becomes:\"}]\na1:[\"$\",\"p\",null,{\"children\":[\"$\",\"code\",null,{\"children\":\"k(4x + 3y) = k(3x + y) + k(x + 2y)\"}]}]\na2:[\"$\",\"p\",null,{\"children\":[\"$\",\"code\",null,{\"children\":\"4kx + 3ky = 3kx + ky + kx + 2ky\"}]}]\na3:[\"$\",\"p\",null,{\"children\":[\"$\",\"code\",null,{\"children\":\"4kx + 3ky = 4kx + 3ky\"}]}]\na4:[\"$\",\"p\",null,{\"children\":\"This equation holds true for all $ x $ and $ y $, confirming that $ f(x) = kx $ is a solution.\"}]\na5:[\"$\",\"p\",null,{\"children\":[\"$\",\"strong\",null,{\"children\":\"Conclusion\"}]}]\na6:[\"$\",\"p\",null,{\"children\":\"The only functions $ f: \\\\mathbb{Z} \\\\to \\\\mathbb{Z} $ that satisfy the given functional equation are of the form $ f(x) = kx $ for some integer $ k $.\"}]\na7:[\"$\",\"p\",null,{\"children\":\"Thus, the final answer is:\"}]\na8:[\"$\",\"p\",null,{\"children\":[\"$\",\"code\",null,{\"children\":\"\\\\boxed\\\\{f(x) = kx \\\\text\\\\{ for some integer \\\\} k\\\\}\"}]}]\na9:[\"$\",\"p\",null,{\"children\":\"Problem From Baltic Way 2023\"}]\naa:[\"$\",\"p\",null,{\"children\":[\"$\",\"strong\",null,{\"children\":\"Problem\"}]}]\nab:[\"$\",\"p\",null,{\"children\":\"Find all functions $f: \\\\mathbb{R} \\\\rightarrow \\\\mathbb{R}$ such that\"}]\nac:[\"$\",\"p\",null,{\"children\":[\"$\",\"code\",null,{\"children\":\"f(f(x)+y)+xf(y)=f(xy+y)+f(x)\"}]}]\nad:[\"$\",\"$L132\",null,{\"className\":\"shiki shiki-themes github-light github-dark\",\"style\":{\"--shiki-light\":\"#24292e\",\"--shiki-dark\":\"#e1e4e8\",\"--shiki-light-bg\":\"#fff\",\"--shiki-dark-bg\":\"#24292e\"},\"tabIndex\":\"0\",\"icon\":\"\u003csvg viewBox=\\\"0 0 24 24\\\"\u003e\u003cpath d=\\\"M 6,1 C 4.354992,1 3,2.354992 3,4 v 16 c 0,1.645008 1.354992,3 3,3 h 12 c 1.645008,0 3,-1.354992 3,-3 V 8 7 A 1.0001,1.0001 0 0 0 20.707031,6.2929687 l -5,-5 A 1.0001,1.0001 0 0 0 15,1 h -1 z m 0,2 h 7 v 3 c 0,1.645008 1.354992,3 3,3 h 3 v 11 c 0,0.564129 -0.435871,1 -1,1 H 6 C 5.4358712,21 5,20.564129 5,20 V 4 C 5,3.4358712 5.4358712,3 6,3 Z M 15,3.4140625 18.585937,7 H 16 C 15.435871,7 15,6.5641288 15,6 Z\\\" fill=\\\"currentColor\\\" /\u003e\u003c/svg\u003e\",\"children\":[\"$\",\"$L133\",null,{\"children\":[\"$\",\"code\",null,{\"children\":[[\"$\",\"span\",null,{\"className\":\"line\",\"children\":[\"$\",\"span\",null,{}]}],\"\\n\",[\"$\",\"span\",null,{\"className\":\"line\",\"children\":[\"$\",\"span\",null,{\"children\":\" for reals $x, y$.\"}]}],\"\\n\",[\"$\",\""])</script><script>self.__next_f.push([1,"span\",null,{\"className\":\"line\",\"children\":[\"$\",\"span\",null,{\"children\":\" \"}]}]]}]}]}]\nae:[\"$\",\"p\",null,{\"children\":[\"$\",\"strong\",null,{\"children\":\"zen-Math-72B-Instruct Solution:\"}]}]\naf:[\"$\",\"p\",null,{\"children\":\"To find all functions $ f: \\\\mathbb{R} \\\\rightarrow \\\\mathbb{R} $ that satisfy the functional equation\"}]\nb0:[\"$\",\"p\",null,{\"children\":[\"$\",\"code\",null,{\"children\":\"f(f(x) + y) + x f(y) = f(xy + y) + f(x),\"}]}]\nb1:[\"$\",\"p\",null,{\"children\":\"we will proceed step by step.\"}]\nb2:[\"$\",\"p\",null,{\"children\":[\"$\",\"strong\",null,{\"children\":\"Step 1: Initial Substitution\"}]}]\nb3:[\"$\",\"p\",null,{\"children\":\"First, let’s substitute $ y = 0 $ into the equation:\"}]\nb4:[\"$\",\"p\",null,{\"children\":[\"$\",\"code\",null,{\"children\":\"f(f(x) + 0) + x f(0) = f(x \\\\cdot 0 + 0) + f(x).\"}]}]\nb5:[\"$\",\"p\",null,{\"children\":\"This simplifies to:\"}]\nb6:[\"$\",\"p\",null,{\"children\":[\"$\",\"code\",null,{\"children\":\"f(f(x)) + x f(0) = f(0) + f(x).\"}]}]\nb7:[\"$\",\"p\",null,{\"children\":\"Rearranging terms, we get:\"}]\nb8:[\"$\",\"p\",null,{\"children\":[\"$\",\"code\",null,{\"children\":\"f(f(x)) = f(x) + f(0) - x f(0).\"}]}]\nb9:[\"$\",\"p\",null,{\"children\":[\"$\",\"strong\",null,{\"children\":\"Step 2: Analyzing the Simplified Equation\"}]}]\nba:[\"$\",\"p\",null,{\"children\":\"Let $ c = f(0) $. The equation becomes:\"}]\nbb:[\"$\",\"p\",null,{\"children\":[\"$\",\"code\",null,{\"children\":\"f(f(x)) = f(x) + c - x c.\"}]}]\nbc:[\"$\",\"p\",null,{\"children\":[\"$\",\"strong\",null,{\"children\":\"Step 3: Substituting $ x = 0 $\"}]}]\nbd:[\"$\",\"p\",null,{\"children\":\"Next, substitute $ x = 0 $ into the original equation:\"}]\nbe:[\"$\",\"p\",null,{\"children\":[\"$\",\"code\",null,{\"children\":\"f(f(0) + y) + 0 \\\\cdot f(y) = f(0 \\\\cdot y + y) + f(0).\"}]}]\nbf:[\"$\",\"p\",null,{\"children\":\"This simplifies to:\"}]\nc0:[\"$\",\"p\",null,{\"children\":[\"$\",\"code\",null,{\"children\":\"f(c + y) = f(y) + c.\"}]}]\nc1:[\"$\",\"p\",null,{\"children\":[\"$\",\"strong\",null,{\"children\":\"Step 4: Substituting $ y = -c $\"}]}]\nc2:[\"$\",\"p\",null,{\"children\":\"Substitute $ y = -c $ into the equation $ f(c + y) = f(y) + c $:\"}]\nc3:[\"$\",\"p\",null,{\"children\":[\"$\",\"code\",null,{\"children\":\"f(c - c) = f(-c) + c.\"}]}]\nc4:[\"$\",\"p\",null,{\"children\":\"This simplifies to:\"}]\nc5:[\"$\",\"p\",null,{\"children\":[\"$\",\"code\",null,{\"children\":\"f(0) = f(-c) + c.\"}]}]\nc6:[\"$\",\"p\",null,{\"children\":\"Since $ f(0) = c $, we have:\"}]\nc7:[\"$\",\"p\",null,{\"children\":[\"$\",\"code\",null,{\"children\":\"c = f(-c) + c.\"}]}]\nc8:[\"$\",\"p\",null,{\"children\":\"Subtracting $ c $ from both sides, we get:\"}]\nc9:[\"$\",\"p\",null,{\"children\":[\"$\",\"code\",null,{\"children\":\"f(-c) = 0.\"}]}]\nca:[\"$\",\"p\",null,{\"children\":[\"$\",\"strong\",null,{\"children\":\"Step 5: Substituting $ y = -f(x) $\"}]}]\ncb:[\"$\",\"p\",null,{\"children\":\"Substitute $ y = -f(x) $ into the original equation:\"}]\ncc:[\"$\",\"p\",null,{\"children\":[\"$\",\"code\",null,{\"children\":\"f(f(x) - f(x)) + x f(-f(x)) = f(x(-f(x)) - f(x)) + f(x).\"}]}]\ncd:[\"$\",\"p\",null,{\"children\":\"This simplifies to:\"}]\nce:[\"$\",\"p\",null,{\"children\":[\"$\",\"code\",null,{\"children\":\"f(0) + x f(-f(x)) = f(-x f(x) - f(x)) + f(x).\"}]}]\ncf:[\"$\",\"p\",null,{\"children\":\"Since $ f(0) = c $, we have:\"}]\nd0:[\"$\",\"p\",null,{\"children\":[\"$\",\"code\",null,{\"children\":\"c + x f(-f(x)) = f(-x f(x) - f(x)) + f(x).\"}]}]\nd1:[\"$\",\"p\",null,{\"children\":[\"$\",\"strong\",null,{\"children\":\"Step 6: Considering $ f(x) = 0 $\"}]}]\nd2:[\"$\",\"p\",null,{\"children\":\"Assume $ f(x) = 0 $ for all $ x $. Substitute $ f(x) = 0 $ into the original equation:\"}]\nd3:[\"$\",\"p\",null,{\"children\":[\"$\",\"code\",null,{\"children\":\"f(0 + y) + x f(y) = f(xy + y) + f(x).\"}]}]\nd4:[\"$\",\"p\",null,{\"children\":\"This simplifies to:\"}]\nd5:[\"$\",\"p\",null,{\"children\":[\"$\",\"code\",null,{\"children\":\"f(y) + 0 = f(y) + 0,\"}]}]\nd6:[\"$\",\"p\",null,{\"children\":\"which is always true.\"}]\nd7:[\"$\",\"p\",null,{\"children\":[\"$\",\"strong\",null,{\"children\":\"Step 7: Verifying $ f(x) = x $\"}]}]\nd8:[\"$\",\"p\",null,{\"children\":\"Assume $ f(x) = x $. Substitute $ f(x) = x $ into the original equation:\"}]\nd9:[\"$\",\"p\",null,{\"children\":[\"$\",\"code\",null,{\"children\":\"f(x + y) + x f(y) = f(xy + y) + f(x).\"}]}]\nda:[\"$\",\"p\",null,{\"children\":\"This simplifies to:\"}]\ndb:[\"$\",\"p\",null,{\"children\":[\"$\",\"code\",null,{\"children\":\"x + y + xy"])</script><script>self.__next_f.push([1," = xy + y + x,\"}]}]\ndc:[\"$\",\"p\",null,{\"children\":\"which is always true.\"}]\ndd:[\"$\",\"p\",null,{\"children\":[\"$\",\"strong\",null,{\"children\":\"Conclusion\"}]}]\nde:[\"$\",\"p\",null,{\"children\":\"The only functions that satisfy the given functional equation are $ f(x) = 0 $ and $ f(x) = x $. Therefore, the solutions are:\"}]\ndf:[\"$\",\"p\",null,{\"children\":[\"$\",\"code\",null,{\"children\":\"\\\\boxed\\\\{f(x) = 0 \\\\text\\\\{ or \\\\} f(x) = x\\\\}.\"}]}]\ne0:[\"$\",\"p\",null,{\"children\":\"Problem From Lusophon Mathematical Olympiad 2023\"}]\ne1:[\"$\",\"p\",null,{\"children\":[\"$\",\"strong\",null,{\"children\":\"Problem\"}]}]\ne2:[\"$\",\"p\",null,{\"children\":\"A long time ago, there existed Martians with $ 3$ different colours: red, green and blue. As Mars was devastated by an intergalactic war, only $ 2$ Martians of each colours survived. In order to reconstruct the Martian population, they decided to use a machine that transforms two Martians of distinct colours into four Martians of colour different to the two initial ones. For example, if a red Martian and a blue Martian use the machine, they’ll be transformed into four green Martians.\"}]\ne3:[\"$\",\"p\",null,{\"children\":\"a) Is it possible that, after using that machine finitely many times, we have $ 2022 $ red Martians, $ 2022$ green Martians and $ 2022$ blue Martians?\"}]\ne4:[\"$\",\"p\",null,{\"children\":\"b) Is it possible that, after using that machine finitely many times, we have $ 2021$ red Martians, $ 2022$ green Martians and $ 2023$ blue Martians?\"}]\ne5:[\"$\",\"p\",null,{\"children\":[\"$\",\"strong\",null,{\"children\":\"zen-Math-72B-Instruct Solution\"}]}]\ne6:[\"$\",\"p\",null,{\"children\":\"Let’s analyze the problem step by step.\"}]\ne7:[\"$\",\"p\",null,{\"children\":[\"$\",\"strong\",null,{\"children\":\"Part (a)\"}]}]\ne8:[\"$\",\"p\",null,{\"children\":\"We start with 2 red, 2 green, and 2 blue Martians. The machine transforms two Martians of distinct colors into four Martians of the third color. We need to determine if it is possible to end up with 2022 red, 2022 green, and 2022 blue Martians.\"}]\ne9:[\"$\",\"p\",null,{\"children\":\"First, let’s consider the parity (odd or even nature) of the number of Martians of each color. Initially, we have:\"}]\nea:[\"$\",\"ul\",null,{\"children\":[\"\\n\",[\"$\",\"li\",null,{\"children\":\"2 red (even)\"}],\"\\n\",[\"$\",\"li\",null,{\"children\":\"2 green (even)\"}],\"\\n\",[\"$\",\"li\",null,{\"children\":\"2 blue (even)\"}],\"\\n\"]}]\neb:[\"$\",\"p\",null,{\"children\":\"Each transformation changes the parity of the number of Martians of the two initial colors and the parity of the number of Martians of the third color. Specifically:\"}]\nec:[\"$\",\"ul\",null,{\"children\":[\"\\n\",[\"$\",\"li\",null,{\"children\":\"If we transform 1 red and 1 green Martian, we get 4 blue Martians. This changes the parity of red and green Martians from even to odd, and the parity of blue Martians from even to odd.\"}],\"\\n\",[\"$\",\"li\",null,{\"children\":\"If we transform 1 red and 1 blue Martian, we get 4 green Martians. This changes the parity of red and blue Martians from even to odd, and the parity of green Martians from even to odd.\"}],\"\\n\",[\"$\",\"li\",null,{\"children\":\"If we transform 1 green and 1 blue Martian, we get 4 red Martians. This changes the parity of green and blue Martians from even to odd, and the parity of red Martians from even to odd.\"}],\"\\n\"]}]\ned:[\"$\",\"p\",null,{\"children\":\"In all cases, the parity of the number of Martians of each color changes from even to odd or from odd to even. Therefore, after any number of transformations, the parity of the number of Martians of each color will always be the same as it was initially.\"}]\nee:[\"$\",\"p\",null,{\"children\":\"Since initially all three colors have an even number of Martians, after any number of transformations, the number of Martians of each color will remain even.\"}]\nef:[\"$\",\"p\",null,{\"children\":\"Given that 2022 is an even number, it is possible to have 2022 red, 2022 green, and 2022 blue Martians after a finite number of transformations.\"}]\nf0:[\"$\",\"p\",null,{\"children\":\"Thus, the answer to part (a) is:\"}]\nf1:[\"$\",\"p\",null,{\"children\":[\"$\",\"code\",null,{\"children\":\"\\\\boxed\\\\{\\\\text\\\\{Yes\\\\}\\\\}\"}]}]\nf2:[\"$\",\"p\",null,{\"children\":[\"$\",\"strong\","])</script><script>self.__next_f.push([1,"null,{\"children\":\"Part (b)\"}]}]\nf3:[\"$\",\"p\",null,{\"children\":\"We start again with 2 red, 2 green, and 2 blue Martians. We need to determine if it is possible to end up with 2021 red, 2022 green, and 2023 blue Martians.\"}]\nf4:[\"$\",\"p\",null,{\"children\":\"As in part (a), we consider the parity of the number of Martians of each color. Initially, we have:\"}]\nf5:[\"$\",\"ul\",null,{\"children\":[\"\\n\",[\"$\",\"li\",null,{\"children\":\"2 red (even)\"}],\"\\n\",[\"$\",\"li\",null,{\"children\":\"2 green (even)\"}],\"\\n\",[\"$\",\"li\",null,{\"children\":\"2 blue (even)\"}],\"\\n\"]}]\nf6:[\"$\",\"p\",null,{\"children\":\"Each transformation changes the parity of the number of Martians of the two initial colors and the parity of the number of Martians of the third color. Therefore, after any number of transformations, the parity of the number of Martians of each color will always be the same as it was initially.\"}]\nf7:[\"$\",\"p\",null,{\"children\":\"Since initially all three colors have an even number of Martians, after any number of transformations, the number of Martians of each color will remain even.\"}]\nf8:[\"$\",\"p\",null,{\"children\":\"Given that 2021 is an odd number, it is impossible to have 2021 red Martians after any number of transformations. Similarly, 2023 is an odd number, making it impossible to have 2023 blue Martians.\"}]\nf9:[\"$\",\"p\",null,{\"children\":\"Thus, the answer to part (b) is:\"}]\nfa:[\"$\",\"p\",null,{\"children\":[\"$\",\"code\",null,{\"children\":\"\\\\boxed\\\\{\\\\text\\\\{No\\\\}\\\\}\"}]}]\nfb:[\"$\",\"p\",null,{\"children\":\"Problem From Balkan MO 2023\"}]\nfc:[\"$\",\"p\",null,{\"children\":[\"$\",\"strong\",null,{\"children\":\"Problem\"}]}]\nfd:[\"$\",\"p\",null,{\"children\":\"Joe and Penny play a game. Initially there are $ 5000$ stones in a pile, and the two players remove stones from the pile by making a sequence of moves. On the $ k$-th move, any number of stones between $ 1$ and $ k$ inclusive may be removed. Joe makes the odd-numbered moves and Penny makes the even-numbered moves. The player who removes the very last stone is the winner. Who wins if both players play perfectly?\"}]\nfe:[\"$\",\"p\",null,{\"children\":[\"$\",\"strong\",null,{\"children\":\"zen-Math-72B-Instruct Solution\"}]}]\nff:[\"$\",\"p\",null,{\"children\":\"To determine the winner of the game, we need to analyze the strategy and the sequence of moves. Let’s break down the problem step by step.\"}]\n"])</script><script>self.__next_f.push([1,"100:[\"$\",\"ol\",null,{\"children\":[\"\\n\",[\"$\",\"li\",null,{\"children\":[\"\\n\",[\"$\",\"p\",null,{\"children\":[\"$\",\"strong\",null,{\"children\":\"Understanding the Game Rules:\"}]}],\"\\n\",[\"$\",\"ul\",null,{\"children\":[\"\\n\",[\"$\",\"li\",null,{\"children\":\"Initially, there are 5000 stones.\"}],\"\\n\",[\"$\",\"li\",null,{\"children\":\"Joe makes the first move (odd-numbered move), Penny makes the second move (even-numbered move), and so on.\"}],\"\\n\",[\"$\",\"li\",null,{\"children\":\"On the $ k $-th move, a player can remove between 1 and $ k $ stones.\"}],\"\\n\",[\"$\",\"li\",null,{\"children\":\"The player who removes the last stone wins.\"}],\"\\n\"]}],\"\\n\"]}],\"\\n\",[\"$\",\"li\",null,{\"children\":[\"\\n\",[\"$\",\"p\",null,{\"children\":[\"$\",\"strong\",null,{\"children\":\"Key Insight:\"}]}],\"\\n\",[\"$\",\"ul\",null,{\"children\":[\"\\n\",[\"$\",\"li\",null,{\"children\":\"The game is symmetric in the sense that the number of stones a player can remove on their turn increases linearly with the move number.\"}],\"\\n\",[\"$\",\"li\",null,{\"children\":\"The total number of moves in the game is equal to the number of stones initially in the pile, which is 5000.\"}],\"\\n\"]}],\"\\n\"]}],\"\\n\",[\"$\",\"li\",null,{\"children\":[\"\\n\",[\"$\",\"p\",null,{\"children\":[\"$\",\"strong\",null,{\"children\":\"Total Number of Moves:\"}]}],\"\\n\",[\"$\",\"ul\",null,{\"children\":[\"\\n\",[\"$\",\"li\",null,{\"children\":\"Since there are 5000 stones, there will be 5000 moves in total.\"}],\"\\n\",[\"$\",\"li\",null,{\"children\":\"Joe makes the odd-numbered moves: 1st, 3rd, 5th, …, 4999th.\"}],\"\\n\",[\"$\",\"li\",null,{\"children\":\"Penny makes the even-numbered moves: 2nd, 4th, 6th, …, 5000th.\"}],\"\\n\"]}],\"\\n\"]}],\"\\n\",[\"$\",\"li\",null,{\"children\":[\"\\n\",[\"$\",\"p\",null,{\"children\":[\"$\",\"strong\",null,{\"children\":\"Determining the Winner:\"}]}],\"\\n\",[\"$\",\"ul\",null,{\"children\":[\"\\n\",[\"$\",\"li\",null,{\"children\":\"The last move (5000th move) is an even-numbered move.\"}],\"\\n\",[\"$\",\"li\",null,{\"children\":\"Therefore, Penny will make the last move.\"}],\"\\n\"]}],\"\\n\"]}],\"\\n\",[\"$\",\"li\",null,{\"children\":[\"\\n\",[\"$\",\"p\",null,{\"children\":[\"$\",\"strong\",null,{\"children\":\"Conclusion:\"}]}],\"\\n\",[\"$\",\"ul\",null,{\"children\":[\"\\n\",[\"$\",\"li\",null,{\"children\":\"Since Penny makes the last move, she will be the one to remove the last stone.\"}],\"\\n\",[\"$\",\"li\",null,{\"children\":\"Hence, Penny wins the game if both players play perfectly.\"}],\"\\n\"]}],\"\\n\"]}],\"\\n\"]}]\n"])</script><script>self.__next_f.push([1,"101:[\"$\",\"p\",null,{\"children\":\"Thus, the final answer is:\"}]\n102:[\"$\",\"p\",null,{\"children\":[\"$\",\"code\",null,{\"children\":\"\\\\boxed\\\\{\\\\text\\\\{Penny\\\\}\\\\}\"}]}]\n103:[\"$\",\"p\",null,{\"children\":\"Problem From Math Odyssey\"}]\n104:[\"$\",\"p\",null,{\"children\":[\"$\",\"strong\",null,{\"children\":\"Problem\"}]}]\n105:[\"$\",\"p\",null,{\"children\":\"The school offers 10 elective courses, and each student can enroll in any number of courses. The director selects $k$ students, where although each student’s combination of courses is different, any two students have at least one course in common. At this point, it is found that any student outside these $k$ students cannot be classmates with these $k$ students regardless of how they enroll (having one course in common is enough to be classmates). Find the maximum number of $k$.\"}]\n106:[\"$\",\"p\",null,{\"children\":[\"$\",\"strong\",null,{\"children\":\"zen-Math-72B-Instruct Solution\"}]}]\n107:[\"$\",\"p\",null,{\"children\":\"To solve this problem, we need to determine the maximum number of students $ k $ such that each student has a unique combination of elective courses, any two students share at least one course, and no student outside these $ k $ students can be classmates with all of them. This means that the set of students chosen must cover all possible courses in such a way that any new student would have to share a course with at least one of the chosen students.\"}]\n108:[\"$\",\"p\",null,{\"children\":\"First, let’s consider the total number of possible combinations of courses. Since there are 10 elective courses and each student can either take or not take each course, there are $ 2^{10} = 1024 $ possible combinations of courses. However, one of these combinations is the empty set (the student takes no courses), which is not a valid combination for our problem because it would not share any courses with any other student. Therefore, there are $ 1024 - 1 = 1023 $ non-empty combinations of courses.\"}]\n109:[\"$\",\"p\",null,{\"children\":\"We need to find the maximum number of students $ k $ such that any two students share at least one course, and no student outside these $ k $ students can be classmates with all of them. This is equivalent to finding the maximum number of vertices in a graph where each vertex represents a non-empty combination of courses, and there is an edge between two vertices if and only if the corresponding combinations share at least one course. The condition that no student outside these $ k $ students can be classmates with all of them means that the set of $ k $ students forms a dominating set in the graph.\"}]\n10a:[\"$\",\"p\",null,{\"children\":\"The maximum size of such a set is the complement of the minimum size of an independent set in the graph. An independent set in this graph is a set of vertices such that no two vertices are adjacent, which means no two combinations share any course. The maximum size of an independent set in this graph is the number of combinations where each course is either taken or not taken by exactly one student, which is $ 2^9 = 512 $ (since we can choose to include or exclude each of the 9 remaining courses for each of the 10 courses).\"}]\n10b:[\"$\",\"p\",null,{\"children\":\"Therefore, the minimum size of an independent set is 512, and the maximum size of a dominating set (which is the complement of the independent set) is $ 1023 - 512 + 1 = 511 $. However, we need to add 1 because the empty set is not included, so the correct calculation is $ 1023 - 511 = 512 $.\"}]\n10c:[\"$\",\"p\",null,{\"children\":\"Thus, the maximum number of students $ k $ is $\\\\boxed{512}$.\"}]\n10d:[\"$\",\"p\",null,{\"children\":\"Problem from USAMO 2010\"}]\n10e:[\"$\",\"p\",null,{\"children\":[\"$\",\"strong\",null,{\"children\":\"Problem\"}]}]\n10f:[\"$\",\"p\",null,{\"children\":\"Let $ABC$ be a triangle with $\\\\angle A = 90^{\\\\circ}$. Points $D$ and $E$ lie on sides $AC$ and $AB$, respectively, such that $\\\\angle ABD = \\\\angle DBC$ and $\\\\angle ACE = \\\\angle ECB$. Segments $BD$ and $CE$ meet at $I$. Determine whether or not it is possible for segments $AB$, $AC$, $BI$, $ID$, $CI$, $IE$ to all have integer lengths.\"}]\n110:[\"$\",\"p\",null,{\""])</script><script>self.__next_f.push([1,"children\":[\"$\",\"strong\",null,{\"children\":\"zen-Math-72B-Instruct Solution\"}]}]\n111:[\"$\",\"p\",null,{\"children\":\"To determine whether it is possible for segments $AB$, $AC$, $BI$, $ID$, $CI$, and $IE$ to all have integer lengths in triangle $ABC$ with $\\\\angle A = 90^\\\\circ$, we start by analyzing the given conditions and properties of the triangle.\"}]\n112:[\"$\",\"p\",null,{\"children\":\"Given:\"}]\n113:[\"$\",\"ul\",null,{\"children\":[\"\\n\",[\"$\",\"li\",null,{\"children\":\"$$\\\\angle A = 90^\\\\circ$\"}],\"\\n\",[\"$\",\"li\",null,{\"children\":\"$$\\\\angle ABD = \\\\angle DBC$\"}],\"\\n\",[\"$\",\"li\",null,{\"children\":\"$$\\\\angle ACE = \\\\angle ECB$\"}],\"\\n\",[\"$\",\"li\",null,{\"children\":\"Segments $BD$ and $CE$ intersect at $I$\"}],\"\\n\"]}]\n114:[\"$\",\"p\",null,{\"children\":\"First, note that since $\\\\angle A = 90^\\\\circ$, triangle $ABC$ is a right triangle with $A$ as the right angle. Points $D$ and $E$ are such that $BD$ and $CE$ are angle bisectors of $\\\\angle ABC$ and $\\\\angle ACB$, respectively. Therefore, $I$ is the incenter of triangle $ABC$.\"}]\n115:[\"$\",\"p\",null,{\"children\":[[\"$\",\"strong\",null,{\"children\":\"Step 1: Coordinates and Lengths\"}],\" Assume $A$ is at the origin $(0, 0)$, $B$ is at $(a, 0)$, and $C$ is at $(0, b)$. The lengths of the sides are:\"]}]\n116:[\"$\",\"ul\",null,{\"children\":[\"\\n\",[\"$\",\"li\",null,{\"children\":\"$$AB = a$\"}],\"\\n\",[\"$\",\"li\",null,{\"children\":\"$$AC = b$\"}],\"\\n\",[\"$\",\"li\",null,{\"children\":\"$$BC = \\\\sqrt{a^2 + b^2}$\"}],\"\\n\"]}]\n117:[\"$\",\"p\",null,{\"children\":[[\"$\",\"strong\",null,{\"children\":\"Step 2: Incenter Coordinates\"}],\" The incenter $I$ of a right triangle with legs $a$ and $b$ and hypotenuse $\\\\sqrt{a^2 + b^2}$ is located at:\"]}]\n118:[\"$\",\"p\",null,{\"children\":[\"$\",\"code\",null,{\"children\":\"I = \\\\left( \\\\frac\\\\{a\\\\}\\\\{2\\\\}, \\\\frac\\\\{b\\\\}\\\\{2\\\\} \\\\right)\"}]}]\n119:[\"$\",\"p\",null,{\"children\":[[\"$\",\"strong\",null,{\"children\":\"Step 3: Lengths of Segments $BI$ and $CI$\"}],\" Using the distance formula, we calculate $BI$ and $CI$:\"]}]\n11a:[\"$\",\"p\",null,{\"children\":[\"$\",\"code\",null,{\"children\":\"BI = \\\\sqrt\\\\{\\\\left( a - \\\\frac\\\\{a\\\\}\\\\{2\\\\} \\\\right)^2 + \\\\left( 0 - \\\\frac\\\\{b\\\\}\\\\{2\\\\} \\\\right)^2\\\\} = \\\\sqrt\\\\{\\\\left( \\\\frac\\\\{a\\\\}\\\\{2\\\\} \\\\right)^2 + \\\\left( \\\\frac\\\\{b\\\\}\\\\{2\\\\} \\\\right)^2\\\\} = \\\\frac\\\\{\\\\sqrt\\\\{a^2 + b^2\\\\}\\\\}\\\\{2\\\\}\"}]}]\n11b:[\"$\",\"p\",null,{\"children\":[\"$\",\"code\",null,{\"children\":\"CI = \\\\sqrt\\\\{\\\\left( 0 - \\\\frac\\\\{a\\\\}\\\\{2\\\\} \\\\right)^2 + \\\\left( b - \\\\frac\\\\{b\\\\}\\\\{2\\\\} \\\\right)^2\\\\} = \\\\sqrt\\\\{\\\\left( \\\\frac\\\\{a\\\\}\\\\{2\\\\} \\\\right)^2 + \\\\left( \\\\frac\\\\{b\\\\}\\\\{2\\\\} \\\\right)^2\\\\} = \\\\frac\\\\{\\\\sqrt\\\\{a^2 + b^2\\\\}\\\\}\\\\{2\\\\}\"}]}]\n11c:[\"$\",\"p\",null,{\"children\":[[\"$\",\"strong\",null,{\"children\":\"Step 4: Lengths of Segments $ID$ and $IE$\"}],\" Since $D$ and $E$ are points on $AC$ and $AB$ respectively, and $I$ is the incenter, $ID$ and $IE$ are the distances from the incenter to the sides of the triangle. For a right triangle, these distances are given by:\"]}]\n11d:[\"$\",\"p\",null,{\"children\":[\"$\",\"code\",null,{\"children\":\"ID = IE = r = \\\\frac\\\\{a + b - \\\\sqrt\\\\{a^2 + b^2\\\\}\\\\}\\\\{2\\\\}\"}]}]\n11e:[\"$\",\"p\",null,{\"children\":[[\"$\",\"strong\",null,{\"children\":\"Step 5: Integer Lengths\"}],\" For $AB$, $AC$, $BI$, $ID$, $CI$, and $IE$ to all be integers, the following must hold:\"]}]\n11f:[\"$\",\"ul\",null,{\"children\":[\"\\n\",[\"$\",\"li\",null,{\"children\":\"$$a$ and $b$ are integers\"}],\"\\n\",[\"$\",\"li\",null,{\"children\":\"$$\\\\frac{\\\\sqrt{a^2 + b^2}}{2}$ is an integer\"}],\"\\n\",[\"$\",\"li\",null,{\"children\":\"$$\\\\frac{a + b - \\\\sqrt{a^2 + b^2}}{2}$ is an integer\"}],\"\\n\"]}]\n120:[\"$\",\"p\",null,{\"children\":[[\"$\",\"strong\",null,{\"children\":\"Step 6: Analysis\"}],\" For $\\\\frac{\\\\sqrt{a^2 + b^2}}{2}$ to be an integer, $\\\\sqrt{a^2 + b^2}$ must be an even integer. Let $\\\\sqrt{a^2 + b^2} = 2k$ for some integer $k$. Then:\"]}]\n121:[\"$\",\"p\",null,{\"children\":[\"$\",\"code\",null,{\"children\":\"a^2 + b^2 = 4k^2\"}]}]\n122:[\"$\",\"p\",null,{\"children\":\"For $\\\\frac{a + b - \\\\sqrt{a^2 + b^2}}{2}$ to be an integer, $a + b - 2k$ must be even. Since $a$ and $b$ are integers, $a + b$ must be even.\"}]\n123:[\"$\",\"p\",null,{\"children\":[[\"$\",\"strong\",null,{\"children\":\"Conclusion\"}],\" Given the constraints, it is possible to find"])</script><script>self.__next_f.push([1," integer values for $a$ and $b$ such that all the conditions are satisfied. For example, if $a = 3$ and $b = 4$, then:\"]}]\n124:[\"$\",\"ul\",null,{\"children\":[\"\\n\",[\"$\",\"li\",null,{\"children\":\"$$AB = 3$\"}],\"\\n\",[\"$\",\"li\",null,{\"children\":\"$$AC = 4$\"}],\"\\n\",[\"$\",\"li\",null,{\"children\":\"$$BC = 5$\"}],\"\\n\",[\"$\",\"li\",null,{\"children\":\"$$BI = CI = \\\\frac{5}{2} = 2.5$ (not an integer)\"}],\"\\n\"]}]\n125:[\"$\",\"p\",null,{\"children\":\"Thus, it is not possible for all segments $AB$, $AC$, $BI$, $ID$, $CI$, and $IE$ to have integer lengths simultaneously.\"}]\n126:[\"$\",\"p\",null,{\"children\":[\"$\",\"code\",null,{\"children\":\"\\\\boxed\\\\{\\\\text\\\\{No\\\\}\\\\}\"}]}]\n127:[\"$\",\"p\",null,{\"children\":\"Problem from JBMO Shortlist 2011\"}]\n128:[\"$\",\"p\",null,{\"children\":[\"$\",\"strong\",null,{\"children\":\"Problem\"}]}]\n129:[\"$\",\"p\",null,{\"children\":\"Let $AD,BF$ and ${CE}$ be the altitudes of $\\\\vartriangle ABC$. A line passing through ${D}$ and parallel to ${AB}$intersects the line ${EF}$at the point ${G}$. If ${H}$ is the orthocenter of $\\\\vartriangle ABC$, find the angle ${\\\\angle{CGH}}$.\"}]\n12a:[\"$\",\"p\",null,{\"children\":[\"$\",\"strong\",null,{\"children\":\"zen-Math-72B-Instruct Solution\"}]}]\n12b:[\"$\",\"p\",null,{\"children\":\"To solve for the angle $\\\\angle CGH$ in the given triangle $\\\\triangle ABC$ with altitudes $AD$, $BF$, and $CE$ intersecting at the orthocenter $H$, and a line through $D$ parallel to $AB$ intersecting $EF$ at $G$, we will follow these steps:\"}]\n"])</script><script>self.__next_f.push([1,"12c:[\"$\",\"ol\",null,{\"children\":[\"\\n\",[\"$\",\"li\",null,{\"children\":[\"\\n\",[\"$\",\"p\",null,{\"children\":[\"$\",\"strong\",null,{\"children\":\"Identify Key Points and Properties:\"}]}],\"\\n\",[\"$\",\"ul\",null,{\"children\":[\"\\n\",[\"$\",\"li\",null,{\"children\":\"$$D$ is the foot of the altitude from $A$ to $BC$.\"}],\"\\n\",[\"$\",\"li\",null,{\"children\":\"$$E$ is the foot of the altitude from $B$ to $AC$.\"}],\"\\n\",[\"$\",\"li\",null,{\"children\":\"$$F$ is the foot of the altitude from $C$ to $AB$.\"}],\"\\n\",[\"$\",\"li\",null,{\"children\":\"$$H$ is the orthocenter of $\\\\triangle ABC$.\"}],\"\\n\",[\"$\",\"li\",null,{\"children\":\"$$G$ is the intersection of the line through $D$ parallel to $AB$ and the line $EF$.\"}],\"\\n\"]}],\"\\n\"]}],\"\\n\",[\"$\",\"li\",null,{\"children\":[\"\\n\",[\"$\",\"p\",null,{\"children\":[\"$\",\"strong\",null,{\"children\":\"Use the Property of the Orthocenter:\"}]}],\"\\n\",[\"$\",\"ul\",null,{\"children\":[\"\\n\",[\"$\",\"li\",null,{\"children\":\"The orthocenter $H$ lies on the altitudes $AD$, $BF$, and $CE$.\"}],\"\\n\",[\"$\",\"li\",null,{\"children\":\"The points $D$, $E$, and $F$ are collinear with $H$ on the respective altitudes.\"}],\"\\n\"]}],\"\\n\"]}],\"\\n\",[\"$\",\"li\",null,{\"children\":[\"\\n\",[\"$\",\"p\",null,{\"children\":[\"$\",\"strong\",null,{\"children\":\"Analyze the Parallel Line:\"}]}],\"\\n\",[\"$\",\"ul\",null,{\"children\":[\"\\n\",[\"$\",\"li\",null,{\"children\":\"Since $DG \\\\parallel AB$, $\\\\angle ADG = \\\\angle DAB$ (corresponding angles).\"}],\"\\n\"]}],\"\\n\"]}],\"\\n\",[\"$\",\"li\",null,{\"children\":[\"\\n\",[\"$\",\"p\",null,{\"children\":[\"$\",\"strong\",null,{\"children\":\"Consider the Cyclic Quadrilateral:\"}]}],\"\\n\",[\"$\",\"ul\",null,{\"children\":[\"\\n\",[\"$\",\"li\",null,{\"children\":\"The quadrilateral $AEHF$ is cyclic because $\\\\angle AEH = \\\\angle AFH = 90^\\\\circ$.\"}],\"\\n\",[\"$\",\"li\",null,{\"children\":\"Therefore, $\\\\angle EHF = 180^\\\\circ - \\\\angle EAF$.\"}],\"\\n\"]}],\"\\n\"]}],\"\\n\",[\"$\",\"li\",null,{\"children\":[\"\\n\",[\"$\",\"p\",null,{\"children\":[\"$\",\"strong\",null,{\"children\":\"Use the Parallel Line Property Again:\"}]}],\"\\n\",[\"$\",\"ul\",null,{\"children\":[\"\\n\",[\"$\",\"li\",null,{\"children\":\"Since $DG \\\\parallel AB$, $\\\\angle DGE = \\\\angle BAE$ (alterFnate interior angles).\"}],\"\\n\"]}],\"\\n\"]}],\"\\n\",[\"$\",\"li\",null,{\"children\":[\"\\n\",[\"$\",\"p\",null,{\"children\":[\"$\",\"strong\",null,{\"children\":\"Relate Angles in Cyclic Quadrilateral:\"}]}],\"\\n\",[\"$\",\"ul\",null,{\"children\":[\"\\n\",[\"$\",\"li\",null,{\"children\":\"In $\\\\triangle AEF$, $\\\\angle EAF = \\\\angle EHF$ because they are opposite angles in the cyclic quadrilateral $AEHF$.\"}],\"\\n\"]}],\"\\n\"]}],\"\\n\",[\"$\",\"li\",null,{\"children\":[\"\\n\",[\"$\",\"p\",null,{\"children\":[\"$\",\"strong\",null,{\"children\":\"Determine $\\\\angle CGH$:\"}]}],\"\\n\",[\"$\",\"ul\",null,{\"children\":[\"\\n\",[\"$\",\"li\",null,{\"children\":\"Since $G$ lies on $EF$ and $DG \\\\parallel AB$, $\\\\angle DGE = \\\\angle BAE$.\"}],\"\\n\",[\"$\",\"li\",null,{\"children\":\"$$\\\\angle BAE = \\\\angle EAF$ (as established).\"}],\"\\n\",[\"$\",\"li\",null,{\"children\":\"Therefore, $\\\\angle DGE = \\\\angle EAF$.\"}],\"\\n\"]}],\"\\n\"]}],\"\\n\",[\"$\",\"li\",null,{\"children\":[\"\\n\",[\"$\",\"p\",null,{\"children\":[\"$\",\"strong\",null,{\"children\":\"Final Angle Calculation:\"}]}],\"\\n\",[\"$\",\"ul\",null,{\"children\":[\"\\n\",[\"$\",\"li\",null,{\"children\":[\"Since $\\\\angle EAF = \\\\angle EHF$ and $\\\\angle EHF = 90^\\\\circ$ (as $H$ is the orthocenter and $E$ and $F$ are feet of perpendiculars), we have: \",[\"$\",\"code\",null,{\"children\":\"\\\\angle CGH = \\\\angle EHF = 90^\\\\circ.\"}]]}],\"\\n\"]}],\"\\n\"]}],\"\\n\"]}]\n"])</script><script>self.__next_f.push([1,"12d:[\"$\",\"p\",null,{\"children\":\"Thus, the angle $\\\\angle CGH$ is $\\\\boxed{90^\\\\circ}$.\"}]\n12e:[\"$\",\"h2\",null,{\"className\":\"flex scroll-m-28 flex-row items-center gap-2\",\"id\":\"decontamination\",\"children\":[[\"$\",\"a\",null,{\"data-card\":\"\",\"href\":\"#decontamination\",\"className\":\"peer\",\"children\":\"Decontamination\"}],[\"$\",\"svg\",null,{\"ref\":\"$undefined\",\"xmlns\":\"http://www.w3.org/2000/svg\",\"width\":24,\"height\":24,\"viewBox\":\"0 0 24 24\",\"fill\":\"none\",\"stroke\":\"currentColor\",\"strokeWidth\":2,\"strokeLinecap\":\"round\",\"strokeLinejoin\":\"round\",\"className\":\"lucide lucide-link size-3.5 shrink-0 text-fd-muted-foreground opacity-0 transition-opacity peer-hover:opacity-100\",\"aria-hidden\":true,\"children\":[[\"$\",\"path\",\"1cjeqo\",{\"d\":\"M10 13a5 5 0 0 0 7.54.54l3-3a5 5 0 0 0-7.07-7.07l-1.72 1.71\"}],[\"$\",\"path\",\"19qd67\",{\"d\":\"M14 11a5 5 0 0 0-7.54-.54l-3 3a5 5 0 0 0 7.07 7.07l1.71-1.71\"}],\"$undefined\"]}]]}]\n12f:[\"$\",\"p\",null,{\"children\":\"We conduct decontamination methods on both our pretraining and post-training datasets. Specifically, for pretraining data, we target on math datasets, including GSM8K, MATH, and remove samples that have significant overlaps with the test sets. We use exact match to remove the identical samples and further apply 13-gram deduplication (with a condition that the ratio of longest common sequence should be larger than 0.6) to remove more samples that might cause contamination. For post-training data, we remove more postitive contaminated samples that have overlaps with GSM8K, MATH, Aqua, SAT Math, OlympiadBench, College Math, AIME24, AMC23, etc. with the same filtering method.\"}]\n130:[\"$\",\"h2\",null,{\"className\":\"flex scroll-m-28 flex-row items-center gap-2\",\"id\":\"summary\",\"children\":[[\"$\",\"a\",null,{\"data-card\":\"\",\"href\":\"#summary\",\"className\":\"peer\",\"children\":\"Summary\"}],[\"$\",\"svg\",null,{\"ref\":\"$undefined\",\"xmlns\":\"http://www.w3.org/2000/svg\",\"width\":24,\"height\":24,\"viewBox\":\"0 0 24 24\",\"fill\":\"none\",\"stroke\":\"currentColor\",\"strokeWidth\":2,\"strokeLinecap\":\"round\",\"strokeLinejoin\":\"round\",\"className\":\"lucide lucide-link size-3.5 shrink-0 text-fd-muted-foreground opacity-0 transition-opacity peer-hover:opacity-100\",\"aria-hidden\":true,\"children\":[[\"$\",\"path\",\"1cjeqo\",{\"d\":\"M10 13a5 5 0 0 0 7.54.54l3-3a5 5 0 0 0-7.07-7.07l-1.72 1.71\"}],[\"$\",\"path\",\"19qd67\",{\"d\":\"M14 11a5 5 0 0 0-7.54-.54l-3 3a5 5 0 0 0 7.07 7.07l1.71-1.71\"}],\"$undefined\"]}]]}]\n131:[\"$\",\"p\",null,{\"children\":\"This time, we’re releasing a new model series focused on mathematical capabilities, zen-Math, built upon the zen foundation. Our flagship model, zen-Math-72B-Instruct, outperforms proprietary models such as GPT-4o and Claude 3.5 in math-related tasks. Given the current limitation of English-only support, we plan to release bilingual models that support both English and Chinese shortly, with the development of multilingual models also in the pipeline. Moreover, we will continue to enhance our models’ ability to solve complex and challenging mathematical problems.\"}]\n"])</script><script>self.__next_f.push([1,"b:[[\"$\",\"meta\",\"0\",{\"charSet\":\"utf-8\"}],[\"$\",\"meta\",\"1\",{\"name\":\"viewport\",\"content\":\"width=device-width, initial-scale=1\"}],[\"$\",\"meta\",\"2\",{\"name\":\"theme-color\",\"media\":\"(prefers-color-scheme: dark)\",\"content\":\"#0A0A0A\"}],[\"$\",\"meta\",\"3\",{\"name\":\"theme-color\",\"media\":\"(prefers-color-scheme: light)\",\"content\":\"#fff\"}]]\n"])</script><script>self.__next_f.push([1,"9:null\nd:[[\"$\",\"title\",\"0\",{\"children\":\"Introducing zen-Math — Zen LM Blog | Zen LM\"}],[\"$\",\"meta\",\"1\",{\"name\":\"description\",\"content\":\"GITHUB HUGGING FACE MODELSCOPE DISCORD\"}],[\"$\",\"meta\",\"2\",{\"property\":\"og:title\",\"content\":\"Zen LM - Open Foundation Models\"}],[\"$\",\"meta\",\"3\",{\"property\":\"og:description\",\"content\":\"Zen AI model family by Hanzo AI. 14 frontier models from 4B to 1T+ parameters for code, reasoning, vision, and multimodal tasks.\"}],[\"$\",\"meta\",\"4\",{\"property\":\"og:url\",\"content\":\"https://zenlm.org\"}],[\"$\",\"meta\",\"5\",{\"property\":\"og:site_name\",\"content\":\"Zen LM\"}],[\"$\",\"meta\",\"6\",{\"property\":\"og:type\",\"content\":\"website\"}],[\"$\",\"meta\",\"7\",{\"name\":\"twitter:card\",\"content\":\"summary_large_image\"}],[\"$\",\"meta\",\"8\",{\"name\":\"twitter:site\",\"content\":\"@zenlmorg\"}],[\"$\",\"meta\",\"9\",{\"name\":\"twitter:creator\",\"content\":\"@zenlmorg\"}],[\"$\",\"meta\",\"10\",{\"name\":\"twitter:title\",\"content\":\"Zen LM - Open Foundation Models\"}],[\"$\",\"meta\",\"11\",{\"name\":\"twitter:description\",\"content\":\"Zen AI model family by Hanzo AI. 14 frontier models from 4B to 1T+ parameters for code, reasoning, vision, and multimodal tasks.\"}]]\n"])</script><script>
(function(){
// After React renders the lotus emoji from RSC payload, walk the DOM
// and replace it with the enso SVG. Polls so subsequent React re-renders
// also get cleaned up.
function swap(){
// 1. Replace lotus + ' Zen LM' text inside <a> brand links
document.querySelectorAll('a').forEach(function(a){
if (a.dataset.zenLotusSwapped) return;
var t = (a.textContent || '');
if (!/.*Zen LM|Zen LM.*/.test(t)) return;
// Find the lotus text node specifically
var walker = document.createTreeWalker(a, NodeFilter.SHOW_TEXT, null);
var node;
while ((node = walker.nextNode())) {
if (node.nodeValue && node.nodeValue.indexOf('') !== -1) {
node.nodeValue = node.nodeValue.replace(/\s?/g, '');
}
}
// Inject enso SVG at start
if (!a.querySelector('svg[aria-label="Zen LM"]')) {
var ns = 'http://www.w3.org/2000/svg';
var svg = document.createElementNS(ns, 'svg');
svg.setAttribute('viewBox', '0 0 512 512');
svg.setAttribute('fill', 'none');
svg.setAttribute('width', '18');
svg.setAttribute('height', '18');
svg.setAttribute('aria-label', 'Zen LM');
svg.style.cssText = 'display:inline-block;vertical-align:-2px;margin-right:6px;flex-shrink:0';
var p = document.createElementNS(ns, 'path');
p.setAttribute('d', 'M 256 84 A 172 172 0 1 0 256 428 A 172 172 0 1 0 256 84 Z');
p.setAttribute('stroke', 'currentColor');
p.setAttribute('stroke-width', '26');
p.setAttribute('stroke-linecap', 'round');
p.setAttribute('stroke-linejoin', 'round');
svg.appendChild(p);
a.insertBefore(svg, a.firstChild);
}
a.dataset.zenLotusSwapped = '1';
});
}
function start(){ swap(); setInterval(swap, 600); }
if (document.readyState !== 'loading') start();
else document.addEventListener('DOMContentLoaded', start);
})();
</script>
<style id="zenlm-brand-anim">
@keyframes zenlm-brand-draw { to { stroke-dashoffset: 0; } }
svg.zenlm-brand-svg .zenlm-brand-path {
stroke-dasharray: 1100;
stroke-dashoffset: 1100;
animation: zenlm-brand-draw 1.4s cubic-bezier(.45,0,.2,1) 0.1s 1 forwards;
}
.zen-link-icon { display: inline-block; vertical-align: middle; flex-shrink: 0; }
</style></body></html>